Answer Happy

Not yet answered Marked out of 7.00 Question 6 Flag question 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. Tests should include cases where more than unique id is used for the same item of inventory. b. Inspections will provide a static means of validating the user requirements. C. The formal method can be used to verify the correctness of the requirements. d. Unit testing will be able to test the static properties of the system. e. As the system to be developed is not safety critical, the use of a formal method is likely to reduce the system quality.