Towards a tool environment for model-based testing with AsmL

被引：0
|
作者：
Barnett, M [1 ]
Grieskamp, W [1 ]
Nachmanson, L [1 ]
Schulte, W [1 ]
Tillmann, N [1 ]
Veanes, M [1 ]
机构：
[1] Microsoft Res, Fdn Software Engn, Redmond, WA 98052 USA
来源：
FORMAL APPROACHES TO SOFTWARE TESTING | 2004年 / 2931卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We present work on a toot environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semiautomatic parameter generation, call sequence generation and conformance testing. We outline the usage of the environment by an example, discuss its underlying technologies, and report on some applications conducted in the Microsoft environment.
引用
下载
收藏
页码：252 / 266
页数：15
相关论文
共 50 条
  • [31] Towards a Business Process Model-based Testing of Information Systems Functionality
    Nikiforova, Anastasija
    Bicevskis, Janis
    PROCEEDINGS OF THE 22ND INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS (ICEIS), VOL 2, 2020, : 322 - 329
  • [32] Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems
    Lima, Bruno
    Faria, Joao Pascoal
    10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS - ICSTW 2017, 2017, : 356 - 365
  • [33] Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering
    Lefticaru, Raluca
    Konur, Savas
    Yildirim, Unal
    Uddin, Amad
    Campean, Felician
    Gheorghe, Marian
    2017 IEEE INTERNATIONAL CONFERENCE ON INTERNET OF THINGS (ITHINGS) AND IEEE GREEN COMPUTING AND COMMUNICATIONS (GREENCOM) AND IEEE CYBER, PHYSICAL AND SOCIAL COMPUTING (CPSCOM) AND IEEE SMART DATA (SMARTDATA), 2017, : 131 - 138
  • [34] Towards model-based methods for developing model-based systems
    Coghill, GM
    INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2004, 33 (05) : 485 - 504
  • [35] AI-Based Enhancement of Test Models in an Industrial Model-Based Testing Tool
    Mohacsi, Stefan
    Felderer, Michael
    2021 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING (SANER 2021), 2021, : 636 - 638
  • [36] Model Learning and Model-Based Testing
    Aichernig, Bernhard K.
    Mostowski, Wojciech
    Mousavi, Mohammad Reza
    Tappler, Martin
    Taromirad, Masoumeh
    MACHINE LEARNING FOR DYNAMIC SOFTWARE ANALYSIS: POTENTIALS AND LIMITS, 2018, 11026 : 74 - 100
  • [37] Model-based testing in practice
    Pretschner, A
    FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 537 - 541
  • [38] Model-based testing as a service
    Herbold, Steffen
    Hoffmann, Andreas
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (03) : 271 - 279
  • [39] Model-Based Testing of Obligations
    Rubab, Iram
    Ali, Shaukat
    Briand, Lionel
    LeTraon, Yves
    2014 14TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2014), 2014, : 1 - 10
  • [40] Model-Based Flight Testing
    de Mendonca, Celso Braga
    da Silva, Edmar Thomaz
    Curvo, Marcelo
    Trabasso, Luis Gonzaga
    JOURNAL OF AIRCRAFT, 2013, 50 (01): : 176 - 186
12345