【摘 要】
：
使用形式化语言构建测试需求模型,有助于提高系统测试的自动化程度。UML状态图具有形式化特征,适合复杂系统详细行为的描述。本文基于面向对象思想,以状态图为核心技术,结合
论文部分内容阅读
使用形式化语言构建测试需求模型,有助于提高系统测试的自动化程度。UML状态图具有形式化特征,适合复杂系统详细行为的描述。本文基于面向对象思想,以状态图为核心技术,结合类图,提出了一种适合实时嵌入式软件的系统测试需求建模方法。该方法对被测软件系统的静态结构和动态行为进行建模,能清晰、完整地描述测试输入信息,包括前置条件、接口数据、激励事件、过程描述、后置状态等。并通过相关的建模机制实现了对实时性、并发性、时序性及数据反馈等约束特征的描述。基于该方法生成的需求模型,结合一定的测试用例生成策略,可以自动生成测试
其他文献
从高速公路线形空间造型,公路构造物景观造型,公路与周围地形地貌的融合,视觉污染四个方面进行了论述,说明了景观设计对交通安全的重要性,提出了可持续发展的交通景观设计理
给出了一种基于轨迹成型法星际小推力转移轨道的快速设计方法。首先介绍了基于轨迹成型法的有关内容，并通过与Hohmann变轨相对比验证了该方法描述小推力变轨的可用性。鉴于这
为研究大型海藻龙须菜(Gracilaria lemaneiformis)规模栽培对水质和浮游植物的影响,于2016年3―6月在南澳深澳湾选择龙须菜栽培区(G)、鱼类养殖区(F)和对照区(C)3个采样区域,
终末期肾病合并HBV感染的血液透析患者,其HBV DNA载量相对较低且稳定。有研究认为,血液透析对HBV DNA载量有一定影响,可以降低HBV DNA载量,但是具体机制尚不清楚。可能与以下
通过对文献合配概念的阐述，指出目前中国知网提供的题录检索存在的一些问题及改进方向。