文档介绍：A NEW TEST DESIGN METHOD FOR
REQUIREMENT-BASED SOFTWARE TESTING
Mou Hu
Innovation Centre
Siemens Canada
Kanata, Ontario K2K 2M5
CANADA
Mou.******@ Fax: (613) 591-8731
of digital circuit testing to generate test cases for
Abstract
software, mercially available, ., SoftTest
[9]
A new test design method for .
requirement-based software testing is
proposed in this paper. Two key All these works mentioned above are based
techniques supporting this method are on binary logic (Boolean logic). However,
representing software requirements by representing software requirements in binary logic
using multiple-valued logic and (Boolean logic) is not very efficient. In this paper, we
generating test cases by using test propose to use multiple-valued logic in representation
generation algorithm for digital circuits. of software requirements. Based on this, test
A procedure for designing a minimum generation algorithms for multiple-valued digital
complete test set for requirement-based circuits can be used to design a plete set
software testing is presented. Finally, of test cases for software in a systematic way.
some results of using this new method are
presented.
II. Representation of Software Requirements
Key words – formal methods, multiple- Using Multiple-Valued Logic
valued logic, requirement-based software
test