Redefinition of Fault Classes in Logic Expressions

Paul, Tanay Kanti; Lau, Man Fai

doi:10.1109/qsic.2012.41

Cited by 10 publications

(12 citation statements)

References 60 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Common faults that might occur during the programming process have been carefully investigated and summarized [31,32]. The described typical programming errors involve missing or extra literals/variables, and the use of incorrect operators and operands.…”

Section: Experimental Settingsmentioning

confidence: 99%

“…For instance, VNF (Variable Negation Fault) is quite misleading: It is unsure whether it refers to the negation of all occurrences of a variable or one occurrence of a variable. A very precise definition of every fault type is provided in [32]. In this study, we used ten types of faults for general Boolean expressions in our previous work [7].…”

Section: Experimental Settingsmentioning

confidence: 99%

“…However, most fault classes are hypothesized with respect to a given representation form, which calls for different analysis of the fault hierarchy, and affects the development of test case generation strategies. Recently, Paul and Lau [32] proposed a set of uniform definitions of fault classes, and they can be applied irrespective of the syntactic nature of Boolean expressions.…”

Section: Fault Classes and Their Detection Hierarchymentioning

confidence: 99%

See 2 more Smart Citations

Evaluating and Comparing Fault-Based Testing Strategies for General Boolean Specifications: A Series of Experiments

Sun

Zai

Liu

2014

The Computer Journal

View full text Add to dashboard Cite

A great amount of fault-based testing strategies have been proposed to generate test cases for detecting certain types of faults in Boolean specifications. However, most of the previous studies on these strategies were focused on the Boolean expressions in the disjunctive normal form, even the irredundant disjunctive normal form -little work has been conducted to comprehensively investigate their performance on general Boolean specifications. In this study, we conducted a series of experiments to evaluate and compare eighteen fault-based testing strategies using over four thousand randomly generated fault-seeded Boolean expressions. In the experiments, a testing strategy is regarded as effective and efficient if it can detect most of the seeded faults using a small number of test cases. Our experimental results show that if a testing strategy is highly effective and efficient when testing the Boolean expressions in the irredundant disjunctive normal form, it also shows high effectiveness and efficiency on general Boolean expressions. It is found that one family of fault-based testing strategies, namely MUMCUT, normally deliver the best performance among all the eighteen strategies. Our study provides an in-depth understanding and insight of fault-based testing for general Boolean expressions.

show abstract

Section: Experimental Settingsmentioning

confidence: 99%

Section: Experimental Settingsmentioning

confidence: 99%

Section: Fault Classes and Their Detection Hierarchymentioning

confidence: 99%

See 1 more Smart Citation

Evaluating and Comparing Fault-Based Testing Strategies for General Boolean Specifications: A Series of Experiments

Sun

Zai

Liu

2014

The Computer Journal

View full text Add to dashboard Cite

show abstract

“…In fault‐based Boolean expression testing, researchers have classified faults into a number of fault classes 4,7‐9 . Researchers have also identified that literal insertion faults (LIFs) are very hard to detect as compared to other fault classes 7,8,10 .…”

Section: Introductionmentioning

confidence: 99%

A new disjunctive literal insertion fault detection strategy in boolean specifications

Paul

Chowdhury

Lau

2021

J Software Evolu Process

View full text Add to dashboard Cite

In fault‐based Boolean expression testing, the main challenge is to generate effective test cases that can detect faults within expressions. Previous studies show that it is hard to detect literal insertion faults, more specifically Disjunctive literal insertion fault (LIF[+]) compared with other faults in Boolean expressions. Researchers have been using different strategies such as multiple near false point coverage (MNFP) and modified condition decision coverage (MCDC) to detect LIF[+] faults. However, these strategies have their own limitations. For example, MNFP can only be applied when the expression is in irredundant disjunctive normal form (IDNF), and MCDC detects a low percentage of LIF[+] faults. In this paper, we propose an abstract syntax tree (AST)‐based test case generation strategy for LIF[+] fault detection that overcomes these limitations. Furthermore, our experimental results indicate that, on average, the test suites satisfying the proposed strategy can detect approximately 97.3% of LIF[+] faults for general form expressions and 89.7% of LIF[+] faults for IDNF expressions, which are 15.6% and 13.8% improvement, respectively, compared to the MCDC test suites. Moreover, the size of the required test suite is smaller than that of MCDC test suite.

show abstract

“…In[52], 15 fault classes were defined. Since IDNF expressions do not have parenthesis, we do not generate POF and PSF faulty expressions.…”

mentioning

confidence: 99%

A systematic literature review on modified condition and decision coverage

Paul

Lau

2014

Proceedings of the 29th Annual ACM Symposium on Applied Computing

View full text Add to dashboard Cite

One of the requirements of Modified Condition and Decision Coverage (MCDC) is that test cases should be selected to demonstrate that a condition can independently affect the outcome of a decision. However, it is known that test cases cannot be selected to satisfy this "independently-affect" requirement when a decision contains strongly coupled conditions. Researchers have proposed various forms of MCDC in addressing this issue. In last 20 years, these variant MCDC forms have been discussed and applied as test data adequacy criteria in white-box testing, and as fault revealing techniques in empirical studies. In this paper, we performed a systematic literature review (SLR) on these MCDC variants. By clarifying the existing meanings of these variants, we are able to define another MCDC form. Moreover, we performed an empirical study to compare the fault detecting ability of this new form with other existing MCDC variants. The results showed that this new form of MCDC has a higher fault detecting ability than the others.

show abstract

Redefinition of Fault Classes in Logic Expressions

Cited by 10 publications

References 60 publications

Evaluating and Comparing Fault-Based Testing Strategies for General Boolean Specifications: A Series of Experiments

Evaluating and Comparing Fault-Based Testing Strategies for General Boolean Specifications: A Series of Experiments

A new disjunctive literal insertion fault detection strategy in boolean specifications

A systematic literature review on modified condition and decision coverage

Contact Info

Product

Resources

About