20 July, 2004
OSMA Software Assurance Symposium
California Institute of Technology
Requirements Decomposition Analysis Highlights (cont’d)
Focused on the Mars Reconnaissance Orbiter requirements (cont’d)
Developed a means independent of the project traceability information to extract relevant requirements.
WHY: avoids reliance on the potentially incomplete or incorrect the traceability information within the existing documentation, thus giving a means in independently assure the correctness of requirements decomposition.
HOW: text-based search for keywords (e.g., search for the word “mass” and the string “kg” – for kilograms), and regular-expression textual searches for more refined patterns (e.g., a digit, then a space, then the letters “kg”)