DocumentCode
2159169
Title
Method of determining effective software testing regions: detection of software defects related to external specification changes
Author
Kaneko, Takeshi ; Nakajo, Takeshi
Author_Institution
Fac. of Eng., Tokyo Univ., Japan
fYear
1989
fDate
20-22 Sep 1989
Firstpage
535
Lastpage
542
Abstract
A method of specifying effective testing regions for detecting software defects accompanying changes in external specifications is proposed. On the basis of a careful analysis of actual software defects, the concept of restriction elements is introduced, and it is shown that software defects resulting from external specification changes can be regarded as consisting of the incorrect addition or elimination of these restriction elements. These errors produce a response different from the specifications in certain input regions. A theorem concerning the regions influenced is presented, and examples showing the effectiveness of the method are given
Keywords
program testing; programming theory; software reliability; errors; external specification changes; incorrect addition; input regions; response; restriction elements; software defect detection; software testing regions; theorem; Computer errors; Region 2; Region 3; Software testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 1989. COMPSAC 89., Proceedings of the 13th Annual International
Conference_Location
Orlando, FL
Print_ISBN
0-8186-1964-3
Type
conf
DOI
10.1109/CMPSAC.1989.65143
Filename
65143
Link To Document