Explain how using formal specification methods can contribute to improved quality assurance.

CPA-Quantitative-Analysis-Section-4 BLOCK RELEASE

Most formal specification methods have defined methods and rules of construction. For example in a DFD it is not acceptable to directly link a data store to another data store or an external entity with a data store. Adherence to the rules of construction can be checked in structured walkthroughs and this assists the quality assurance of the product. It does not assure that the product is functionally correct, but it does ensure that the product is constructed to the required standard.
Graphical models open up the design process to user scrutiny. This will help to ensure that the system is doing the right things as well as doing them right.

(Visited 1 times, 1 visits today)
Share this on:

Leave a Reply

Your email address will not be published. Required fields are marked *