| 基于模型的软件测试 |
| |
| 引用本文： | 杨朝红,宫云战,肖庆,毕学军.基于模型的软件测试[J].北京化工大学学报(自然科学版),2007,34(Z1):85-88. |
| |
| 作者姓名： | 杨朝红 宫云战 肖庆 毕学军 |
| |
| 作者单位： | 1. 装甲兵工程学院信息工程系， 北京 100072;
2. 北京邮电大学网络与交换技术国家重 点实验室， 北京1000876 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践，本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点，但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类，并对其故障密度等参数进行了初步的分析。最后，本文给出了一种基于模型的软件测试方法。
|
| 关 键 词： | 软件测试 静态分析 测试模型 基于模型 软件测试 model testing based 参数 故障密度 分类 分析 测试模型 问题 研究 故障机理 漏报 测试效果 复杂故障 逻辑 测试效率 测试技术 测试实践 |
| 收稿时间： | 2007-05-18 |
| 修稿时间： | 2007年5月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(Z1):85-88. |
| |
| Authors: | YANG ZhaoHong GONG YunZhan XIAO Qing BI XueJun |
| |
| Institution: | 1. Department of Information Engineering, Academy of Armored Force Engine ering, Beijing 100072;2. State Key Laboratory of Networking and Switching Technology, Beijing Universi ty of Posts and Telecommunications, Beijing 100876, China |
| |
| Abstract: | Software testing based on testing model is the important testing method in code phase during the software development life cycle.This testing method has sound characteristics,such as testing source code fast and peering into more of a program's dark corners with less fuss than dynamic analysis.However,false positive,false negative and test model still need further research.Then this paper analysis the testing models and divides them.A preliminary research on testing model such as fault density analysis is also given.Finally a testing method based on testing model is proposed. |
| |
| Keywords: | software testing static analysis testing model |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《北京化工大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《北京化工大学学报(自然科学版)》下载免费的PDF全文 |
