类的状态自动测试平台研究

来源 :西安理工大学 | 被引量 : 0次 | 上传用户:yigeyige
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着社会信息化的发展,软件规模在不断的增长。软件工程的思想方法也在从无到有不断发展,从瀑布模型到螺旋模型,从螺旋模型到喷泉模型以及敏捷开发、测试驱动开发不断演变。同时,软件编程模型也伴随着面向对象语言的诞生和应用从面向过程向面向对象以及面向方面的编程思想转变。无论编程语言、编程模型以及软件工程方法的变化,软件测试都在软件开发过程中占据重要的地位。 本文讨论了面向对象软件的特点及其对软件测试的影响,同时分析了类状态测试模型——对UML分析的类状态机做适当的约束和构造,使其适合测试过程的自动化。 在此基础上,本文设计和实现了一个基于UML的C++测试集成开发环境CppTestIDE。它以基于UML的分析设计规约文档作为00软件测试的重要依据,通过对UML文档的词法语法分析,提取类状态机模型;对类状态机模型分析手工生成测试用例;并根据生成的测试用例构造驱动模块,生成测试装置。同时,对源代码插装,以便度量代码覆盖率。在此基础上,编泽测试装置和源代码,生成测试装置执行文件。最后,驱动测试装置执行文件,分析测试结果,生成测试报告。
其他文献
随着DNA分析技术的发展与应用的不断深入,DNA数据的存储与访问日益成为关注的焦点。一般应用系统采用现有的数据库系统来进行管理,数据库系统区别于其它系统的重要方面之一是DB
随着互联网技术的飞速发展,HTML语言本身所具有的弱点,使得其已不能满足WEB越来越广泛的应用,XML可扩展标记语言是专门为Web应用设计的一个简单的SGML的子集,既克服了HTML的不足,
本文以一个大型医院系统集成平台的开发为背景,将工作流的技术用于应用集成当中,首先阐释了企业应用集成与工作流之间的关系,提出了工作流应用于企业应用集成中遇到的若干问
软件测试是软件质量保证的关键元素,并代表了规约、设计和编码的最终评审.一方面,软件系统作为系统元素的可见性不断增加,而且软件故障带来的代价太高,使得人们注重于规划良
入侵检测具有监视分析用户和系统的行为、审计系统配置和漏洞、评估敏感系统和数据的完整性、识别攻击行为、对异常行为进行统计和审计、自动地收集和系统相关的补丁、使用诱
随着社会的发展,机器人应用领域正在不断扩展,从自动化生产线到海洋资源的探索乃至太空作业等领域,机器人可谓是无处不在。以往对机器人的研究大多是在已知、结构化环境中进行的
J2EE体系包括JSP、Servlet、EJB、Web Service等多项技术,这些技术的出现给电子商务时代的Web应用开发提供了一个非常有竞争力的选择.随着J2EE技术的逐渐成熟,越来越多的框架
该文在研究、总结现有的Pitch/Time Scale处理技术基础上,提出了基于频域处理的Pitch Scale技术和改进的SOLA算法,给出了实现方法;对Pitch Scale升调处理过程中出现的问题给
本文实现了一种针对电信网管系统的报表处理的新方法。该方法针对ADSL和PCS网管系统对报表的特殊需求,在JasperReports报表系统的基础上,实现了可视化的报表设计、增加了报表中