TEAM: a support environment for testing, evaluation, and analysis
- 3 November 1988
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 13 (5) , 153-162
- https://doi.org/10.1145/64135.65018
Abstract
Current research indicates that software reliability needs to be achieved through the careful integration of a number of diverse testing and analysis techniques. To address this need, the TEAM environment has been designed to support the integration of and experimentation with an ever growing number of software testing and analysis tools. To achieve this flexibility, we exploit three design principles: component technology so that common underlying functionality is recognized; generic realizations so that these common functions can be instantiated as diversely as possible; and language independence so that tools can work on multiple languages, even allowing some tools to be applicable to different phases of the software lifecycle. The result is an environment that contains building blocks for easily constructing and experimenting with new testing and analysis techniques. Although the first prototype has just recently been implemented, we feel it demonstrates how modularity, genericity, and language independence further extensibility and integration.Keywords
This publication has 22 references indexed in Scilit:
- The AdaPIC tool set: supporting interface control and analysis throughout the software development processIEEE Transactions on Software Engineering, 1989
- Pgraphite: an experiment in persistent typed object managementPublished by Association for Computing Machinery (ACM) ,1988
- Foundations for the Arcadia environment architecturePublished by Association for Computing Machinery (ACM) ,1988
- Complexity of the EQUATE testing strategyJournal of Systems and Software, 1988
- Test sets generation from algebraic specifications using logic programmingJournal of Systems and Software, 1986
- Applications of symbolic evaluationJournal of Systems and Software, 1985
- Data Abstraction, Implementation, Specification, and TestingACM Transactions on Programming Languages and Systems, 1981
- Simplification by Cooperating Decision ProceduresACM Transactions on Programming Languages and Systems, 1979
- Abstract data types and software validationCommunications of the ACM, 1978
- Data Flow Analysis in Software ReliabilityACM Computing Surveys, 1976