Property-based testing: a new approach to testing for assurance

Authors:
George Fink;Matt Bishop
Affiliations:
Department of Computer Science, University of California, Davis;Department of Computer Science, University of California, Davis
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
1997

Citing 9
Cited 14

Selecting Software Test Data Using Data Flow Information

IEEE Transactions on Software Engineering
Crisis and aftermath

Communications of the ACM
A Formal Evaluation of Data Flow Path Selection Criteria

IEEE Transactions on Software Engineering
Data flow testing in STAD

Journal of Systems and Software
Constraint-Based Automatic Test Data Generation

IEEE Transactions on Software Engineering
Larch: languages and tools for formal specification

Larch: languages and tools for formal specification
TAOS: Testing with Analysis and Oracle Support

ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Z: An Introduction to Formal Methods

Z: An Introduction to Formal Methods
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications

FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods

Inoculating software for survivability

Communications of the ACM
Property-oriented testing: a strategy for exploring dangerous scenarios

Proceedings of the 2003 ACM symposium on Applied computing
Property-Oriented Test Generation from UML Statecharts

Proceedings of the 19th IEEE international conference on Automated software engineering
Towards agile security assurance

NSPW '04 Proceedings of the 2004 workshop on New security paradigms
Towards Property Oriented Testing

Electronic Notes in Theoretical Computer Science (ENTCS)
Validating system properties exhibited in execution traces

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Modeling the trust boundaries created by securable objects

WOOT'08 Proceedings of the 2nd conference on USENIX Workshop on offensive technologies
Common Criteria Approach to J2ME CLDC Security Requirements

Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
Position: the user is the enemy

NSPW '07 Proceedings of the 2007 Workshop on New Security Paradigms
Property driven development in Erlang, by example

Proceedings of the 5th Workshop on Automation of Software Test
SCOBA: source code based attestation on custom software

Proceedings of the 26th Annual Computer Security Applications Conference
A first step in the design of a formally verified constraint-based testing tool: focaltest

TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Turning web services descriptions into quickcheck models for automatic testing

Proceedings of the twelfth ACM SIGPLAN workshop on Erlang
A language-independent approach to black-box testing using Erlang as test specification language

Journal of Systems and Software

Quantified Score

Hi-index	0.02

Visualization

Abstract

The goal of software testing analysis is to validate that an implementation satisfies its specifications. Many errors in software are caused by generalizable flaws in the source code. Property-based testing assures that a given program is free of specified generic flaws. Property-based testing uses property specifications and a data-flow analysis of the program to guide evaluation of test executions for correctness and completeness.