Title :
Early detection of requirements specification errors
Author :
Jorgensen, Paul C.
Author_Institution :
Dept. of Comput. Sci., Arizona State Univ., Tempe, AZ, USA
fDate :
June 27 1988-July 1 1988
Abstract :
An important class of system errors is defined and initial results with two prototype requirements-analysis tools are described. A requirements-specification technique that is highly operational is presented; it expresses the sequential behavior of a system in terms of processes that are equivalent to Petri nets. Subsequent definitions based on directed graphs describe the possible ways in which individual processes might interact, thereby providing a basis for requirements-analysis tools that can detect class two errors at the end of the requirements-specification phase, rather than after system delivery.<>
Keywords :
directed graphs; program verification; software reliability; software tools; systems analysis; Petri nets; class two errors; directed graphs; error detection; process interaction; prototype requirements-analysis tools; requirements specification errors; requirements-specification phase; requirements-specification technique; sequential behavior; system delivery; system errors; Algebra; Computer errors; Computer science; Error correction; Fault detection; Programming; Prototypes; System testing; Telephony; Yarn;
Conference_Titel :
Computer Assurance, 1988. COMPASS '88
Conference_Location :
Gaithersburg, MD, USA
DOI :
10.1109/CMPASS.1988.9636
