TEST GENERATION FROM BOUNDED ALGEBRAIC SPECIFICATIONS USING ALLOY

被引:0
|
作者
de Andrade, Francisco Rebello [1 ]
Faria, Joao Pascoal [1 ,2 ]
Paiva, Ana C. R. [1 ]
机构
[1] Univ Porto, Fac Engn, Dept Informat Engn, Oporto, Portugal
[2] INESC Porto, P-4200465 Oporto, Portugal
关键词
Test case generation; Algebraic specifications; Abstract data types; Alloy analyzer;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Algebraic specification languages have been successfully used for the formal specification of abstract data types (ADTs) and software components, and there are several approaches to automatically derive test cases that check the conformity between the implementation and the algebraic specification of a software component. However, existing approaches do not assure the coverage of conditional axioms and conditions embedded in complex axioms. In this paper, we present a novel approach and a tool to automatically derive test cases from bounded algebraic specifications of ADTs, assuring axiom coverage and of all minterms in its full disjunctive normal form (FDNF). The algebraic specification is first translated into the Alloy modelling language, and the Alloy Analyzer tool is used to find model instances for each test goal (axiom and minterm to cover), from which test cases in JUnit are extracted.
引用
收藏
页码:192 / 200
页数:9
相关论文
共 50 条
  • [1] TEST SETS GENERATION FROM ALGEBRAIC SPECIFICATIONS USING LOGIC PROGRAMMING
    BOUGE, L
    CHOQUET, N
    FRIBOURG, L
    GAUDEL, MC
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1986, 6 (04) : 343 - 360
  • [2] APPLICATION OF PROLOG TO TEST SETS GENERATION FROM ALGEBRAIC SPECIFICATIONS
    BOUGE, L
    CHOQUET, N
    FRIBOURG, L
    GAUDEL, MC
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 186 : 261 - 275
  • [3] BOUNDED IMPLEMENTATION OF ALGEBRAIC SPECIFICATIONS
    BREU, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1993, 655 : 181 - 198
  • [4] Exhaustive test sets for algebraic specifications
    Aiguier, Marc
    Arnould, Agnes
    Le Gall, Pascale
    Longuet, Delphine
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2016, 26 (04): : 294 - 317
  • [5] Test case generation from AsmL specifications
    Grieskamp, W
    Nachmanson, L
    Tillmann, N
    Veanes, M
    [J]. ABSTRACT STATE MACHINES 2003: ADVANCES IN THEORY AND PRACTIC, PROCEEDINGS, 2003, 2589 : 413 - 413
  • [6] Automatic test generation from interprocedural specifications
    Constant, Camille
    Jeannet, Bertrand
    Jeron, Thierry
    [J]. TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS, 2007, 4581 : 41 - +
  • [7] Automated test generation from SDL specifications
    Kerbrat, A
    Jéron, T
    Groz, R
    [J]. SDL'99: THE NEXT MILLENNIUM, 1999, : 135 - 151
  • [8] TEST-GENERATION FROM LOTOS SPECIFICATIONS
    TRIPATHY, P
    SARIKAYA, B
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1991, 40 (04) : 543 - 552
  • [9] Test generation games from formal specifications
    Banerjee, Ansuman
    Pal, Bhaskar
    Das, Sayantan
    Kumar, Abhijeet
    Dasgupta, Pallab
    [J]. 43RD DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2006, 2006, : 827 - +
  • [10] Automatic generation of test cases from Boolean specifications using the MUMCUT strategy
    Yu, Yuen Tak
    Lau, Man Fai
    Chen, Tsong Yueh
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2006, 79 (06) : 820 - 840