中文

Journal of Applied Sciences ›› 2006, Vol. 24 ›› Issue (4): 377-381.

• Articles • Previous Articles     Next Articles

Automatic Generation and Evaluation of Test Case Based on Z Specifications

ZHU Bing1,2, MIAO Huai-kou2, WANG Na3   

  1. 1. School of Computer & Information, Shanghai Second Polytechnic University, Shanghai 201209, China;
    2. School of Computer Engineering and Science, Shanghai University, Shanghai 200072;
    3. IEN Institute, Shanghai Fisheries University, Shanghai 201300, China
  • Received:2005-03-02 Revised:2005-05-20 Online:2006-07-31 Published:2006-07-31

PDF

121

Abstract: Software testing is important in software quality assurance, in which test case is crucial.In this paper, a test frame is produced through category-partition, a linear programming model is constructed using the test frame, and linear programming model is solved to give an example of the test frame.A solution is also given to judge whether a test frame is feasible or not.Finally an example is presented based on invoice computation to illustrate the generation process of the test case from Z specifications, with a detailed discussion on the method used.

Key words: category-partition testing, test case, linear programming model, Z, formalized specification

CLC Number: