FORMAL METHODS IN CONFORMANCE TESTING - RESULTS AND PERSPECTIVES

被引：0
作者：
CAVALLI, AR
FAVREAU, JP
PHALIPPOU, M
机构：
[1] NIST, COMP SYST LAB, GAITHERSBURG, MD 20899 USA
[2] FRANCE TELECOM, CNET, LAA, SLC, EVP, F-22301 LANNION, FRANCE
来源：
PROTOCOL TEST SYSTEMS, VI | 1994年 / 19卷
关键词：
CONFORMANCE TESTING; FORMAL DESCRIPTION TECHNIQUES; TESTING THEORY; STANDARDIZATION;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The application of formal methods to conformance testing becomes a more and more active research area. This paper presents the results and perspectives of the application of these languages for tests and test generation methods. These results are analyzed in the framework of the activity of the joint ISO/ITU-TS working group on ''Formal Methods for Conformance Testing.''
引用
收藏
页码：3 / 17
页数：15
相关论文
共 41 条
  • [1] OBSERVATION EQUIVALENCE AS A TESTING EQUIVALENCE
    ABRAMSKY, S
    [J]. THEORETICAL COMPUTER SCIENCE, 1987, 53 (2-3) : 225 - 241
  • [2] AHO AV, 1988, OPTIMIZATION TEHCNIQ, V8
  • [3] BAUMGARTEN B, 1993, MAR FMCT M EVR
  • [4] BOURGUETROUGER A, 1989, ESHAUSTIVE VALIDATIO
  • [5] BRINKSMA E, 1988, PROTOCOL SPECIFICATI, V8
  • [6] BROMSTRUP L, 1989, TESDL EXPERIENCE GEN
  • [7] A THEORY OF COMMUNICATING SEQUENTIAL PROCESSES
    BROOKES, SD
    HOARE, CAR
    ROSCOE, AW
    [J]. JOURNAL OF THE ACM, 1984, 31 (03) : 560 - 599
  • [8] CAVALLI AR, 1993, 6TH P INT C FORM DES
  • [9] CAVALLI AR, 1992, AUTOMATED PROTOCOL C
  • [10] CAVALLI AR, 1992, NOV FMCT M GEN
12345