Please use this identifier to cite or link to this item:
Title: Some Issues in Boolean Expressions Testing
Researcher: Rakesh Kumar Singh
Guide(s): Yogesh Singh and Pravin Chandra
University: Guru Gobind Singh Indraprastha University
Completed Date: 2009
Abstract: Software has become the medium of choice for enabling advanced automation in Aircraft, complex safety-critical applications, such medical and other control systems. As the capability and complexity of software-based systems increases, so does the challenge of verifying that these systems meet their requirements, including safety requirements. Mutation Analysis is a commonly used approach for verifying the effectiveness of a testing technique for safety critical software. In Mutation Testing technique faults are intentionally seeded into the program and by executing the test suite on the changed program it is analyzed whether the test suite is able to kill the entire fault. newlineIn the literature, specifications of Traffic Collision Avoidance System (TCAS) II written in form of Boolean expression are used to verify the performance of the various techniques for testing the Boolean expressions. During experimentation using TCAS II specifications, it was observed that no uniform mechanism is available for generation of mutants. As a result in empirical studies, some discrepancies are observed in number of mutants seeded for the same expression and the same fault class. newlineIn this research work, the mechanism for estimating the number of inequivalent mutants for a fault class is proposed. Fault detection criteria for Associative Shift Fault (ASF) and Clause Disjunction Fault for Boolean expression in DNF are also presented. The mechanism for generation of mutants for various fault classes is also proposed by giving the algorithm in constructive fashion. This will provide a direction for the development of testing techniques that guarantee the detection of the fault types described. newlineThe fault detection criteria for fault classes establish the relationship and interdependence of a fault class on another. The existing fault hierarchy has been further extended by assessing the inter-relationship of various fault classes and including ASF and CDF in the fault hierarchy. newline...
Appears in Departments:University School of Information and Communication Technology

Files in This Item:
File Description SizeFormat 
010 chapter-5.pdfAttached File7.3 MBAdobe PDFView/Open
011 chapter-6.pdf1.43 MBAdobe PDFView/Open
012 reference biodata list of papers.pdf5.62 MBAdobe PDFView/Open
01 title certificate acknowledgment.pdf1.02 MBAdobe PDFView/Open
02 abstract.pdf469.39 kBAdobe PDFView/Open
03 contents.pdf598.17 kBAdobe PDFView/Open
04 list of figers and tables.pdf1.55 MBAdobe PDFView/Open
05 list of publication chapter-1.pdf5.16 MBAdobe PDFView/Open
06 chapter-2.pdf4.58 MBAdobe PDFView/Open
07 chapter-2.1.pdf4.25 MBAdobe PDFView/Open
08 chapter-3.pdf5.17 MBAdobe PDFView/Open
09 chapter-4.pdf13.7 MBAdobe PDFView/Open

Items in Shodhganga are protected by copyright, with all rights reserved, unless otherwise indicated.