Software Analysis and Testing through Prototyping
Abstract
Prototyping is such a complementary approach, which allows many of the traditional kinds of software analysis and testing to be applied at earlier stages. The prototyping process helps to establish relatively static concepts of correctness, which can be used as a meaningful basis for later verification efforts. The execution of software prototypes is similar to traditional validation, except that the developer is explicitly concerned with the length of time during which the proposed system will continue to meet customer needs, rather than just ensuring the system will meet currently perceived needs. This paper also discusses three levels of analysis and testing that are in1portant for real-time systems in rapid prototyping.
Description
Author-contributed print item
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.NPS Report Number
NPS 52-89-044Related items
Showing items related by title, author, creator and subject.
-
Software testing for evolutionary iterative rapid prototyping
Davis, Edward V., Jr. (Monterey, California: Naval Postgraduate School, 1990-12);Rapid prototyping is emerging as a promising software development paradigm. It provides a systematic and automatable means of developing a software system under circumstances where initial requirements are not well known ... -
ADVANCED TERRAIN REASONING AND AUTOMATED MANEUVER PLANNING
Severson, Peter (Monterey, CA; Naval Postgraduate School, 2019-06);Combined Arms Analysis Tool for the 21st Century (COMBATXXI) is the primary analytical combat simulation tool used by the Marine Corp's Operations Analysis Directorate (OAD) and The Research Analysis Center (TRAC) under ... -
Dependable Software through a Holistic Framework of Tool Interoperability and Artifact Dependency
Luqi; Puett, J. (Monterey, California. Naval Postgraduate School, 2002-07); NPS-SW-02-006Objectives. The goal of this research is to develop a holistic framework for engineering dependable computing and communications software. The framework establishes collaborative mechanisms by which existing software ...