Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing

Authors:
T. Y. Chen;T. H. Tse;Zhiquan Zhou
Affiliations:
Swinburne University of Technology, Hawthorn 3122, Australia;The University of Hong Kong, Hong Kong;The University of Hong Kong, Hong Kong
Venue:
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Year:
2002

Citing 9
Cited 12

Generalizing specifications for uniformly implemented loops

ACM Transactions on Programming Languages and Systems (TOPLAS)
Applications of symbolic evaluation

Journal of Systems and Software
Data Diversity: An Approach to Software Fault Tolerance

IEEE Transactions on Computers - Fault-Tolerant Computing
Designing programs that check their work

Journal of the ACM (JACM)
Efficient checkers for number-theoretic computations

Information and Computation
An Introduction to Proving the Correctness of Programs

ACM Computing Surveys (CSUR)
Introduction to Program Verification

Introduction to Program Verification
Metamorphic Testing of Programs on Partial Differential Equations: A Case Study

COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
Software Manual for the Elementary Functions (Prentice-Hall series in computational mathematics)

Software Manual for the Elementary Functions (Prentice-Hall series in computational mathematics)

Testing Context-Sensitive Middleware-Based Software Applications

COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
An effective testing method for end-user programmers

WEUSE I Proceedings of the first workshop on End-user software engineering
A Metamorphic Approach to Integration Testing of Context-Sensitive Middleware-Based Applications

QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications

QSIC '05 Proceedings of the Fifth International Conference on Quality Software
An empirical comparison between direct and indirect test result checking approaches

Proceedings of the 3rd international workshop on Software quality assurance
PAT: A pattern classification approach to automatic reference oracles for the testing of mesh simplification programs

Journal of Systems and Software
Automatic system testing of programs without test oracles

Proceedings of the eighteenth international symposium on Software testing and analysis
Experimental study on GA-based path-oriented test data generation using branch distance

IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
Automated metamorphic testing on the analyses of feature models

Information and Software Technology
Metamorphic testing of a Monte Carlo modeling program

Proceedings of the 6th International Workshop on Automation of Software Test
On effective testing of health care simulation software

Proceedings of the 3rd Workshop on Software Engineering in Health Care
Testing of heuristic methods: a case study of greedy algorithm

CEE-SET'08 Proceedings of the Third IFIP TC 2 Central and East European conference on Software engineering techniques

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a semi-proving method for verifying necessary conditions for program correctness. Our approach is based on the integration of global symbolic evaluation and metamorphic testing. It is relatively easier than conventional program proving, and helps to alleviate the problem that software testing cannot show the absence of faults.