 |
||
|
Advanced Search |
||
|
|||||
|
Static Analysis < Verification & Validation < Results Home
|
|
Click here to complete a short survey. The results of this survey will be used to help us improve the research program and this website.
Click here to view research projects that had new research results added in the last 90 days.
|
| Automated Systems Test and Operations Language (STOL) Analysis Tool | |
| Point of Contact |
Jack Smith jack.smith@matricresearch.com |
| Dates | June 2006 - September 2007 |
| Problem | The independent verification and validation community has expressed a need for automated assistance in regards to STOL script analysis activities. This scripting language is unique in concept and design and requires a specialized analysis support system. Currently, practitioners have no automated methods to assist in analysis triage (i.e. a system that helps identify STOL behavior, traceability, complexity, and allows for script rank-ordering to accommodate varying levels of analysis effort). |
| Objective | Phase 1 - Successfully identify the most applicable algorithm analysis and metrics methodologies for STOL analysis. In addition, to develop an automated analysis tool and verify utilizing a single NASA IV&V project which includes STOL scripts. Phase 2 - To further refine the automated tool based on Phase 1 activities. In addition, to further verify utilizing multiple NASA IV&V projects which include STOL scripts. This multi-project verification would progress to final tool enhancements and eventual use in practice. |
| Results |
SAS 06 Executive Presentation.ppt Cooper_STOL_SAS06 (Technical).ppt SAS_07_Executive_Briefing_STOL_Smith_J.ppt SAS_07_Tech_Pres_STOL_Smith_J.ppt Phase One Findings Report.doc |
| Keywords | |
| Categories |
Code Analysis Domain-Specific Analysis Static Analysis |
|
| |
|
Curator: Josh Stonestreet NASA Official: Lisa Montgomery |
|
NASA Privacy, Security, Notices |