NDLI: On a New Detecting Technique for Conjunctive Literal Insertion Fault in Boolean Expressions

Content Provider	IEEE Xplore Digital Library
Author	Paul, T.K. Man Fai Lau Ng, S.
Copyright Year	2014
Description	Author affiliation: Fac. of Sci., Eng. & Technol., Swinburne Univ. of Technol., Hawthorn, VIC, Australia (Paul, T.K.; Man Fai Lau; Ng, S.)
Abstract	Fault-based testing aims to generate test cases that can detect anticipated faults. A recent study has unified the definition of conjunctive literal insertion fault (LIF[.]) based on the abstract syntax tree (AST) representation of a Boolean expression. LIF[.] is considered harder to detect as compared with other faults in Boolean expressions. For irredundant disjunctive normal form (IDNF) Boolean expressions, Multiple Unique True Points (MUTP) strategy guarantees LIF[.] detection. For general form (GF) Boolean expressions, Modified Condition Decision Coverage (MCDC) was used and its fault detecting ability was reported as 70.9%. In this paper we propose a test case generation strategy to detect LIF[.]. Unlike the MUTP strategy, our strategy can be applied to general form Boolean expressions. Empirical results on two renowned software systems' Boolean specifications indicate that, on average, the test suites satisfying our strategy detect approximately 99.0% of LIF[.] for GF expressions and 100.0% of LIF[.] for IDNF expressions. Moreover, the size of the required test suite is approximately half of the MCDC test suite.
Sponsorship	Reliab. Soc.
Starting Page	266
Ending Page	275
File Size	262817
Page Count	10
File Format	PDF
ISSN	15506002
e-ISBN	9781479971985
DOI	10.1109/QSIC.2014.41
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2014-10-02
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Software systems Syntactics Fault detection Abstracts Software testing software testing Boolean expression conjunctive literal insertion fault fault-based testing modified condition decision coverage
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

A systematic literature review on modified condition and decision coverage

Detecting Double Faults on Term and Literal in Boolean Expressions

Generating Minimal Fault Detecting Test Suites for Boolean Expressions

Boolean specification based testing techniques: a survey (2012).

Bi-objective model for test-suite reduction based on modified condition/decision coverage

Redefinition of Fault Classes in Logic Expressions

On detecting faults for Boolean expressions

An Investigation of Classification-Based Algorithms for Modified Condition/Decision Coverage Criteria

Towards Selecting Test Data Using Topological Structure of Boolean Expressions

On a New Detecting Technique for Conjunctive Literal Insertion Fault in Boolean Expressions

Similar Documents

A systematic literature review on modified condition and decision coverage

Detecting Double Faults on Term and Literal in Boolean Expressions

Generating Minimal Fault Detecting Test Suites for Boolean Expressions

Boolean specification based testing techniques: a survey (2012).

Bi-objective model for test-suite reduction based on modified condition/decision coverage

Redefinition of Fault Classes in Logic Expressions

On detecting faults for Boolean expressions

An Investigation of Classification-Based Algorithms for Modified Condition/Decision Coverage Criteria

Towards Selecting Test Data Using Topological Structure of Boolean Expressions

On a New Detecting Technique for Conjunctive Literal Insertion Fault in Boolean Expressions