1) Specifica tion-based test
基于规约的测试
3) scenario-based specification
基于场景的规约
1.
This paper purposes a scenario-based analysis and verification approach for the Web Services message flow,in which UML Sequence Diagrams are used to specify scenario-based specifications and WS-BPEL is used to describe Web Services designs.
采用UML顺序图构成基于场景的规约、WS-BPEL作为Web服务的描述语言,提出了一种面向基于场景规约对Web服务消息流进行分析与验证的方法:首先,对WS-BPEL消息流进行分析并将其自动抽象为基于Petri网的模型;同时,为了缩小状态空间、提高验证效率,在不影响消息交互顺序的前提下,对WS-BPEL源码和基于Petri网的模型分别进行化简,即面向基于场景规约将与验证无关的活动和元素删除;最后,通过遍历基于Petri网的模型以验证WS-BPEL消息流与基于场景的规约之间的一致性(消息交互顺序的存在/强制一致性)。
4) protocol test
规约测试
1.
Study and application of IEC61850 protocol test technology;
IEC61850规约测试技术研究及应用
2.
In order to ensure an accurate and reliable tele-infonnation in the power dispatching automation system (EMS/DMS), the telecontrol protocol test and failure analysis system which can accurately diagnose and solve the failure and abnormal cases of tele- information according to the practical application in the practical power generating was dissertated.
为确保电网调度自动化系统(EMS/DMS)远动信息准确可靠,本文结合电网调度自动化系统生产运行维护中的实际应用情况,叙述了利用实时数据通信规约测试及故障分析系统准确诊断并快速处理解决远动信息的故障与异常问题及生产应用等进行了阐述。
3.
In order to ensure the accuracy and reliability of remote information in power dispatch automation system (EMS/DMS),the telecontrol protocol test and failure analysis system is used to precisely diagnose and quickly treat the failure and abnormity of EMS/DMS.
为确保电网调度自动化系统 (EMS/DMS)远动信息准确可靠 ,结合华北电网调度自动化系统生产运行维护中的实际应用情况 ,叙述了利用远动规约测试及故障分析系统准确诊断并快速处理解决远动信息的故障与异常问题。
5) model-based testing
基于模型的测试
6) behavior-based testing
基于行为的测试
补充资料：测试结果可接受性的检查和最终测试结果的确定
测试结果可接受性的检查和最终测试结果的确定
check of the acceptability of test results and determination of the final test result
C凡(3)二3.3d，时，取此3个结果的平均值作为最终侧试结果;否则取它们的中位数作为最终测试结果。。，为重复性标准差(即在重复性条件下所得侧试结果的标准差)。 在口田T 11792一1989中还对重复性和再现性条件下所得侧试结果可接受性的检查方法和最终测试结果的确定做了详细讨论和规定。(马毅林)ceshi 11叩uo kejieshCxjxing d6 iiancha he zuizhong ceshi】i闪旧de que心ing测试结果可接受性的检查和最终测试结果的确定(checkof山eac，ptability of test，ults助ddsterminationofthefi耐testresult)在商品检验中进行一次测试的情形不多见，当得到一个测试结果时，所得结果不可能直接与给定的重复性标准差作可接受性的检查。对测试结果的准确性有任何疑问时都应再进行一次测试。所以，对两个测试结果进行可接受性的检查是一般的情况。 可接受性的检查，实际上是一种统计检验。任何两个测试结果只要能通过可接受性的统计检验即可认为是一致的，均可接受。比如，在重复性条件下，所得结果之差的绝对值(下称绝对差)不超过相应的重复性限r(见重复性和再现性)的值，则认为两个结果是一致的，均可接受;如果两个侧试结果的绝对差超过r，则认为它们是不一致的，必须增加测试。 按国家标准《测试方法的精密度在重复性或再现性条件下所得测试结果可接受性的检查和最终测试结果的确定》(GBIT 1 1792一1989)，在重复性条件下，如果两个测试结果的绝对差不超过r的值，可取两个侧试结果的平均值作为最终测试结果。如果两个结果的绝对差超过r的值，并且测试费用较低，须再做两次测试。当4个结果的极差(即其中的最大值与最小值之差)不超过相应的临界极差c，瓜(4)二3.6a，时，取4个结果的平均值作为最终测试结果。如果两个结果的绝对差超过r的值，并且测试费用较高时，只须再作一次测试。当3个结果的极差不超过相应的临界极差
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条