【摘 要】
：
使用形式化语言构建测试需求模型,有助于提高系统测试的自动化程度。UML状态图具有形式化特征,适合复杂系统详细行为的描述。本文基于面向对象思想,以状态图为核心技术,结合
论文部分内容阅读
使用形式化语言构建测试需求模型,有助于提高系统测试的自动化程度。UML状态图具有形式化特征,适合复杂系统详细行为的描述。本文基于面向对象思想,以状态图为核心技术,结合类图,提出了一种适合实时嵌入式软件的系统测试需求建模方法。该方法对被测软件系统的静态结构和动态行为进行建模,能清晰、完整地描述测试输入信息,包括前置条件、接口数据、激励事件、过程描述、后置状态等。并通过相关的建模机制实现了对实时性、并发性、时序性及数据反馈等约束特征的描述。基于该方法生成的需求模型,结合一定的测试用例生成策略,可以自动生成测试
其他文献
从高速公路线形空间造型,公路构造物景观造型,公路与周围地形地貌的融合,视觉污染四个方面进行了论述,说明了景观设计对交通安全的重要性,提出了可持续发展的交通景观设计理
阐述了一种飞行软件目标码测试环境的设计方法。该方法基于全数字仿真技术,通过分析目标文件得到反映目标码和源代码映射关系的关键信息,结合动态测试的数据实现目标码测试覆
卫星闭环控制系统中不同敏感器的故障定位是自主故障诊断的难点。基于双观测器的方法能够分离光学敏感器和惯性敏感器的故障,却仍不能确定红外地球敏感器是否发生故障。奉献观测器适用于敏感器系统的故障定位,但由于该方法要求的能观性条件在实际工程中有时难以满足,使其应用受到限制。本文提出了一种利用奉献观测器诊断敏感器故障的新方法,先对不完全能观系统进行能观性分解,再对能观子系统设计奉献观测器,克服能观性条件的限
足球乱象 早来的风暴? 10月22日，大连实德、北京国安等7家中超俱乐部汇聚香河“天下第一城”召开了中国足球史上第一次投资人联席会议。会议确定了八项决议文件，随之将其传真到
广告媒体是作为广告信息的载体和传播渠道，决定了广告信息的覆盖面以及其传播效果；由于消费者的媒体习性不同，而且不同广告媒体在传播速度、覆盖面和表现力等存在差异。因此，企
独资形式可使外商的利益最大化，其独有的跨国内部化交易及其避开各国监管和控制的能力向东道国提出了挑战。
给出了一种基于轨迹成型法星际小推力转移轨道的快速设计方法。首先介绍了基于轨迹成型法的有关内容，并通过与Hohmann变轨相对比验证了该方法描述小推力变轨的可用性。鉴于这
为研究大型海藻龙须菜(Gracilaria lemaneiformis)规模栽培对水质和浮游植物的影响,于2016年3―6月在南澳深澳湾选择龙须菜栽培区(G)、鱼类养殖区(F)和对照区(C)3个采样区域,
终末期肾病合并HBV感染的血液透析患者,其HBV DNA载量相对较低且稳定。有研究认为,血液透析对HBV DNA载量有一定影响,可以降低HBV DNA载量,但是具体机制尚不清楚。可能与以下
通过对文献合配概念的阐述，指出目前中国知网提供的题录检索存在的一些问题及改进方向。