1) observability-based statement coverage
可观测性语句覆盖准则
1.
So the observability-based statement coverage metric is proposed.
传统的语句覆盖准则只考虑语句的可控制性,忽略其可观测性,这可能导致表面上很高的覆盖率数据所蕴含的可信度不高·鉴于此,可观测性覆盖评估准则被提了出来·随着设计规模不断加大,该准则变得越来越重要·首先提出一种可观测性信息的表征方式以及可观测性判定规则,在此基础上,提出一种针对可观测性语句覆盖准则的RTL激励生成方法·这是一种基于模拟的方法,它以所有未观测语句的分布作为启发式信息,指导激励生成·实验结果显示,提出的方法是高效的
2) Observability-Based Code Coverage
可观测性覆盖准则
3) Statement coverage
语句覆盖
4) testing criteria
测试覆盖准则
1.
According to software architecture description languages Wright, we propose testing criteria and BG behavior graph based on software architecture.
在软件体系结构描述语言Wright的基础上,提出了基于软件体系结构的测试覆盖准则及BG动态行为图,根据BG图构造基于覆盖准则的测试路径,生成测试数据。
5) coverage criterion
覆盖准则
1.
Top window coverage criterion,user input coverage criterion and length n user input sequence coverage criterion were proposed based on the graph.
为评估图形用户界面(GUI)测试用例集的充分性,提出了基于窗口导航有向图的覆盖准则。
6) coverage criteria
覆盖准则
1.
The author puts forward a CICE (Control Interaction Cause_Effect Graph) and a set of coverage criteria for it.
同时 ,提出了窗口控件交互执行因果图 (ControlInteractionCause_EffectGraph)及其测试覆盖准则 ,并进一步阐述了其测试用例生成策
2.
Finally,the testing case generation algorithm which meets the transition coverage criteria of FSM is presented and the effectiveness of the method is verified by experiments.
首先,FSM中的状态由Web服务与用户交互产生的中间状态表示,FSM中的状态迁移及其标注由Web服务与用户间的消息交换表示;其次,借助正则表达式来描述Web服务交互过程的所有消息交换序列,并与Web服务的WSDL文档结合产生测试数据;最后,给出了满足FSM迁移覆盖准则的测试用例生成算法,并通过实验验证了该方法的有效性。
3.
The control-flow coverage criteria was adopted to solve the problem that the input space was partitioned incompletely.
从分析Z语言描述的输入空间、前置条件和后置条件出发,对前置条件适当重写,然后根据前置条件利用更改的判定条件覆盖准则来生成测试案例集,该方法引入了控制流覆盖准则,克服了经验方法输入空间划分不完整的缺点,降低了形式化描述的难度,并可以使测试案例生成过程自动化。
补充资料：转子语句和返回语句
主程序调用子程序以及从子程序返回主程序的语句。调用子程序的语句为转子语句，从子程序返回调用程序的语句为返回语句。在basic语言中，每次调用子程序时，必须成对使用，缺一个就会产生语法错误。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条