基于模型检测的软件测试技术 |
| |
引用本文: | 彭晓红,刘久富. 基于模型检测的软件测试技术[J]. 教育技术导刊, 2009, 8(3): 13-14 |
| |
作者姓名: | 彭晓红 刘久富 |
| |
作者单位: | 江苏海事职业技术学院信息工程系;南京航空航天大学自动化学院; |
| |
基金项目: | 国家自然基金资助项目(60674100) |
| |
摘 要: | 提出了软件模型检测技术与软件测试技术的集成框架,在合适的软件检测模型基础上,通过模拟仿真,产生软件的测试用例,提高了软件的测试效率与降低了软件的测试成本。并对飞行控制软件作实例研究,取得很好效果,提高飞行控制软件的可靠性。
|
关 键 词: | 模型检测 软件测试 测试用例 需求规约 |
Model-Checking Based Software Testing |
| |
Abstract: | This paper puts forward the integrated frame for model-checking method and software testing method.On the basis of software checking model,we conveniently generate the test cases through model simulation.This method improves the software testing efficiency and decreases the software testing cost.We take flight control software as case study,verificate and validate the reliability of the flight control software. |
| |
Keywords: | Model-Checking Software Testing Test Case Requirement Specification |
本文献已被 CNKI 维普 等数据库收录! |
| 点击此处可从《教育技术导刊》浏览原始摘要信息 |
|
点击此处可从《教育技术导刊》下载全文 |
|