X hits on this document

Powerpoint document

Requirements Decomposition Analysis, Model Based Testing of Sequential Code Properties - page 10 / 17

43 views

0 shares

0 downloads

0 comments

10 / 17

20 July, 2004

OSMA Software Assurance Symposium

10

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”)

Document info
Document views43
Page views43
Page last viewedSun Dec 11 06:28:59 UTC 2016
Pages17
Paragraphs299
Words1977

Comments