Model based testing in evolutionary software development

被引：0
|
作者：
Pretschner, A [1 ]
Lötzbeyer, H [1 ]
Philipps, J [1 ]
机构：
[1] Tech Univ Munich, Inst Informat, D-8000 Munich, Germany
来源：
12TH INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS | 2000年
关键词：
cleanroom SW engineering; Constraint Logic Programming; Extreme Programming; incremental development; rapid prototyping; reactive systems; test case generation;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The spiraling nature of evolutionary), software development processes produces executable parts of the system at the end of each loop. We argue that these parts should consist not only of programming language code, but of executable graphical system models. As a main benefit of the use of more abstract, yet formal, modeling languages, we present a method for model based test sequence generation for reactive systems on the grounds of Constraint Logic Programming and its implementation in the CASE tool AutoFocus.
引用
收藏
页码：155 / 160
页数：6
相关论文
共 50 条
  • [1] The evolutionary development model for software
    May, EL
    Zimmer, BA
    HEWLETT-PACKARD JOURNAL, 1996, 47 (04): : 39 - 45
  • [2] Integrating model checking and model based testing for industrial software development
    Villani, Emilia
    Pontes, Rodrigo Pastl
    Coracini, Guilherme Kisselofl
    Ambrosio, Ana Maria
    COMPUTERS IN INDUSTRY, 2019, 104 : 88 - 102
  • [3] Secure software development and testing: A model-based methodology
    Casola, Valentina
    De Benedictis, Alessandra
    Mazzocca, Carlo
    Orbinato, Vittorio
    COMPUTERS & SECURITY, 2024, 137
  • [4] Automated Unit Testing in Model-based Embedded Software Development
    Luckeneder, Christoph
    Kaindl, Hermann
    Korinek, Martin
    ICSOFT: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES, 2017, : 427 - 434
  • [5] EvoMBT: Evolutionary model based testing
    Ferdous, Raihana
    Hung, Chia-kang
    Kifetew, Fitsum
    Prandi, Davide
    Susi, Angelo
    SCIENCE OF COMPUTER PROGRAMMING, 2023, 227
  • [6] Software testing with evolutionary strategies
    Alba, Enrique
    Chicano, J. Francisco
    RAPID INTEGRATION OF SOFTWARE ENGINEERING TECHNIQUES, 2006, 3943 : 50 - 65
  • [7] A Model Based Testing Approach for Model-Driven Development and Software Product Lines
    Perez Lamancha, Beatriz
    Polo Usaola, Macario
    Piattini Velthius, Mario
    EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2011, 230 : 193 - +
  • [8] Optimal Model of Software Testing Path Selection Based on Genetic Algorithm and Its Evolutionary Solution
    Zhan, Lili
    WIRELESS COMMUNICATIONS & MOBILE COMPUTING, 2022, 2022
  • [9] Software Testing and Verification in Climate Model Development
    Clune, Thomas L.
    Rood, Richard B.
    IEEE SOFTWARE, 2011, 28 (06) : 49 - 55
  • [10] Model-Based Software Regression Testing for Software Components
    Batra, Gagandeep
    Arora, Yogesh Kumar
    Sengupta, Jyotsna
    INFORMATION SYSTEMS, TECHNOLOGY AND MANAGEMENT-THIRD INTERNATIONAL CONFERENCE, ICISTM 2009, 2009, 31 : 138 - +
12345