Structural specification-based testing with ADL

Authors:
Juei Chang;Debra J. Richardson;Sriram Sankar
Affiliations:
Information and Computer Science, University of California, Irvine, CA;Information and Computer Science, University of California, Irvine, CA;Sun Microsystems Laboratories, 255O Garcia Avenue, Mountain View, CA
Venue:
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Year:
1996

Citing 8
Cited 18

The category-partition method for specifying and generating fuctional tests

Communications of the ACM
Approaches to specification-based testing

TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Test template framework: a specification-based testing case study

ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Art of Software Testing

Art of Software Testing
Formal program testing

POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Automatically Generating Test Data from a Boolean Specification

IEEE Transactions on Software Engineering
Specifying and Testing Software Components using ADL

Specifying and Testing Software Components using ADL
Sensitive test data for logic expressions

ACM SIGSOFT Software Engineering Notes

Software testing at the architectural level

ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Model checking without a model: an analysis of the heart-beat monitor of a telephone switch using VeriSoft

Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Structural specification-based testing: automated support and experimental evaluation

ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Generation of Execution Sequences for Modular Time Critical Systems

IEEE Transactions on Software Engineering
Panel discussion: is ISSTA testing research relevant to industrial users?

ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Software model checking in practice: an industrial case study

Proceedings of the 24th International Conference on Software Engineering
A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO

Automated Software Engineering
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way

ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Improving test suites via operational abstraction

Proceedings of the 25th International Conference on Software Engineering
SALT - An Integrated Environment to Automate Generation of Function Tests for APIs

ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
TestEra: A Novel Framework for Automated Testing of Java Programs

Proceedings of the 16th IEEE international conference on Automated software engineering
Predicting problems caused by component upgrades

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
An extended fault class hierarchy for specification-based testing

ACM Transactions on Software Engineering and Methodology (TOSEM)
Software Model Checking: The VeriSoft Approach

Formal Methods in System Design
Empirical evaluation of optimization algorithms when used in goal-oriented automated test data generation techniques

Empirical Software Engineering
Fault-based test suite prioritization for specification-based testing

Information and Software Technology
An approach to integration testing based on data flow specifications

ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
State coverage: software validation metrics beyond code coverage

SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes a specification-based black-box technique for testing program units. The main contribution is the method that we have developed to derive test conditions, which are descriptions of test cases, from the formal specification of each program unit. The derived test conditions are used to guide test selection and to measure comprehensiveness of existing test suites. Our technique complements traditional code-based techniques such as statement coverage and branch coverage. It allows the tester to quickly develop a black-box test suite.In particular, this paper presents techniques for deriving test conditions from specifications written in the Assertion Definition Language (ADL) [SH94], a predicate logic-based language that is used to describe the relationships between inputs and outputs of a program unit. Our technique is fully automatable, and we are currently implementing a tool based on the techniques presented in this paper.