基于UML的软件测试用例自动生成技术研究

来源 :计算机应用与软件 | 被引量 : 106次 | 上传用户:AAA0662AAA
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用 ,基于UML模型的测试用例自动生成技术日益受到关注。本文提出了通过对UMLSequenceDiagram进行形式化分析产生测试场景的技术 ,定义了相应的测试覆盖准则 ,分析了测试数据的生成。并探讨了将测试工具和建模工具相结合的具体实现方法
其他文献
分布式对象中间件技术是为了解决分布计算和软件复用过程中存在的异构问题而提出的。CORBA ,EJB ,COM/DCOM是目前主要的三大中间件技术 ,它们都有自己的优势应用领域 ,CORBA和Java的结合在解决Internetwww应用方面具有无比的优势 ,本文介绍了基于Java CORBA的www信息查询系统开发的一般方法
文章探讨了语料库语言学的发展对语言研究和外语教学所产生的影响.
本文首先介绍了B/S开发的几种模式 ,然后在此基础上重点分析了运用Asp等脚本技术开发B S所存在的问题。接着介绍了IntraWeb开发B/S架构的网站应用的优点及其一般流程 ,并结合一个登陆模块给出了具体代码实现 ,并分析了应该注意的问题
在公开密钥系统中 ,公钥的认证是非常重要的。本文提出了一种新的基于RSA签名的认证模式。在该模式中 ,多个KAC和用户共同产生公钥证明 ,但任何KAC均不参与验证过程 ,验证由用户独立完成。该模式安全性好 ,能够有效地防止KAC伪造假冒证明。
妇女解放,作为启蒙运动的一部分,同时也是鲁迅极为关注的问题;鲁迅对妇女问题的思考贯穿了他的一生.文章旨在通过剖析作品来解读鲁迅的妇女解放思想.
本文介绍了回归测试的一种方法 ,该方法利用控制流图 (ControlFlowGraph简称CFG图 )进行测试用例的选择 ,并使用继承的思想解决了CFG图中边的控制域问题 ,为测试用例的选择提供了一种有效的方法
由于封建思想的影响,经济生活落后,山西发展步伐缓慢。文章分析了制约山西发展的八种落后意识。只有摈弃落后意识,解放思想,更新观念,山西经济才能发展。
诺特网是采用Mobitex协议的网络 ,它提供无线双向数字通信服务。在诺特网和因特网环境下设计和应用的房阐信息服务系统 ,主要由PDA客户端子系统 ,诺特网无线应用网关和因特网服务器端子系统构成。该信息服务系统在房地产移动商务和移动信息服务领域具有广泛的应用前景。
文章从党内民主的意义、作用、性质等方面论述了民主政治建设的具体策略.
软件脆弱性是威胁系统安全的根本原因 ,当软件脆弱性被利用时 ,会造成各种危害系统安全的影响。本文说明了软件脆弱性的本质 ,分析了与脆弱性造成影响相关的典型软件脆弱性分类性 ,提出了基于脆弱性造成的直接和间接影响、受脆弱性影响的对象、实施影响的方法等方面的脆弱性影响模式框架。