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 条
  • [21] Study on software testing model based on Agent
    Sun, J
    Duan, F
    Xie, HW
    ISTM/2003: 5TH INTERNATIONAL SYMPOSIUM ON TEST AND MEASUREMENT, VOLS 1-6, CONFERENCE PROCEEDINGS, 2003, : 1191 - 1194
  • [22] Statistical testing of software based on a usage model
    Walton, Gwendolyn H.
    Poore, J.H.
    Trammell, Carmen J.
    Software - Practice and Experience, 1995, 25 (01): : 97 - 108
  • [23] Model Based Testing in Software Product Lines
    Reales, Pedro
    Polo, Macario
    Caivano, Danilo
    ENTERPRISE INFORMATION SYSTEMS, ICEIS 2011, 2012, 102 : 270 - 283
  • [24] An IDE for evolutionary software development
    Ying, J
    Wu, MH
    He, ZJ
    PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN & COMPUTER GRAPHICS, 1999, : 176 - 180
  • [25] A Model-based Testing for AADL Model of Embedded Software
    Dong, Yun-wei
    Wang, Geng
    Zhao, Hong-bing
    2009 NINTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2009), 2009, : 185 - +
  • [26] Are our Students Prepared for Testing Based Software Development?
    Bhattacherjee, Vandana
    Neogi, Madhumita S.
    Mahanti, Rupa
    22ND CONFERENCE ON SOFTWARE ENGINEERING EDUCATION AND TRAINING, PROCEEDINGS, 2009, : 210 - +
  • [27] Software development strategies for PC-based testing
    Almgren, Raymond
    EE: Evaluation Engineering, 1991, 30 (01):
  • [28] Software Testing System Development Based on ISO 29119
    Raksawat, Chadatarn
    Charoenporn, Pattama
    JOURNAL OF ADVANCES IN INFORMATION TECHNOLOGY, 2021, 12 (02) : 128 - 134
  • [29] Immune and evolutionary approaches to software mutation testing
    May, Pete
    Timmis, Jon
    Mander, Keith
    ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS, 2007, 4628 : 336 - +
  • [30] Testing evolutionary hypotheses in the classroom with MacClade software
    Codella, SG
    JOURNAL OF BIOLOGICAL EDUCATION, 2002, 36 (02) : 94 - 98
12345