ATLAS-An Automated Software Testing System
W. H. Jessop,J. R. Kane,S. Roy,J. M. Scanlon +3 more
- pp 629-635
Reads0
Chats0
TLDR
The Automated Testing and Load Analysis System (ATLAS) formalizes a concept of model-referenced testing for large software systems and has been successfully employed in testing over 40,000 instructions of Bell Laboratories large No. 4 ESS software package.Abstract:
The Automated Testing and Load Analysis System (ATLAS) formalizes a concept of model-referenced testing for large software systems. A directed graph model of the software under test, describing the sequential stimulus-response behavior of the software system, forms the basis of the approach. The objective of ATLAS is to certify the software under test against the model. This objective is met by components of ATLAS that automatically identify, generate, apply, and verify the set of tests required to establish that the software has correctly realized the model. The system has been successfully employed in testing over 40,000 instructions of Bell Laboratories large No. 4 ESS software package. Usage data and experience from this application and a critique of the approach are given.read more
Citations
More filters
Journal ArticleDOI
Automated software test data generation
TL;DR: Values of array indexes and pointers are known at each step of program execution; this information is used to overcome difficulties of array and pointer handling to significantly increase the speed of the search process.
Journal ArticleDOI
The chaining approach for software test data generation
Roger Ferguson,Bogdan Korel +1 more
TL;DR: The experiments have shown that the chaining approach may significantly improve the chances of finding test data as compared to the existing methods of automated test data generation.
Automated test data generation using iterative relaxation methods
TL;DR: In this paper, a new program execution based approach to automated test data generation using iterative relaxation methods has been developed, which can generate test data for programs with branch predicates that compute linear and nonlinear functions of input.
Proceedings ArticleDOI
Automated test data generation using an iterative relaxation method
TL;DR: This paper presents a novel program execution based approach using an iterative relaxation method to address the generation of test data that causes a program to follow a given path.
Journal ArticleDOI
UML behavioral model based test case generation: a survey
Mahesh Shirole,Rajeev Kumar +1 more
TL;DR: This survey focuses on test case generation from the behavioral specification diagrams, namely sequence, state chart and activity diagrams, and classify the various research approaches that are based on formal specifications, graph theoretic, heuristic testing, and direct UML specification processing.
References
More filters
Journal ArticleDOI
Automated generation of testcase datasets
E. F. Miller,R. A. Melton +1 more
TL;DR: A number of machine output examples of the backtracking facility are given, and the general effectiveness of the entire process is discussed.
Proceedings ArticleDOI
Automated generation of testcase datasets
E. F. Miller,R. A. Melton +1 more
TL;DR: Software quality enhancement can be achieved in the near term through use of a systematic program testing methodology which attempts to relate functional software testcases with formal software specifications as a means to achieve correspondence between the software and its specifications.
Journal ArticleDOI
Functional Specification of Call Processing by State Transition Diagram
H. Kawashima,K. Futami,S. Kano +2 more
TL;DR: Rules for writing a diagram and decomposition of states for reduction and simplification of states are some of the topics discussed and the results gained from actual application to local and toll switching systems are shown.
Proceedings ArticleDOI
Use of state diagrams to engineer communications software
Paul Chung,Barry Gaiman +1 more
TL;DR: This paper presents the experience with a variation on the use of state diagrams in the development of a communications system using state diagram notation as the design language used to describe the functional specification of major program modules.