Software Testing Model Based on Formal Method
Lai Xiang · 2004
Software testing is an important method to keep the quality of software. The traditional method designs testing case based on developer's experience. It makes us difficult to keep the dependability and integrality of soft ware. In the paper,we design a new software testing model based on formal method. In the method we get formal de scription of the software design using RSL,and give an automatic method to get testing case used to every phase of software develop by these formal description. And there is a demo case in the end.