Title :
Methodology and tools for requirements capture, traceability, and verification
Author_Institution :
Marconi Commun. Syst. Ltd., Chelmsford, UK
Abstract :
This paper describes a methodology for establishing a clear requirements baseline at the outset of the development lifecycle using the general approach of procedure SQA01. It was originally applied to software development for a military HF communication system, and has since been applied to two further projects in the civil sector concerning private mobile radio and message switching. The methodology provides forward and reverse traceability between this baseline and the design, so giving assurance that the delivered product meets its requirements whilst not being over-engineered. The methodology helps engineers perform formal integration and acceptance testing such as described in procedures SQA08 and SQA09 by documenting tests and providing traceability to the requirements baseline
Keywords :
program verification; software engineering; SQA08; SQA09; acceptance testing; development lifecycle; formal integration; message switching; methodology; military HF communication system; private mobile radio; procedure SQA01; requirements baseline; requirements capture; software development; traceability; verification;
Conference_Titel :
Software Engineering for Real Time Systems, 1991., Third International Conference on
Conference_Location :
Cirencester
Print_ISBN :
0-85296-526-5