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 条
  • [31] A pragmatic approach to test generation
    Perez, E
    Algaba, E
    Monedero, M
    [J]. TESTING OF COMMUNICATING SYSTEMS, VOL 10, 1997, : 365 - 380
  • [32] Efficient Observability-based Test Generation by Dynamic Symbolic Execution
    You, Dongjiang
    Rayadurgam, Sanjai
    Whalen, Michael
    Heimdahl, Mats P. E.
    Gay, Gregory
    [J]. 2015 IEEE 26TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2015, : 228 - 238
  • [33] Strategies for scalable symbolic execution-driven test generation for programs
    Krishnamoorthy, Saparya
    Hsiao, Michael S.
    Lingappan, Loganathan
    [J]. SCIENCE CHINA-INFORMATION SCIENCES, 2011, 54 (09) : 1797 - 1812
  • [34] TEST PATTERN GENERATION FOR SEQUENTIAL MOS CIRCUITS BY SYMBOLIC FAULT SIMULATION
    CHO, K
    BRYANT, RE
    [J]. 26TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, 1989, : 418 - 423
  • [35] A Preprocessing Method of Test Input Generation by Symbolic Execution for Enterprise Application
    Ohbayashi, Hiroki
    Kanuka, Hideyuki
    Okamoto, Chikashi
    [J]. 2018 25TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2018), 2018, : 717 - 718
  • [36] Test Image Generation using Segmental Symbolic Evaluation for Unit Testing
    Jameel, Tahir
    Lin, Mengxiang
    Li, He
    Hou, Xiaomei
    [J]. 2014 15TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD), 2014, : 275 - 280
  • [37] Model-based test generation using extended symbolic grammars
    Hai-Feng Guo
    Mahadevan Subramaniam
    [J]. International Journal on Software Tools for Technology Transfer, 2014, 16 : 437 - 455
  • [38] A test data generation method based on the symbolic execution of the dangerous path
    Meng Yongdang
    [J]. PROCEEDINGS OF THE 2016 3RD INTERNATIONAL CONFERENCE ON MATERIALS ENGINEERING, MANUFACTURING TECHNOLOGY AND CONTROL, 2016, 67 : 536 - 540
  • [39] Strategies for scalable symbolic execution-driven test generation for programs
    Saparya Krishnamoorthy
    Michael S. Hsiao
    Loganathan Lingappan
    [J]. Science China Information Sciences, 2011, 54 : 1797 - 1812
  • [40] Strategies for scalable symbolic execution-driven test generation for programs
    KRISHNAMOORTHY Saparya
    HSIAO Michael S.
    LINGAPPAN Loganathan
    [J]. Science China(Information Sciences), 2011, 54 (09) : 1797 - 1812
12345