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

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.

[1]  Simeon C. Ntafos,et al.  On Required Element Testing , 1984, IEEE Transactions on Software Engineering.

[2]  Janusz W. Laski.  Data flow testing in STAD , 1990, J. Syst. Softw..

[3]  A. Jefferson Offutt,et al.  Constraint-Based Automatic Test Data Generation , 1991, IEEE Trans. Software Eng..

[4]  Sriram Sankar,et al.  Structural specification-based testing with ADL , 1996, ISSTA '96.

[5]  Elaine J. Weyuker,et al.  Selecting Software Test Data Using Data Flow Information , 1985, IEEE Transactions on Software Engineering.

[6]  David W. Binkley,et al.  Program slicing , 2008, 2008 Frontiers of Software Maintenance.

[7]  Antoni Diller,et al.  Z - an introduction to formal methods , 1990 .

[8]  Debra J. Richardson,et al.  TAOS: Testing with Analysis and Oracle Support , 1994, ISSTA '94.

[9]  Carl E. Landwehr,et al.  A Taxonomy of Computer Program Security Flaws, with Examples , 1993 .

[10]  Eugene H. Spafford,et al.  The internet worm: crisis and aftermath , 1989 .

[11]  Eugene H. Spafford,et al.  Crisis and aftermath , 1989, Commun. ACM.

[12]  Darrel C. Ince,et al.  Practical formal methods with VDM , 1991 .

[13]  Karl N. Levitt,et al.  Property-based testing of privileged programs , 1994, Tenth Annual Computer Security Applications Conference.

[14]  Jeremy Dick,et al.  Automating the Generation and Sequencing of Test Cases from Model-Based Specifications , 1993, FME.

[15]  Stephen J. Garland,et al.  Larch: Languages and Tools for Formal Specification , 1993, Texts and Monographs in Computer Science.

[16]  R. Lathe.  Phd by thesis , 1988, Nature.

[17]  Karl N. Levitt,et al.  An Interface Language Between Specifications and Testing , 1995 .

[18]  Karl N. Levitt,et al.  Towards a Property-Based Testing Environment With Applications to Security-Critical Software , 1994 .

[19]  Lori A. Clarke,et al.  A Formal Evaluation of Data Flow Path Selection Criteria , 1989, IEEE Trans. Software Eng..