X hits on this document

Powerpoint document

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

33 views

0 shares

0 downloads

0 comments

6 / 17

20 July, 2004

OSMA Software Assurance Symposium

6

California Institute of Technology

Requirements Decomposition Analysis Importance and Benefits

As the complexity of spacecraft systems increases, and as increasing reliance is placed on software as an enhancing or enabling technology, the need for analysis of requirements decomposition is expected to grow further.

Improved methods for assuring correctness of requirements decomposition advance the state of the practice in software V&V.

Early detection of flaws in requirements decomposition permits early-lifecycle repair, thus avoiding costlier downstream repairs.

Reducing the state space required for model checking will enable analytical verification of larger systems with less effort.

Document info
Document views33
Page views33
Page last viewedSun Dec 04 14:48:16 UTC 2016
Pages17
Paragraphs299
Words1977

Comments