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 条
  • [41] Research and realization of software testing model based on CSCW
    Liang, WJ
    Fu, XF
    Li, Z
    Xiao, R
    Hu, JF
    PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, VOLS 1 AND 2, 2005, : 704 - 709
  • [42] A Software Testing Management System Based on the POCERM Model
    Chen, Zhanhua
    Li, Guoyong
    Cao, Yanjun
    Du, Chenxin
    PROCEEDINGS OF INTERNATIONAL CONFERENCE ON ALGORITHMS, SOFTWARE ENGINEERING, AND NETWORK SECURITY, ASENS 2024, 2024, : 479 - 484
  • [43] Towards Model based Testing for Software Defined Networks
    Berriri, Asma
    Lopez, Jorge
    Kushik, Natalia
    Yevtushenko, Nina
    Zeghlache, Djamal
    PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2018, : 440 - 446
  • [44] Model-based testing for enterprise software solutions
    Jain, A
    Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005, : 331 - 331
  • [45] Research of Software Development Model Based on the Theory of Software Engineering
    Wang, Lei
    PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION APPLICATIONS (ICCIA 2012), 2012, : 1171 - 1173
  • [46] A knowledge-based evolutionary assistant to software development project scheduling
    Yannibelli, Virginia
    Amandi, Analia
    EXPERT SYSTEMS WITH APPLICATIONS, 2011, 38 (07) : 8403 - 8413
  • [47] Towards an evolutionary formal software development
    Hutter, D
    Schairer, A
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 417 - 420
  • [48] Education Impact of Evolutionary Software Development
    Rajlich, Vaclav
    2013 IEEE 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING EDUCATION AND TRAINING (CSEE&T), 2013, : 332 - 334
  • [49] An Evolutionary Computation Based Model for Testing Transfer Learning Strategies
    Alghamdi, Tami
    Heckendorn, Robert B.
    2021 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC 2021), 2021, : 1380 - 1389
  • [50] A component-based software development model
    Ning, JQ
    TWENTIETH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE (COMPSAC'96), PROCEEDINGS, 1996, 20 : 389 - 394
12345