Improving software testability with assertion insertion

Authors:
Hwei Yin;James M. Bieman
Affiliations:
Digital Equipment Corp. in Colorado Springs, Colorado and Department of Computer Science, Colorado State University, Fort Collins, Colorado;Department of Computer Science, Colorado State University, Fort Collins, Colorado
Venue:
ITC'94 Proceedings of the 1994 international conference on Test
Year:
1994

Citing 10
Cited 1

Systematic software development using VDM

Systematic software development using VDM
PROSPER: a language for specification by prototyping

Computer Languages
Specifications are not (necessarily) executable

Software Engineering Journal
Specification case studies

Specification case studies
Eiffel: the language

Eiffel: the language
Towards a method of programming with assertions

ICSE '92 Proceedings of the 14th international conference on Software engineering
Specification-based test oracles for reactive systems

ICSE '92 Proceedings of the 14th international conference on Software engineering
Concurrent Runtime Monitoring of Formally Specified Programs

Computer
Designing for Software Testability Using Automated Oracles

Proceedings of the IEEE International Test Conference on Discover the New World of Test and Design
An Overview of Anna, a Specification Language for Ada

IEEE Software

Time-Constraint-Aware Optimization of Assertions in Embedded Software

Journal of Electronic Testing: Theory and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Executable assertions can be inserted into a program to find software faults. Unfortunately, the process of designing and embedding these assertions can be expensive and time consuming. We have developed the C-Patrol tool to reduce the overhead of using assertions in C programs. C-Patrol allows a developer to reference a set of previously defined assertions, written in virtual C, bind assertion parameters, and direct the placement of the assertions by a pre-processor.