| 基于模型的软件测试 |
| |
| 引用本文： | 杨朝红 宫云战 肖庆 毕学军. 基于模型的软件测试[J]. 北京化工大学学报(自然科学版), 2007, 34(A01): 85-88 |
| |
| 作者姓名： | 杨朝红 宫云战 肖庆 毕学军 |
| |
| 作者单位： | [1]装甲兵工程学院信息工程系,北京100072 [2]北京邮电大学网络与交换技术国家重点实验室,北京100087 |
| |
| 基金项目： | 国家“863”计划（2006AA012184） |
| |
| 摘 要： | 基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践，本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点，但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类，并对其故障密度等参数进行了初步的分析。最后，本文给出了一种基于模型的软件测试方法。
|
| 关 键 词： | 软件测试 静态分析 测试模型 |
| 修稿时间： | 2007-05-18 |
The software testing based on testing model |
| |
| YANG ZhaoHong, GONG YunZhan, XIAO Qing, BI XueJun. The software testing based on testing model[J]. Journal of Beijing University of Chemical Technology, 2007, 34(A01): 85-88 |
| |
| Authors: | YANG ZhaoHong GONG YunZhan XIAO Qing BI XueJun |
| |
| Affiliation: | 1. Department of Information Engineering, Academy of Armored Force Engineering, Beijing 100072; 2. State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing 100876, China |
| |
| Abstract: | |
| |
| Keywords: | software testing static analysis testing model |
| 本文献已被 维普 等数据库收录！ |
