传统的语句覆盖准则只考虑语句的可控制性,忽略其可观测性,这可能导致表面上很高的覆盖率数据所蕴含的可信度不高·鉴于此,可观测性覆盖评估准则被提了出来·随着设计规模不断加大,该准则变得越来越重要·首先提出一种可观测性信息的表征方式以及可观测性判定规则,在此基础上,提出一种针对可观测性语句覆盖准则的RTL激励生成方法·这是一种基于模拟的方法,它以所有未观测语句的分布作为启发式信息,指导激励生成·实验结果显示,提出的方法是高效的

在软件体系结构描述语言Wright的基础上,提出了基于软件体系结构的测试覆盖准则及BG动态行为图,根据BG图构造基于覆盖准则的测试路径,生成测试数据。

为评估图形用户界面(GUI)测试用例集的充分性,提出了基于窗口导航有向图的覆盖准则。

同时 ,提出了窗口控件交互执行因果图 (ControlInteractionCause_EffectGraph)及其测试覆盖准则 ,并进一步阐述了其测试用例生成策

首先,FSM中的状态由Web服务与用户交互产生的中间状态表示,FSM中的状态迁移及其标注由Web服务与用户间的消息交换表示;其次,借助正则表达式来描述Web服务交互过程的所有消息交换序列,并与Web服务的WSDL文档结合产生测试数据;最后,给出了满足FSM迁移覆盖准则的测试用例生成算法,并通过实验验证了该方法的有效性。

从分析Z语言描述的输入空间、前置条件和后置条件出发,对前置条件适当重写,然后根据前置条件利用更改的判定条件覆盖准则来生成测试案例集,该方法引入了控制流覆盖准则,克服了经验方法输入空间划分不完整的缺点,降低了形式化描述的难度,并可以使测试案例生成过程自动化。