X hits on this document

Powerpoint document

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

42 views

0 shares

0 downloads

0 comments

4 / 17

20 July, 2004

OSMA Software Assurance Symposium

4

California Institute of Technology

Requirements Decomposition Analysis Goals and Objectives

Requirements Decomposition Analysis

Goal: study the applicability to NASA spacecraft requirements of rigorous analysis methods for requirements decomposition that have been developed by the software engineering research community.

Objectives:

Manually apply decomposition analysis methods applied to spacecraft requirements.

Based on the results of of these application studies, emerge with recommendations for the application of these methods, identify needed extensions to those methods, and indicate the opportunities for their support (e.g., via checklists, procedures and/or tool support).

Develop the most promising support approaches identified by the first phase to make them suitable for application to NASA's spacecraft requirements.

Document info
Document views42
Page views42
Page last viewedSat Dec 10 17:09:22 UTC 2016
Pages17
Paragraphs299
Words1977

Comments