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 条

[31] Predicting Software Complexity by Means of Evolutionary Testing
Nogueira, Ana Filipa
2012 PROCEEDINGS OF THE 27TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2012, : 402 - 405
[32] Tarsier: a practical software framework for model development, testing and deployment
Watson, FGR
Rahman, JM
ENVIRONMENTAL MODELLING & SOFTWARE, 2004, 19 (03) : 245 - 260
[33] Reflective architecture based software testing management model
Jun-feng, Yao
Shi, Ying
Ju-bo, Luo
Dan, Xie
Xiang-yang, Jia
2006 IEEE INTERNATIONAL CONFERENCE ON MANAGEMENT OF INNOVATION AND TECHNOLOGY, VOLS 1 AND 2, PROCEEDINGS, 2006, : 821 - +
[34] A Model-Based Testing Tool for Embedded Software
Liu, Chien-Hung
Chen, Shu-Ling
Huang, Tien-Chi
2012 SIXTH INTERNATIONAL CONFERENCE ON GENETIC AND EVOLUTIONARY COMPUTING (ICGEC), 2012, : 180 - 183
[35] Software System Testing Method Based on Formal Model
Zhang, Weixiang
Liu, Wenhong
Wei, Bo
2017 2ND IEEE INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND BIG DATA ANALYSIS (ICCCBDA 2017), 2017, : 410 - 415
[36] Software Testing Model Study Based on Requirements Change
Liu, Shuping
Pang, Ling
PROCEEDINGS OF 2008 INTERNATIONAL PRE-OLYMPIC CONGRESS ON COMPUTER SCIENCE, VOL I: COMPUTER SCIENCE AND ENGINEERING, 2008, : 230 - 233
[37] Heuristics for Improving Model Learning Based Software Testing
Irfan, Muhammad Naeem
2009 TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE-PRACTICE AND RESEARCH TECHNIQUES, TAIC PART 2009, 2009, : 127 - 128
[38] TESTING IN SOFTWARE PRODUCT LINES A Model based Approach
Reales Mateo, Pedro
Polo Usaola, Macario
Caivano, Danilo
ICEIS 2011: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 3, 2011, : 46 - 54
[39] STATISTICAL TESTING OF SOFTWARE-BASED ON A USAGE MODEL
WALTON, GH
POORE, JH
TRAMMELL, CJ
SOFTWARE-PRACTICE & EXPERIENCE, 1995, 25 (01): : 97 - 108
[40] Workshop on advances in model-based software testing
Dalal, S
Jain, A
Poore, J
ICSE 05: 27th International Conference on Software Engineering, Proceedings, 2005, : 680 - 680

← 1 2 3 4 5 →