|
|||||
|
Interface 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.
|
| IV&V Technique for Object Oriented Software Systems | |
| Point of Contact |
Khalid Lateef Khalid.Lateef@titan.com |
| Dates | October 2002 - January 2007 |
| Problem | NASA has considerable experience applying Independent Verification and Validation (IV&V) to traditional function-based software development programs. However, NASA's use of object-oriented (OO) techniques for the development of mission critical software systems continues to increase. The emerging use of OO necessitates the need to establish and prove the IV&V techniques best suited for the unique challenges and risks of OO software development. |
| Objective | The shift from the traditional function-based development to OO development, while capable of providing advantages for the development and maintenance of a system, introduces a unique set of lifecycle risks. In this study, the researcher proposes to iden tify and evaluate the analysis techniques best suited for independent verification and validation of NASA systems developed using an OO approach. |
| Results |
Facility Presentation (Training Information Session).ppt Presentation for Annual Software Assurance Symposium.ppt Report Analysis & Identification of the Risks Unique to OO Development.doc Progress on Verification of Requirement techniques using data from NASA Projects.doc Progress on BBN Application.zip SAS Presentation '04.ppt SAS 05 Executive Presentation.ppt SAS 06 Executive Presentation.ppt SAS 06 Technical Presentation.ppt SAS 05 Technical Presentation.ppt Tech Report No.9 BBN tool models for OO requirements and design.pdf Tech Report No 3-OO Requirements V&V Techniques Report.doc Tech Report No 4-OO Analysis model V&V Techniques.doc Tech Report No. 13 Final Report Based on Summary Conclusions.doc |
| Keywords | Object Oriented |
| Categories |
Quality Assurance Quality Control Quality Engineering Software Safety Design Analysis Dynamic Analysis Formal Methods Interface Analysis Management & Planning of V&V Process Improvement Requirements Analysis Static Analysis Traceability Analysis |
|
| |
|
Curator: Josh Stonestreet NASA Official: Lisa Montgomery |
|
NASA Privacy, Security, Notices |