Test case generation based on invariant extraction

Authors:
Fanping Zeng;Qing Cao;Liangliang Mao;Zhide Chen
Affiliations:
Department of Computer, University of Science and Technology of China and Anhui Province Key Lab of Software in Computer and Communication, Hefei, Anhui, PR China;Department of Computer University of Science and Technology of China Hefei, Anhui, PR China;Department of Computer University of Science and Technology of China Hefei, Anhui, PR China;Department of Computer University of Science and Technology of China Hefei, Anhui, PR China
Venue:
WiCOM'09 Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing
Year:
2009

Citing 7
Cited 0

Improving test suites via operational abstraction

Proceedings of the 25th International Conference on Software Engineering
Dynamically discovering likely program invariants

Dynamically discovering likely program invariants
JCrasher: an automatic robustness tester for Java

Software—Practice & Experience
Feedback-Directed Random Test Generation

ICSE '07 Proceedings of the 29th international conference on Software Engineering
The Daikon system for dynamic detection of likely invariants

Science of Computer Programming
Jartege: a tool for random generation of unit tests for java classes

QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
Eclat: automatic generation and classification of test inputs

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software testing is an effective way to find software errors. Generating a good test suite is the key. A program invariant is a property that is true at a particular program point or points. The property could reflect the program's execution over a test suite. Based on this point, we integrate the random test case generation technique and the invariant extraction technique, achieving automatic test case generation and selection. With the same invariants, compared with the traditional random test case generation technique, the experimental results show that the approach this paper describes can generate a smaller test suite.