EXECUTABLE TESTERS

被引：0
|
作者：
PHALIPPOU, M
机构：
来源：
PROTOCOL TEST SYSTEMS, VI | 1994年 / 19卷
关键词：
CONFORMANCE TESTING; IMPLEMENTATION RELATIONS; TESTERS; TEST EXECUTION;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
some conformance testing theories use the concept of tester as an abstract model of test test suite. A tester is a mathematical object which, when composed with any implementation, allows to detect wether this implementation conforms to its specification. Some problems appear when we try to use these testers in order to define concrete test suites, due to the infinite behaviour of testers and to the non-deterministic behaviour of implementations. We analyse here under which conditions these problems can be solved, allowing to define executable testers, i.e. testers which can be easily transformed into test algorithms.
引用
收藏
页码：35 / 50
页数：16
相关论文
共 24 条
  • [1] Making the Non-executable ACATS Tests Executable
    Eilers, Dan
    Koskinen, Tero
    SIGADA 2011: PROCEEDINGS OF THE 2011 ACM INTERNATIONAL CONFERENCE ON ADA AND RELATED TECHNOLOGIES, 2011, : 75 - 80
  • [2] A method for executable protocol conformance test sequences generation using parametric executable analysis tree
    Shu, Ting
    Yang, Guanghui
    Xia, Jinsong
    Journal of Computational Information Systems, 2015, 11 (06): : 2287 - 2294
  • [3] An industrial experiment in automatic generation of executable test suites for a cache coherency protocol
    Kahlouche, H
    Viho, C
    Zendri, M
    TESTING OF COMMUNICATING SYSTEMS, 1998, : 211 - 226
  • [4] Testing transition systems with input and output testers
    Petrenko, A
    Yevtushenko, N
    Le Huo, J
    TESTING OF COMMUNICATING SYSTEMS, PROCEEDINGS, 2003, 2644 : 129 - 145
  • [5] Overcoming controllability problems with fewest channels between testers
    Hierons, R. M.
    Ural, H.
    COMPUTER NETWORKS, 2009, 53 (05) : 680 - 690
  • [6] Executable test sequence for the protocol data flow property
    Chen, WHP
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS, 2001, 69 : 285 - 299
  • [7] Conformance Testing of Distributed Concurrent Systems with Executable Designs
    Aichernig, Bernhard K.
    Griesmayer, Andreas
    Johnsen, Einar Broch
    Schlatte, Rudolf
    Stam, Andries
    FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2009, 5751 : 61 - 81
  • [8] A comparative study of testers’ motivation in traditional and agile software development
    Deak, Anca
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8892 : 1 - 16
  • [9] A Comparative Study of Testers' Motivation in Traditional and Agile Software Development
    Deak, Anca
    PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT, PROFES 2014, 2014, 8892 : 1 - 16
  • [10] Understanding the influence of social and technical factors testers in software organizations
    Deak, Anca
    2013 IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2013), 2013, : 511 - 512
123