Integrating testability into the development process of reactive systems

被引：0
作者：
Do, Huy Vu [1 ]
Delaunay, Michel [2 ]
Robach, Chantal [1 ]
机构：
[1] LCIS ESISAR, BP 54, 50 Rue B de Laffaemas, F-26902 Valence, France
[2] LSR IMAG, F-38402 St Martin Dheres, France
来源：
PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING | 2007年
关键词：
testability; testable development; reactive systems; dataflow design;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper, we present our approach to analyze the testability of data-flow designs of reactive systems. We use the SATAN technology which is based on the information theory to model the information transfer in the system. We extend this technology with: a common formalism to represent data-flow designs produced from different CASE tools; a flattening mechanism to allow a flexible analysis of testability. We also improve the testability analysis by introducing: a statistical evaluation of information loss coefficient of operators, and a cyclic analysis that takes into account the recurring behavior of reactive systems. Our approach was integrated into a tool allowing an automatic analysis of testability of graphical data-flow designs of reactive systems.
引用
收藏
页码：322 / +
页数：2
相关论文
共 14 条
[1]  
BAUFRETON P, 2002, P INT WORKSH REF CRI
[2]  
BUI MD, 1998, CONCEPTION MODELISAT
[3]  
DO HV, 2006, P 3 EUR C EMB REAL T
[4]  
EMDEN G, 2002, DRAWING GRAPHS DOT
[5]  
*EST TECHN SA, 2005, SCADE TECHN MAN
[6]   TESTABILITY OF SOFTWARE COMPONENTS [J].
FREEDMAN, RS .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (06) :553-564
[7]   Identifying test-critical dependencies [J].
Jungmayr, S .
INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 2002, :404-413
[8]   Testability measurements for data flow designs [J].
LeTraon, Y ;
Robach, C .
FOURTH INTERNATIONAL SOFTWARE METRICS SYMPOSIUM, PROCEEDINGS, 1997, :91-98
[9]  
MacKay D, 2003, Information Theory, Inference, and Learning Algorithms
[10]  
*MATHW, 2005, SIM REF
12