基于UML状态图的测试技术研究

来源 :计算机科学 | 被引量 : 13次 | 上传用户:seayi
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
UML统一建模语言已经广泛应用于软件开发中,基于UML图的测试技术最近成为了一个研究的热点,其中对UML状态图的测试有着广泛应用前景。UML状态图是传统状态图的变体,增加了层次、并发、广播。所以UML状态图的测试方法建立在对传统状态机的测试方法的基础上,对层次、并发、广播的处理或转换。本文介绍了基于UML状态图的测试方法和测试工具的研究进展,最后讨论了未来可以研究的方向。
其他文献
椭圆曲线密码系统是公钥基础设施中的一种非常有效的技术,但是产生相应的椭圆曲线是很困难的。本文提出了一种在已知有限数域上产生一类安全椭圆曲线的算法。当素数p=6k+1(k∈Z,
建设数字化校园是推动教育信息化的重要系统工程,而整合各种信息资源是当前研究的重点问题,其中有很多策略和技术问题需要解决.根据整合资源的需要,提出一个基于Portlet技术
本文吸取了免疫学的灵感,提出了一种新的方法来验证软件衰退的出现,也就是检测软件运行中的性能异常。这种方法结合了阴性选择算法和遗传算法,使用模糊逻辑产生模糊集来区分正常
我科于2002年6月到2004年10月应用本科自配复方赛庚啶乳膏与醋酸曲安奈德尿素软膏对照治疗104例神经性皮炎,现将临床观察结果报告如下.
文中提出一种用于视频编码的低复杂度整数变换。与H.264标准中所采用的整数变换相比较,本整数变换非常接近于DCT变换,而且无需乘法计算,只需要16位的加法和移位操作,大大降低了编
在借鉴多智体系统协调模型的基础上,提出了软件人社会的递阶协调模型,即基于合同网模型的软件人群体之间的协调机制和基于公共知识库的软件人群体内部的协调机制。使用公共知识
OpenGIS组织定义了用于将地理信息的交互与处理服务化的规范,但是按这些规范所构造的服务具有特殊性,难以和普通的Web服务进行交互并协同工作.本文通过扩展基于SOA架构的Web服
病案是医院管理中重要的信息资料,它是监督和检查医疗工作、进行科学管理和不断改进的可靠依据,真实完整的病案标志着医院工作人员的专业技术素质。
饭店餐具卫生状况的好坏直接关系到消费者的健康,关系到病原微生物所致食源性疾病的发生和流行。因此,餐具消毒工作一直是食品卫生监督管理的一项重要内容。为加强饭店餐具消毒
针对传统的软件重用设计模式,分析了在采用当前流行的面向对象开发方法进行软件重用设计的不足之处,阐述了面向方面的程序设计理论,提出了一种新型的面向方面软件重用模式设计方