Compositional Specifications for ioco Testing

被引:10
|
作者
Daca, Przemyslaw [1 ]
Henzinger, Thomas A. [1 ]
Krenn, Willibald [2 ]
Nickovic, Dejan [2 ]
机构
[1] IST Austria, Klosterneuburg, Austria
[2] AIT Austrian Inst Technol GmbH, Vienna, Austria
关键词
compositional testing; model-based testing; CONFORMANCE;
D O I
10.1109/ICST.2014.50
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Model-based testing is a promising technology for black-box software and hardware testing, in which test cases are generated automatically from high-level specifications. Nowadays, systems typically consist of multiple interacting components and, due to their complexity, testing presents a considerable portion of the effort and cost in the design process. Exploiting the compositional structure of system specifications can considerably reduce the effort in model-based testing. Moreover, inferring properties about the system from testing its individual components allows the designer to reduce the amount of integration testing. In this paper, we study compositional properties of the ioco-testing theory. We propose a new approach to composition and hiding operations, inspired by contract-based design and interface theories. These operations preserve behaviors that are compatible under composition and hiding, and prune away incompatible ones. The resulting specification characterizes the input sequences for which the unit testing of components is sufficient to infer the correctness of component integration without the need for further tests. We provide a methodology that uses these results to minimize integration testing effort, but also to detect potential weaknesses in specifications. While we focus on asynchronous models and the ioco conformance relation, the resulting methodology can be applied to a broader class of systems.
引用
收藏
页码:373 / 382
页数:10
相关论文
共 50 条
  • [1] Compositional testing with ioco
    van der Bijl, M
    Rensink, A
    Tretmans, J
    [J]. FORMAL APPROACHES TO SOFTWARE TESTING, 2004, 2931 : 86 - 100
  • [2] A compositional testing framework driven by partial specifications
    Falcone, Ylies
    Fernandez, Jean-Claude
    Mounier, Laurent
    Richier, Jean-Luc
    [J]. TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS, 2007, 4581 : 107 - +
  • [3] Matching Implementations to Specifications: The Corner Cases of ioco
    Janssen, Ramon
    Tretmans, Jan
    [J]. SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING, 2019, : 2196 - 2205
  • [4] Testing real-time systems from compositional symbolic specifications
    Adriana C. Damasceno
    Patricia D. L. Machado
    Wilkerson L. Andrade
    [J]. International Journal on Software Tools for Technology Transfer, 2017, 19 : 53 - 71
  • [5] Testing real-time systems from compositional symbolic specifications
    Damasceno, Adriana C.
    Machado, Patricia D. L.
    Andrade, Wilkerson L.
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (01) : 53 - 71
  • [6] Complete Composition Operators for ioco-Testing Theory
    Benes, Nikola
    Daca, Przemyslaw
    Henzinger, Thomas A.
    Kretinsky, Jan
    Nickovic, Dejan
    [J]. 2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE), 2015, : 101 - 110
  • [7] Compositional interaction specifications for SystemC
    Doucet, F.
    Krueger, I. H.
    Gupta, R.
    Shyamasundar, R. K.
    [J]. FOURTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2006, : 201 - 201
  • [8] PARTIAL SPECIFICATIONS AND COMPOSITIONAL VERIFICATION
    LARSEN, KG
    THOMSEN, B
    [J]. THEORETICAL COMPUTER SCIENCE, 1991, 88 (01) : 15 - 32
  • [9] Constructive specifications for compositional units
    Lau, KK
    Momigliano, A
    Ornaghi, M
    [J]. LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2005, 3573 : 198 - 214
  • [10] Testing robustness of communicating systems using ioco-based approach
    Rollet, Antoine
    Salva, Sebastien
    [J]. ISCC: 2009 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1 AND 2, 2009, : 1101 - +