In the following, choose all statements which are true regarding the application of software quality techniques to the system development.

Database Systems: Design, Implementation, & Management
12th Edition
ISBN:9781305627482
Author:Carlos Coronel, Steven Morris
Publisher:Carlos Coronel, Steven Morris
Chapter9: Database Design
Section: Chapter Questions
Problem 6P
icon
Related questions
Question
Question 6
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.
Transcribed Image Text:Question 6 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.
Expert Solution
steps

Step by step

Solved in 2 steps

Blurred answer
Knowledge Booster
Module hierarchy chart
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.
Similar questions
  • SEE MORE QUESTIONS
Recommended textbooks for you
Database Systems: Design, Implementation, & Manag…
Database Systems: Design, Implementation, & Manag…
Computer Science
ISBN:
9781305627482
Author:
Carlos Coronel, Steven Morris
Publisher:
Cengage Learning
Principles of Information Systems (MindTap Course…
Principles of Information Systems (MindTap Course…
Computer Science
ISBN:
9781305971776
Author:
Ralph Stair, George Reynolds
Publisher:
Cengage Learning
LINUX+ AND LPIC-1 GDE.TO LINUX CERTIF.
LINUX+ AND LPIC-1 GDE.TO LINUX CERTIF.
Computer Science
ISBN:
9781337569798
Author:
ECKERT
Publisher:
CENGAGE L
Oracle 12c: SQL
Oracle 12c: SQL
Computer Science
ISBN:
9781305251038
Author:
Joan Casteel
Publisher:
Cengage Learning