Research Results | An Extensible Environment for Verifying & Validating Object-Oriented SW


	Search:	Advanced Search

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.

An Extensible Environment for Verifying & Validating Object-Oriented SW
Point of Contact	Mark Fisher Marcus.S.Fisher@ivv.nasa.gov
Dates	June 2000 - September 2001
Problem	The increasing use of object oriented languages for mission and safety critical software systems demand advanced IV&V techniques. Traditional analysis and measurement techniques have not advanced rapidly enough to provide NASA the necessary levels of software assurance. In addition, IV&V CASE Tools do not allow for interoperability, they are typically built to analyze one specific language, on one specific platform, and provide one specific set of functions.
Objective	I hypothesize that an extensible verification and validation language will: provide a standard format for modeling object oriented software Enable the implementation of any analysis technique, and Enable the identification of desirable and undesirable object oriented properties
Results	CASE Tool.zip Proof Of Concept.doc Technical Report.doc
Keywords	algebraic query languages, CASE tools, mission & safety critical software systems, modeling object oriented software, object oriented analysis techniques, object oriented languages, SIAT, software analysis
Categories	Code Analysis Design Analysis Software Architecture Assessment Static Analysis

Curator: Josh Stonestreet
NASA Official: Lisa Montgomery