Extending the fault classification hierarchy for software with relational operators

Authors:
Jeonghyun Kim;Kyunghee Choi;Gihyun Jung
Affiliations:
Graduate School of Information and Communication, Ajou University, Suwon-City, South Korea;Graduate School of Information and Communication, Ajou University, Suwon-City, South Korea;School of Electrics Engineering, Ajou University, Suwon-City, South Korea
Venue:
ACS'06 Proceedings of the 6th WSEAS international conference on Applied computer science
Year:
2006

Citing 8
Cited 0

Evaluation of a predicate-based software testing strategy

IBM Systems Journal
Fault classes and error detection capability of specification-based testing

ACM Transactions on Software Engineering and Methodology (TOSEM)
On generating the irredundant conjunctive and disjunctive normal forms of monotone Boolean functions

Discrete Applied Mathematics - Special issue on the satisfiability problem and Boolean functions
On fault classes and error detection capability of specification-based testing

ACM Transactions on Software Engineering and Methodology (TOSEM)
Automatically Generating Test Data from a Boolean Specification

IEEE Transactions on Software Engineering
MUMCUT: A Fault-Based Strategy for Testing Boolean Specifications

APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
On the Relationships of Faults for Boolean Specification Based Testing

ASWEC '01 Proceedings of the 13th Australian Conference on Software Engineering
An extended fault class hierarchy for specification-based testing

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Testing is a simple and direct way for making software more reliable. Many specification-based software testing mechanisms utilize test points generated based on fault hierarchies, classes of which are categorized by common faults frequently introduced during software implementation. The testing method is effective to identify Boolean faults but has a severe drawback, which is not applicable to testing software with relational operators such as "" or "!=". This paper carefully investigates the characteristic of relational operator faults and proposes a unique way to find relational operator reference faults in software. Its feasibility is also shown by applying the proposed method to a HVAC (Heating/Ventilating/Air-Conditioning) system of commercial vehicle.