DocumentCode :
275706
Title :
Methodology and tools for requirements capture, traceability, and verification
Author :
Wardle, P.J.
Author_Institution :
Marconi Commun. Syst. Ltd., Chelmsford, UK
fYear :
1991
fDate :
16-18 Sep 1991
Firstpage :
46
Lastpage :
50
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;
fLanguage :
English
Publisher :
iet
Conference_Titel :
Software Engineering for Real Time Systems, 1991., Third International Conference on
Conference_Location :
Cirencester
Print_ISBN :
0-85296-526-5
Type :
conf
Filename :
140045
Link To Document :
بازگشت