Q14. Your company (a manufacturing firm) is undertaking a software systems development. The system is to support an ord

[answerhappygod]

Q14.
Your company (a manufacturing firm) is undertaking a software
systems development. The system is to support an order
management tool to help the company better manage its inventory,
purchases and receivables. The system should provide
automated notifications when payments from customers have not been
received within two weeks of the deadline date and should alert the
Finance department when payments by the company to suppliers are
within one week of its deadline. The system should also
provide a unique id for each item of inventory irrespective of its
type. Formal mathematical methods will be used in the
development of the system.
In the following, choose all statements which are true regarding
the application of software quality techniques to the system
development.
a.
Unit testing will be able to test the static properties of the
system.
b.
Inspections will provide a static means of validating the user
requirements.
c.
As the system to be developed is not safety critical, the
use of a formal method is likely to reduce the system quality.
d.
Tests should include cases where more than unique id is used for
the same item of inventory.
e.
The formal method can be used to verify the correctness of the
requirements.