数字音像内容管理系统的测试例自动生成技术研究

论文摘要

数字音像内容集成管理平台(NNM管理系统)是基于C/S模式的、在内容运营商系统中实现对音像内容管理、查询和维护的平台。对于运营商来说,它是对分布式资源网络中所拥有的音像资源、视听节目、广告策略进行集中管理的重要单元。这种基于C/S模式的系统由于具有多层体系结构,拥有图形用户界面、使用面向对象程序设计技术、数据分布存储、并发控制以及平台异构等特征,使得使用传统的手动方式为其生成一致性测试用例并进行测试有着极大的困难,同时使用手动方式产生的测试用例带有一定的盲目性,难以对软件系统进行充分的测试,使得软件开发的成本居高不下,开发周期漫长。本文为解决以上问题提出在对NNM管理系统进行开发过程中使用UML语言进行形式化建模,给出了将建立好的UML状态图转换为扩展的有限状态机(EFSM)的方法,并在扩展的有限状态机上使用控制流和数据流结合的测试例生成方法来自动生成NNM管理系统的一致性测试用例。最后使用生成的测试例对NNM管理系统进行一致性测试。该方法使测试人员从繁重的测试例编写工作中解放出来,在相同差错覆盖的条件下可以有效的缩短测试例的长度,提高软件测试开发的效率。

论文目录

• 摘要
• ABSTRACT
• 目录
• 图表目录
• 第一章 引言
• 1.1 选题研究方向
• 1.1.1 课题来源及意义
• 1.1.2 作者的研究内容及主要工作
• 1.2 论文结构
• 第二章 软件测试相关理论及发展
• 2.1 软件测试的发展
• 2.2 软件测试的分类
• 2.2.1 传统的软件测试方法
• 2.2.2 集成测试
• 2.2.3 GUI测试
• 2.2.4 面向对象软件测试
• 2.4 本章小结
• 第三章 NNM管理系统设计框架
• 3.1 总体描述
• 3.2 体系结构
• 3.3 本章小结
• 第四章 NNM管理系统的测试例生成方法
• 4.1 NNM管理系统的形式化建模
• 4.1.1 基于UML的软件建模方法
• 4.1.2 NNM管理系统的UML状态图描述
• 4.1.3 NNM管理系统的UML状态图到EFSM的转换
• 4.2 NNM管理系统的控制流测试路径生成
• 4.2.1 基于有限状态机的控制流测试方法
• 4.2.2 基于中国邮递员算法的UIO测试路径生成方法
• 4.3 NNM管理系统的测试数据选择
• 4.4 NNM管理系统的测试路径数据流分析
• 4.5 本章小结
• 第五章 NNM管理系统一致性测试试验
• 5.1 NNM管理系统测试平台结构
• 5.2 NNM管理系统的一致性测试报告
• 5.3 本章小结
• 第六章 总结及进一步工作
• 6.1 总结
• 6.2 进一步工作
• 参考文献
• 致谢
• 附录1 NNM管理系统单一节目管理集成测试用例
• 附录2 NNM管理系统单一节目管理集成测试报告