CHARACTERIZING AND ORDERING ERRORS DETECTED BY CONFORMANCE TESTING

被引：0

作者：

DRIRA, K ^{[1
]}

AZEMA, PA ^{[1
]}

SOULAS, B ^{[1
]}

CHEMALI, AM ^{[1
]}

机构：

[1] DER EDF,F-77250 MORET,FRANCE

来源：

PROTOCOL TEST SYSTEMS, V | 1993年 / 11卷

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Testing theories contributed to formalize conformance as a binary relation relating implementation and specification. For practical purposes, e.g., test case selection, one wants to characterize the erroneous implementations detected by a specific test. Within the framework of the testing theory defined in [BSS87, Bri88], transformations of an IUT's specification are proposed to characterize implementation errors that will be detected by conformance testing. A bilabeled graph-structure referred to as a ''Refusal Graph'' is used as a basic structure for conformance verification by means of the bisimulation technique.

引用

页码：67 / 78

页数：12

共 50 条

[1] Conformance testing
Gargantini, A
[J]. MODEL-BASED TESTING OF REACTIVE SYSTEMS, 2005, 3472 : 87 - 111
[2] CONFORMANCE TESTING
AINSWORTH, K
[J]. COMPUTER INTEGRATED MANUFACTURING SYSTEMS, 1989, 2 (04): : 221 - 223
[3] Conformance testing
Watson, K.
[J]. Proceedings of the Open Congress on Communications for Manufacturing, 1990,
[4] ISDN CONFORMANCE TESTING
SU, DH
COLLICA, LA
[J]. PROCEEDINGS OF THE IEEE, 1991, 79 (02) : 190 - 198
[5] Firewall conformance testing
Senn, D
Basin, D
Caronni, G
[J]. TESTING OF COMMUNICATING SYSTEMS, PROCEEDINGS, 2005, 3502 : 226 - 241
[6] CONFORMANCE TESTING OF SOFTWARE
SCOWEN, RS
[J]. COMPUTERS & GRAPHICS, 1984, 8 (01) : 5 - 12
[7] The need for conformance testing
Wolle, Jochen
Wheelwright, Lynn
[J]. EE-EVALUATION ENGINEERING, 2008, 47 (09): : 54 - +
[8] OSI CONFORMANCE TESTING
RAYNER, D
[J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1987, 14 (01): : 79 - 98
[9] Relating interoperability testing with conformance testing
Kang, S
[J]. GLOBECOM 98: IEEE GLOBECOM 1998 - CONFERENCE RECORD, VOLS 1-6: THE BRIDGE TO GLOBAL INTEGRATION, 1998, : 3768 - 3773
[10] Formative Usability Testing Reduces Severe Blood Product Ordering Errors
Orenstein, Evan W.
Boudreaux, Jeanne
Rollins, Margo
Jones, Jennifer
Bryant, Christy
Karavite, Dean
Muthu, Naveen
Hike, Jessica
Williams, Herb
Kilgore, Tania
Carter, Alexis B.
Josephson, Cassandra D.
[J]. APPLIED CLINICAL INFORMATICS, 2019, 10 (05): : 981 - 990

← 1 2 3 4 5 →