TY - CHAP

T1 - Software and hardware testing using combinatorial covering suites

AU - Hartman, Alan

PY - 2005

Y1 - 2005

N2 - In the 21st century our society is becoming more and more dependent on software systems. The safety of these systems and the quality of our lives is increasingly dependent on the quality of such systems. A key element in the manufacture and quality assurance process in software engineering is the testing of software and hardware systems. The construction of efficient combinatorial covering suites has important applications in the testing of hardware and software. In this paper we define the general problem, discuss the lower bounds on the size of covering suites, and give a series of constructions that achieve these bounds asymptotically. These constructions include the use of finite field theory, extremal set theory, group theory, coding theory, combinatorial recursive techniques, and other areas of computer science and mathematics. The study of these combinatorial covering suites is a fascinating example of the interplay between pure mathematics and the applied problems generated by software and hardware engineers. The wide range of mathematical techniques used, and the often unexpected applications of combinatorial covering suites make for a rewarding study.

AB - In the 21st century our society is becoming more and more dependent on software systems. The safety of these systems and the quality of our lives is increasingly dependent on the quality of such systems. A key element in the manufacture and quality assurance process in software engineering is the testing of software and hardware systems. The construction of efficient combinatorial covering suites has important applications in the testing of hardware and software. In this paper we define the general problem, discuss the lower bounds on the size of covering suites, and give a series of constructions that achieve these bounds asymptotically. These constructions include the use of finite field theory, extremal set theory, group theory, coding theory, combinatorial recursive techniques, and other areas of computer science and mathematics. The study of these combinatorial covering suites is a fascinating example of the interplay between pure mathematics and the applied problems generated by software and hardware engineers. The wide range of mathematical techniques used, and the often unexpected applications of combinatorial covering suites make for a rewarding study.

UR - http://www.scopus.com/inward/record.url?scp=84888608902&partnerID=8YFLogxK

U2 - 10.1007/0-387-25036-0_10

DO - 10.1007/0-387-25036-0_10

M3 - Chapter

AN - SCOPUS:84888608902

SN - 978-0-387-24347-4

VL - 34

T3 - Operations Research/ Computer Science Interfaces Series

SP - 237

EP - 266

BT - Graph theory, combinatorics and algorithms

A2 - Golumbic, M.C.

A2 - Hartman, I.BA.

PB - Springer

CY - Boston, MA

ER -