Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

A literature survey: On the integrated use of formal and informal verification techniques for high quality requirements

: Choi, Y.

Fulltext urn:nbn:de:0011-n-293455 (269 KByte PDF)
MD5 Fingerprint: 9ccaaa39c780ca555874927c5d5101ac
Created on: 13.07.2005

Kaiserslautern, 2005, VII, 23 pp. : Ill., Lit.
IESE-Report, 048.05/E
Reportnr.: 048.05/E
Report, Electronic Publication
Fraunhofer IESE ()
quality assurance; inspection; formal method

Quality assurance techniques have to be carefully considered and adopted for each software artifact, from requirements specifications to final system deliverables. Quality assurance for requirements, especially, is of utmost importance; one unidentified defect in requirements can propagate to a wide spectrum of actual code, making it tremendously harder and costly to identify it in the later stage of software development. Nevertheless, traditional quality assurance activities for requirements largely depend on manual techniques, and, thus, it is hard for them to cope with the growing software complexity.
In this survey, we investigate an integration method of traditional manual quality assurance methods with automated formal verification methods that have been successfully applied to safety-critical systems domain. The aim is to do survey on existing integration methods that increase the assurance level with a cost-effective and usable process. To this end, we first identify quality criteria for requirements in general, present existing formal and informal techniques to achieve high quality requirements, and do a survey on general integration frameworks for applying different assurance techniques on different quality aspects. This survey first summarizes general integrated assurance approaches, followed by existing approaches to combine formal and informal verification methods in a limited scope: Use Case analysis is used as an example.