Test Reduction in Open Architecture via Dependency Analysis

Download
Author
Berzin, Valdis
Lim, Peter
Kahia, Mohsen Ben
Date
2011-04-30Metadata
Show full item recordAbstract
In the Verification and Validation (V&V) phase, whenever there is a newer release of a given program, test engineers need to re-conduct all the tests performed on the previous program release''a costly process known as regression testing. By using the concept of program slicing, this project aims to be more effective in managing costly human effort by selectively retesting the subset of the newer program release that is critical and necessary. Program Slicing is an abstraction and program analysis technique based on the principle of eliminating/deleting parts or subsets of the program statements that are irrelevant to a given slicing criterion (Weiser, 1984). The result, which is known as the program slice, holds those statements that directly or indirectly affect the value computed at a given program point. Based on the behavior invariance theorem, the project team intends to reduce the human effort in testing by performing selective regression testing only on the affected subset of the program that is identified by the slicing analysis algorithm, while maintaining the same test adequacy criteria. The primary objective of this project is to evaluate the various commercial-off-the-shelf (COTS) program slicing tools and assess their suitability for enabling safe reduction of testing effort. Identification of suitable tools is a step on the critical path towards application of program slicing to reduce the time and cost of regression testing in the Navy''s technology upgrade process and in many other contexts.
Description
Proceedings Paper (for Acquisition Research Program)
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-AM-11-C8P10R02-043Related items
Showing items related by title, author, creator and subject.
-
A slicing method for semantics-based change-merging of software prototypes
Dampier, David A.; Berzins, Valdis; Luqi; Shing, Mantak; Dolk, Daniel R.; Rassmussen, Craig W. (1995-08);This report outlines a formal method for merging changes in independently developed versions of software prototypes. A useful semantics-based method, which is guaranteed to detect all conflicts, is outlined. Prototype slicing ... -
A formal method for semantics-based change-merging of software prototypes
Dampier, David A. (Monterey, California. Naval Postgraduate School, 1994-06);This dissertation addresses the need for a formal method to support the merging of changes in independently developed versions of a prototype in a computer-aided rapid prototyping system. The goal is to provide the prototype ... -
Development of a long-range gliding unmanned underwater vehicle utilizing Java Sun SPOT technology
Hemmelgarn, Ronald J. (Monterey, California. Naval Postgraduate School, 2008., 2008-09);The future of U.S. Naval Operations can be described by a simple system of requirements and constraints. Increasing the diversity and scope of mission requirements, while being constrained by decreasing budget resources, ...