Test Purpose Generation for Service Evolutions: A Symbolic Approach

被引：0
|
作者：
Gaston, Christophe [1 ]
Rapin, Nicolas [1 ]
机构：
[1] CEA LIST, Lab Model Driven Engn Embedded Aystems, F-91191 Gif Sur Yvette, France
来源：
SINTER 09 | 2009年
关键词：
Symbolic models based testing; Service oriented computing; Service evolution; Symbolic execution;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
We propose an approach to test service evolution in the context of service oriented systems. Such systems are composed of orchestrations which interact with users and coordinate services to fulfill users' requests. The tester only interacts with services through orchestrations. We propose to use symbolic execution techniques in a model based black box approach to identify test purpose characterizing first class citizen behaviors to be tested. We discuss how test purposes characterized before a service evolution may be qualified as: obsolete test purposes (no more relevant after the evolution) non regression test purposes (not impacted by the evolution) and how to identify new emergent test purposes that reflect behaviors induced by the service evolution.
引用
收藏
页码：19 / 22
页数：4
相关论文
共 50 条
  • [1] An approach to symbolic test generation
    Rusu, V
    du Bousquet, L
    Jéron, T
    [J]. INTEGRATED FORMAL METHODS, PROCEEDINGS, 2000, 1945 : 338 - 357
  • [2] Symbolic Execution - An efficient approach for test case generation
    Vengadeswaran, S.
    Geetha, K.
    [J]. 2013 INTERNATIONAL CONFERENCE ON RECENT TRENDS IN INFORMATION TECHNOLOGY (ICRTIT), 2013, : 575 - 581
  • [3] Symbolic execution techniques for test purpose definition
    Gaston, Christophe
    Le Gall, Pascale
    Rapin, Nicolas
    Touil, Assia
    [J]. TESTING OF COMMUNICATION SYSTEMS, PROCEEDINGS, 2006, 3964 : 1 - 18
  • [4] Sequential Circuit Test Generation Using a Symbolic/Genetic Hybrid Approach
    Franco Fummi
    Marco Boschini
    Xiaoming Yu
    Elizabeth M. Rudnick
    [J]. Journal of Electronic Testing, 2001, 17 : 321 - 330
  • [5] Sequential circuit test generation using a symbolic/genetic hybrid approach
    Fummi, F
    Boschini, M
    Yu, XM
    Rudnick, EM
    [J]. JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2001, 17 (3-4): : 321 - 330
  • [6] Test purpose concretization through symbolic action refinement
    Faivre, Alain
    Gaston, Christophe
    Le Gall, Pascale
    Touil, Assia
    [J]. TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS, 2008, 5047 : 184 - +
  • [7] STG:: A symbolic test generation tool
    Clarke, D
    Jéron, T
    Rusu, V
    Zinovieva, E
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS, 2002, 2280 : 470 - 475
  • [8] Test generation based on symbolic specifications
    Frantzen, L
    Tretmans, J
    Willemse, TAC
    [J]. FORMAL APPROACHES TO SOFTWARE TESTING, 2005, 3395 : 1 - 15
  • [9] Test Case Generation Using Symbolic Execution
    Pattanaik, Saumendra
    Sahoo, Bidush Kumar
    Panigrahi, Chhabi Rani
    Patnaik, Binod Kumar
    Pati, Bibudhendu
    [J]. COMPUTACION Y SISTEMAS, 2022, 26 (02): : 1035 - 1044
  • [10] Lazy symbolic execution for test data generation
    Lin, M. X.
    Chen, Y. L.
    Yu, K.
    Wu, G. S.
    [J]. IET SOFTWARE, 2011, 5 (02) : 132 - 141
12345