|
Testing for Software Safety
|
|
Point of Contact
|
Ken Chen
Ken.K.Chen@nasa.gov
|
|
Dates
|
January 2007 - December 2009
|
|
Problem
|
Software safety is critical to many NASA exploration missions. Yet testing for consistency between implementation and functional specifications does not provide safety assurance. It is difficult to generate tests for safety testing by only using the hazard analysis results represented in the fault tree models, because of the lack of an explicit and common description of the relationship between a fault tree and the corresponding functional specifications. We propose an efficient method for test generation using both functional specifications and safety requirements. In addition to testing software under normal conditions, tests so generated can also verify whether the implementation has properly handled all the hazardous conditions identified by the fault tree analysis on safety requirements.
|
|
Objective
|
By Aug 2007: An approach to systematically integrate functional specifications with results from hazard analysis using FTA By Mar 2008: An algorithm for test generation from integrated models that covers both intended behaviors and failure conditions By Aug 2008: A tool to support test generation, test execution, and result evaluation By Jun 2009: Case studies on selected NASA applications By Dec 2009: Technology transfer and final report
|
|
Results
|
SAS_07_Exec_Brief_Testing_SW_Safety_Chen.ppt
SAS_07_Tech_Pres_Testing_SW_Safety_Chen.ppt
|
|
Keywords
|
Software testing, software safety, functional specifications, fault tree analysis, statechart, test generation.
|
|
Categories
|
Software Safety
|
|
