共查询到18条相似文献,搜索用时 78 毫秒
1.
2.
针对完整的类测试用例(包括测试序列和测试数据),采用灰盒测试技术,提出对UML状态图进行改进的广度优先搜索和深度优先搜索遍历后转化为测试树,再对树进行遍历得到测试序列,测试数据由等价划分方法和边界值法设置,通过实例可验证此方法有效可行。 相似文献
3.
用户可使用UML从不同角度对系统进行建模,但不同视图间存在信息冗余,会导致视图不一致的问题。文中提出形式化与可视化UML互补建模的方法,探讨用模型检测验证UML模型中的状态图和顺序图的一致性问题。针对具有复合片段的顺序图提出分析方法,将复杂层次结构的状态图转换为有限状态机,再用模型检测工具NuSMV对建立的模型进行验证。最后通过实例对此转换方法进行验证,实验结果表明了此方法的有效性。 相似文献
4.
近年来,UML已经被广泛应用于软件的分析和设计,然而,由于软件系统的复杂性,在UML模型中,难免会引入不同图表间特别是动态视图之间的不一致性。提出了一种用于验证UML2.0模型状态图和顺序图一致性的方法。首先,用XYZ/E来形式化描述状态图并将其转化为Promela输入语言;然后,用LTL来表示顺序图间的相互作用;最后利用模型检测工具Spin通过检查Promela描述的状态图是否满足LTL公式来达到检测模型一致性的目的。 相似文献
5.
6.
基于UML状态图的类状态测试 总被引:2,自引:0,他引:2
在介绍UML状态图的基础上,以面向对象软件的类作为基本测试单元,研究了基于UML状态图的类状态测试技术,并在Eclipse平台上结合Java工具用手工选择测试数据进行了实例测试. 相似文献
7.
基于实时UML的雷达软件设计 总被引:3,自引:1,他引:2
实时统一建模语言(UML)和面向对象的建模技术代表着雷达软件设计的一个发展方向。文中介绍了使用UML的用例图、状态图、顺序图等进行系统分析、设计、实现和测试,并讨论了如何选择UML工具与实时框架以及实时性分析等问题。 相似文献
8.
随着Java应用程序的迅速发展,程序代码安全问题也逐渐引起了人们的重视。虽然各个研究领域都提出很多的安全控制方法,但都存在着非常大的局限性,需要完善。本文主要将扩展下自动机作为核心研究对象,进行了详细分析,希望可以给相关研究人员提供参考。 相似文献
9.
提出一种新的动态行为取证层次化模型.首先介绍层次时间自动机的概念,接着详细阐述动态行为的层次时间自动机形式化模型及其组合模型,然后分析组合模型中可能存在的非法行为. 相似文献
10.
11.
UML模型的不一致性很难人工跟踪.采用计算机辅助检测和解决不一致问题可以提高复杂软件设计的质量.本文首先对软件设计中发生的不一致性问题进行了分类,然后给出了一个一致性管理框架(CMF)来处理上述问题. 相似文献
12.
协议描述是协议开发进程和协议工程中非常重要的一步。提出使用UML来对协议的行为、结构和体系建模,包括了协议的静态和动态2个方面,并以一个简单的通信协议和服务作为实例来说明将UML用于协议描述的技术。 相似文献
13.
14.
王泓 《电子产品可靠性与环境试验》2006,24(6):5-7
软件操作剖面的建立是进行软件可靠性测试的基础。对使用UML技术建立软件操作剖面的方法进行了介绍,并结合应用实例,说明了使用UML技术可以更加深刻地构造出反映软件实际情况的构造操作剖面。 相似文献
15.
16.
探讨了用时域法与复频域法求解LTI系统时解的一致性问题,指出了理论上解的一致性与具体操作上的矛盾,以及用时域法求解LTI系统过程中容易出现的概念性的错误,并提出了何时、何地、以及如何对时域解进行修正的办法。 相似文献
17.
李逦 《信息技术与标准化》2009,(6)
UML在系统分析与设计中得到广泛的应用.在UML的九种图中,类图是逻辑视图的重要组成部分,用于对系统的静态结构建模,是最重要、使用最普遍的图之一.文章主要说明类与类图的特点及不同阶段类图的使用. 相似文献
18.
统一建模语言作为面向对象程序设计的实际工业标准,已经成功地应用于很多软件的建模中。以自动称量系统软件为例,对统一建模语言的5个视图进行了描述,并给出了软件模型。 相似文献