| Z规格说明的测试用例自动生成 |
| |
| 引用本文： | 朱彬,缪淮扣,王娜.Z规格说明的测试用例自动生成[J].应用科学学报,2006,24(4):377-381. |
| |
| 作者姓名： | 朱彬 缪淮扣 王娜 |
| |
| 作者单位： | 1. 上海第二工业大学计算机与信息学院, 上海 201209;2. 上海大学计算机工程与科学学院, 上海 200072;3. 上海水产大学爱恩学院, 上海 201300 |
| |
| 摘 要： | 软件测试是软件质量保证的重要手段,测试用例的生成是软件测试的关键和难点.文中应用范畴划分测试方法产生测试框架,并引入线性规划模型,通过构造线性规划模型来实例化测试框架,并且较好地解决了测试框架是否可行的判断问题.同时结合票据计算的例子,探讨了从Z规格说明推导出测试用例的过程、方法和技术.
|
| 关 键 词： | 范畴划分测试 线性规划 测试用例 Z 形式规格说明 |
| 文章编号： | 0255-8297（2006）04-0377-05 |
| 收稿时间： | 2005-03-02 |
| 修稿时间： | 2005-03-022005-05-20 |
Automatic Generation and Evaluation of Test Case Based on Z Specifications |
| |
| ZHU Bing,MIAO Huai-kou,WANG Na.Automatic Generation and Evaluation of Test Case Based on Z Specifications[J].Journal of Applied Sciences,2006,24(4):377-381. |
| |
| Authors: | ZHU Bing MIAO Huai-kou WANG Na |
| |
| Institution: | 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 |
| |
| 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. |
| |
| Keywords: | Z |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《应用科学学报》浏览原始摘要信息 |
| 点击此处可从《应用科学学报》下载免费的PDF全文 |
|
