| 基于模型的有限状态机软件动态测试方法 |
| |
| 引用本文： | 朱玉文,刘俐,杨家宁,刘万春.基于模型的有限状态机软件动态测试方法[J].北京化工大学学报(自然科学版),2007,34(Z1):119-123. |
| |
| 作者姓名： | 朱玉文 刘俐 杨家宁 刘万春 |
| |
| 作者单位： | 北京理工大学计算机科学技术学院， 北京 100081 |
| |
| 摘 要： | 介绍了一种基于模型的软件动态测试方法，该方法通过将被测程序抽象成有限状态机，将测试程序及测试用例的编写集中到单个状态上。在软件结构或逻辑发生改变时，能够通过对旧状态测试程序的重新组合进行新的测试。无需大量修改测试程序从而保存了先前的测试用例。
|
| 关 键 词： | 基于模型的测试 有限状态机 自动测试 基于模型 有限状态机 软件结构 动态 测试方法 model state machine based testing method software 保存 修改 重新组合 逻辑发生 测试用例 测试程序 程序抽象 |
| 收稿时间： | 2007-05-10 |
| 修稿时间： | 2007年5月10日 |
Dynamic software testing method based on fintie state machine model |
| |
| ZHU YuWen,LIU Li,YANG JiaNing,LIU WanChun.Dynamic software testing method based on fintie state machine model[J].Journal of Beijing University of Chemical Technology,2007,34(Z1):119-123. |
| |
| Authors: | ZHU YuWen LIU Li YANG JiaNing LIU WanChun |
| |
| Institution: | College of Computer Science and Technology, Beijing Institute of Technol ogy, Beijing 100081, China |
| |
| Abstract: | In this paper,model-based testing approach is introduced.By abstracting a finite state machine(FSM) from the System under Testing(SUT),this approch can increase the test coverage by developing test cases for each states and transition,making the implementation of test tool and cases easier.When the SUT changes,only the test tool need to be rebuilt while the previous test cases can still be used without modification. |
| |
| Keywords: | model-based testing FSM auto testing |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《北京化工大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《北京化工大学学报(自然科学版)》下载免费的PDF全文 |
