X hits on this document

Powerpoint document

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

56 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 views56
Page views56
Page last viewedMon Jan 23 01:33:52 UTC 2017
Pages17
Paragraphs299
Words1977

Comments