Title :
Resolving requirements discovery in testing and operations
Author :
Lutz, Robyn R. ; Mikulski, Inés Carmen
Author_Institution :
Jet Propulsion Lab., Iowa State Univ., Ames, IA, USA
Abstract :
We describe the results of an investigation into requirements discovery during testing and operations. Requirements discovery includes both new requirements and new knowledge regarding existing requirements. Analysis of anomaly reports shows that many of the anomalies that occur during these phases involve requirements discovery. Previous work identified four common mechanisms for requirements discovery and resolution during testing. The results reported here extend that work in two ways: (1) to show that very similar requirements-discovery mechanisms are at work in both testing and operations, and (2) to evaluate the requirements-discovery mechanisms against experience with seven additional systems. We discuss the consequences of these classifications and results in terms of reducing requirements-based defects in critical, embedded systems.
Keywords :
embedded systems; formal specification; formal verification; program testing; safety-critical software; systems analysis; embedded systems; requirements discovery; requirements evolution; requirements-based defects analysis; safety-critical systems; system operations; system testing; Embedded software; Embedded system; Laboratories; Pattern analysis; Personnel; Propulsion; Software systems; Software testing; Space technology; System testing;
Conference_Titel :
Requirements Engineering Conference, 2003. Proceedings. 11th IEEE International
Print_ISBN :
0-7695-1980-6
DOI :
10.1109/ICRE.2003.1232735