X hits on this document

Powerpoint document

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

39 views

0 shares

0 downloads

0 comments

2 / 17

20 July, 2004

OSMA Software Assurance Symposium

2

California Institute of Technology

Requirements Decomposition Analysis Task Description

Requirements Decomposition Analysis

Problem Statement: Requirements play a pivotal role in planning, selection, development, testing and operation of NASA's missions. Starting from mission objectives, requirements are successively decomposed. The correctness of this decomposition is critical, yet V&V of this crucial step is limited to manual inspection and pointwise testing, which are cumbersome and fallible (e.g., Mars Polar Lander).

Task: Rigorous lightweight analysis methods for requirements decomposition have been developed by the software engineering research community, and have shown promise in successful application to critical systems (e.g., rail transportation). We study their application to the V&V of spacecraft software requirements, to ascertain if, when and how they are suitable for use by NASA.

Document info
Document views39
Page views39
Page last viewedFri Dec 09 11:56:04 UTC 2016
Pages17
Paragraphs299
Words1977

Comments