基于Eclipse RCP的模型测试管理工具设计与实现

代理获取

页面导航

目录
摘要
著录项
相似文献
相关主题

摘要

随着软件规模的复杂化、软件生产过程的敏捷化和软件可靠性要求的严格化，软件测试在整个软件生产活动中占据越来越重要的地位。软件测试不仅要保证被测系统单个组件的正确性，还需要确保组件间组合和交互的正确性。因此，针对单个组件的单元测试工具已经不能满足需求。
　　目前，已经有一些语言和工具可以对组件间的组合和交互进行建模并测试，但这些基于模型的测试工具往往只关注组件间的交互行为，缺乏对整个测试生命周期的管理功能。因此，本文的目标是选择一个工业上普遍适用的建模工具来描述被测系统，根据软件模型完成对被测系统组件间组合和交互行为正确性的验证，并为被测系统生成满足一定覆盖率标准的测试用例，对整个测试过程进行管理，从而实现一个基于模型的测试管理工具。
　　首先，本文采用具有强大的动态建模功能的Matlab Simulink为建模工具，由于Matlab Simulink模型在组件间组合验证上缺乏理论指导，本文借助扩展接口自动机模型作为中间模型，从理论上验证了组件间组合和交互的正确性，并实现了从Simulink模型到扩展接口自动机模型(EIA)的转换。采用GEF图形编辑框架可视化展示EIA，方便测试人员查看验证中间模型。
　　其次，本文实现了根据EIA模型生成测试用例并对模型进行仿真的功能，仿真输出结果是对被测系统行为的预言。整个模型测试管理工具采用Eclipse RCP架构，基于插件的开发模式大幅度提高了系统的可扩展性。整个系统由项目管理、模型展示、仿真结果管理等模块构成，覆盖了软件测试生命周期的各个方面，极大的提高了测试工作的效率，减轻了测试人员的负担。
　　最后，本文通过一个具体的软件模型，使用本工具生成测试用例并进行仿真运行，从测试用例的覆盖率和仿真结果两个方面对整个工具的可用性进行验证评估，验证了本文所提工具的有效性。

著录项

作者
孙菁;
展开▼
作者单位

西安电子科技大学;

展开▼
授予单位西安电子科技大学;
学科计算机技术
授予学位硕士
导师姓名苏锐丹,朱军;
年度 2015
页码
总页数
原文格式 PDF
正文语种中文
中图分类自动机理论;
关键词
软件测试; Eclipse RCP架构; 测试管理; 扩展接口自动机; 动态建模;

相似文献

中文文献
外文文献
专利

1. 基于Eclipse RCP的人事工资管理系统的设计与实现 [J] . 王秋海 ,黄德瑞 . 计算机光盘软件与应用 . 2012,第020期
2. 一种基于Eclipse RCP的任务管理系统设计与实现 [J] . 王宁 ,屈国栋 ,张洪群 . 微计算机信息 . 2011,第004期
3. 基于Eclipse RCP的思政教育系统的设计与实现 [J] . 刘裕 ,李娜 . 安阳工学院学报 . 2010,第004期
4. 基于Eclipse RCP的桌面通知系统设计与实现 [J] . 陈娅冰 . 软件导刊 . 2010,第002期
5. 基于Eclipse RCP的桌面通知系统设计与实现 [J] . 陈娅冰 . 软件导刊 . 2010,第002期
6. 基于eclipse RCP的插件式水电站厂内经济运行决策支持系统设计与实现 [C] . 舒生茂 ,莫莉 ,高新稳 . 第十五届中国水论坛 . 2017
7. 基于PHP MVC的软件测试管理工具的设计与实现 [A] . 喻超华 . 2015

基于Eclipse RCP的模型测试管理工具设计与实现

目录

摘要

著录项

相似文献

相关主题

期刊订阅