東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Applications of Logic Coverage Crite...

Kaminski, Garrett K.

Linked to FindBook

Google Book

Amazon

博客來

Applications of Logic Coverage Criteria and Logic Mutation to Software Testing.

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Applications of Logic Coverage Criteria and Logic Mutation to Software Testing./
Author:	Kaminski, Garrett K.
Description:	300 p.
Notes:	Source: Dissertation Abstracts International, Volume: 71-12, Section: B, page: 7525.
Contained By:	Dissertation Abstracts International71-12B.
Subject:	Information Technology. -
Online resource:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3431786
ISBN:	9781124323473

Applications of Logic Coverage Criteria and Logic Mutation to Software Testing.
Kaminski, Garrett K.

Applications of Logic Coverage Criteria and Logic Mutation to Software Testing. - 300 p.

Source: Dissertation Abstracts International, Volume: 71-12, Section: B, page: 7525.

Thesis (Ph.D.)--George Mason University, 2011.

Logic is an important component of software. Thus, software logic testing has enjoyed significant research over a period of decades, with renewed interest in the last several years. One approach to detecting logic faults is to create and execute tests that satisfy logic coverage criteria. Another approach to detecting faults is to perform mutation analysis and then find tests that distinguish the original program from each mutant. The fundamental contribution of this dissertation is the development of a new logic coverage criterion and a new logic mutation approach to improve testing in the context of logic expressions in normal form, logic expressions in general form and entire programs. In particular, testing approaches based on current logic coverage criteria and current mutation approaches share the same drawback of not guaranteeing detection of certain logic faults (even when all non-equivalent mutants are killed) and/or are costly in terms of the number of tests required. This dissertation further develops the body of knowledge in logic coverage criteria and logic mutation testing to address these problems. I show that a new logic coverage criterion can guarantee detecting the same logic faults as current criteria with fewer test cases. I also show that a new logic mutation approach can decrease the number of logic mutants generated while increasing logic fault detection capability. By doing so, a strong theoretical and empirical duality is established between the new logic coverage criterion and the new logic mutation approach.

ISBN: 9781124323473Subjects--Topical Terms:

1030799
Information Technology.

Applications of Logic Coverage Criteria and Logic Mutation to Software Testing.
LDR:02465nam 2200289 4500 001 1401463
005 20111020092003.5
008 130515s2011 ||||||||||||||||| ||eng d
020 $a 9781124323473
035 $a (UMI)AAI3431786
035 $a AAI3431786
040 $a UMI $c UMI
100 1 $a Kaminski, Garrett K. $3 1680602
245 1 0 $a Applications of Logic Coverage Criteria and Logic Mutation to Software Testing.
300 $a 300 p.
500 $a Source: Dissertation Abstracts International, Volume: 71-12, Section: B, page: 7525.
500 $a Adviser: Paul Ammann.
502 $a Thesis (Ph.D.)--George Mason University, 2011.
520 $a Logic is an important component of software. Thus, software logic testing has enjoyed significant research over a period of decades, with renewed interest in the last several years. One approach to detecting logic faults is to create and execute tests that satisfy logic coverage criteria. Another approach to detecting faults is to perform mutation analysis and then find tests that distinguish the original program from each mutant. The fundamental contribution of this dissertation is the development of a new logic coverage criterion and a new logic mutation approach to improve testing in the context of logic expressions in normal form, logic expressions in general form and entire programs. In particular, testing approaches based on current logic coverage criteria and current mutation approaches share the same drawback of not guaranteeing detection of certain logic faults (even when all non-equivalent mutants are killed) and/or are costly in terms of the number of tests required. This dissertation further develops the body of knowledge in logic coverage criteria and logic mutation testing to address these problems. I show that a new logic coverage criterion can guarantee detecting the same logic faults as current criteria with fewer test cases. I also show that a new logic mutation approach can decrease the number of logic mutants generated while increasing logic fault detection capability. By doing so, a strong theoretical and empirical duality is established between the new logic coverage criterion and the new logic mutation approach.
590 $a School code: 0883.
650 4 $a Information Technology. $3 1030799
650 4 $a Engineering, General. $3 1020744
650 4 $a Computer Science. $3 626642
690 $a 0489
690 $a 0537
690 $a 0984
710 2 $a George Mason University. $3 1019450
773 0 $t Dissertation Abstracts International $g 71-12B.
790 1 0 $a Ammann, Paul, $e advisor
790 $a 0883
791 $a Ph.D.
792 $a 2011
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3431786