一种基于使用模型和可执行规格说明的软件测试框架

代理获取

页面导航

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

摘要

如何提高测试软件的正确性和可靠性是软件工程中最棘手的问题之一，软件测试是其中一个比较重要的手段。对于大型复杂软件系统，基于模型的测试往往存在模型建立困难和输入空间爆炸的问题，而基于使用模型的测试又不能完成对被测件执行结果的验证。为更好的解决这些问题，本文提出了一种基于使用模型和可执行规格说明的软件测试框架。完成的主要工作有以下三个方面：
　　 1、应用一种基于使用模型和可执行规格说明的测试框架，将这两种测试方法结合起来，从而解决了这些问题或者至少降低了其中的难度。该测试框架可适用的前提在于测试人员耗费在被测件功能规格说明描述上的代价必须大幅度小于实现被测件的代价，这样才可以在构建复杂的使用模型的前提下将测试软件本身的耗费维持在一个比较低的水平。在对OpenLDAP主服务程序slapd测试的实验中，通过详细的代价分析论证了这一点。
　　 2、使用面向重放的软件架构，提高了测试软件本身的可靠性。目前大多重放技术涉及到工具的开发，它们存在两方面的缺点：一是工具的开发需要耗费；二是缺乏移植性，往往在某一平台下实现的重放技术或者工具无法在另外一个平台下使用。采用面向重放的软件架构来实现的软件系统自身便具备可重放性。
　　 3、介绍了纯实体和纯属性的概念，并证明了：在面向重放架构的支持下，纯实体和纯属性中的错误都可以按照系统化的方法通过重放调试出来。在对OpenLDAP主服务程序slapd测试的实验中，按照基于使用模型和可执行规格说明的测试框架的要求，采用面向重放的软件架构，实现了测试软件Tester。通过对Tester实现的详细分析，发现Tester中绝大部分的代码都可以组织成纯实体和纯属性。

著录项

作者
程胜来;
展开▼
作者单位

合肥工业大学;

展开▼
授予单位合肥工业大学;
学科计算机技术
授予学位硕士
导师姓名邵堃;
年度 2009
页码
总页数
原文格式 PDF
正文语种中文
中图分类 TP311.52;
关键词
使用模型; 可执行规格说明; 软件测试框架;

相似文献

中文文献
外文文献
专利

1. 一种数据模型驱动的软件自动化测试框架 [J] . 莫熹 ,赵方 . 计算机工程 . 2009,第021期
2. 一种基于RobotFramework的嵌入式软件自动化测试框架 [J] . 贠海顺 . 电子测试 . 2018,第008期
3. 一种基于模型的创建形式化规格说明的方法 [J] . 蒋良 ,王世业 . 计算机工程与应用 . 1998,第007期
4. 基于排队模型的软件性能测试框架研究 [J] . 欧阳荣彬 ,郭陟 ,顾明 . 计算机工程 . 2006,第003期
5. 一种基于OOPN的可执行对象结构模型 [J] . 林奕 ,闫杰 ,曾小荟 . 计算机工程 . 2007,第013期
6. 一种可执行函数式规格说明语言ＦＳＬ [C] . 廖湖声 . 全国程序设计语言发展与教学学术会议 . 1994
7. 基于形式规格说明的类测试框架研究 [A] . 张凯 . 2008

一种基于使用模型和可执行规格说明的软件测试框架

目录

摘要

著录项

相似文献

相关主题

期刊订阅