TY - GEN
T1 - The theory system of STA and the axiom system of SRTAC
AU - Li, Q.
AU - Liu, B.
AU - Lu, M.
PY - 2006
Y1 - 2006
N2 - Software testing (ST) and software reliability testing (SRT) have been paid more and more attention to acquire high quality and reliability software. Since Goodenough and Gerhart put forward that the center problem of ST theory was software testing adequacy (STA), i.e. how to develop a software testing adequacy criterion (STAC) based on which a test suite is determined and the program can be tested adequately, research on STA and software reliability testing adequacy (SRTA) has become one of the key focuses in the field of ST. But it's too disappointed that up to now people have not got the same idea even about the definition of STA as well as the axiomatic research of STAC. The abstract properties of STAC are investigated in a formal axiomatic style and a typical axiom system was put forward by Weyuker, whereas a lot of debates exist and axiom systems are not commonly accepted. Based on analysis of existing research work, firstly the definition of STA is put forward from the point of view of software quality attributes and the theory systems of STA and STAC are built in this paper. Secondly the definition of SRTA is established. Thirdly the method of defining SRTA criterion (SRTAC) is proposed based on testing quality and testing quality plus software quality. Then the axiom system of STAC is formally analyzed and the axiomatic properties of SRTAC are illustrated by strict demonstration which finds some weakness. Finally, several pieces of advice are suggested and a new axiom system of STAC is proposed.
AB - Software testing (ST) and software reliability testing (SRT) have been paid more and more attention to acquire high quality and reliability software. Since Goodenough and Gerhart put forward that the center problem of ST theory was software testing adequacy (STA), i.e. how to develop a software testing adequacy criterion (STAC) based on which a test suite is determined and the program can be tested adequately, research on STA and software reliability testing adequacy (SRTA) has become one of the key focuses in the field of ST. But it's too disappointed that up to now people have not got the same idea even about the definition of STA as well as the axiomatic research of STAC. The abstract properties of STAC are investigated in a formal axiomatic style and a typical axiom system was put forward by Weyuker, whereas a lot of debates exist and axiom systems are not commonly accepted. Based on analysis of existing research work, firstly the definition of STA is put forward from the point of view of software quality attributes and the theory systems of STA and STAC are built in this paper. Secondly the definition of SRTA is established. Thirdly the method of defining SRTA criterion (SRTAC) is proposed based on testing quality and testing quality plus software quality. Then the axiom system of STAC is formally analyzed and the axiomatic properties of SRTAC are illustrated by strict demonstration which finds some weakness. Finally, several pieces of advice are suggested and a new axiom system of STAC is proposed.
UR - https://www.scopus.com/pages/publications/56249096920
M3 - 会议稿件
AN - SCOPUS:56249096920
SN - 0415416205
SN - 9780415416207
T3 - Proceedings of the European Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk
SP - 1425
EP - 1434
BT - Proceedings of the European Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk
T2 - European Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk
Y2 - 18 September 2006 through 22 September 2006
ER -