Z规格说明的测试用例自动生成  

Automatic Generation and Evaluation of Test Case Based on Z Specifications

作　　者：朱彬[1] 缪淮扣[2] 王娜[3] 

机构地区：[1]上海第二工业大学计算机与信息学院,上海201209 [2]上海大学计算机工程与科学学院,上海200072 [3]上海水产大学爱恩学院,上海201300

出　　处：《应用科学学报》2006年第4期377-381,共5页Journal of Applied Sciences

基　　金：国家自然科学基金资助项目(60373072)

摘　　要：软件测试是软件质量保证的重要手段,测试用例的生成是软件测试的关键和难点.文中应用范畴划分测试方法产生测试框架,并引入线性规划模型,通过构造线性规划模型来实例化测试框架,并且较好地解决了测试框架是否可行的判断问题.同时结合票据计算的例子,探讨了从Z规格说明推导出测试用例的过程、方法和技术.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.

关 键 词：范畴划分测试 测试用例 线性规划 形式规格说明 Z 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]