A Model for the Measurement of the Runtime Testability of Component-based Systems

被引:11
|
作者
Gonzalez, Alberto [1 ]
Piel, Eric [1 ]
Gross, Hans-Gerhard [1 ]
机构
[1] Delft Univ Technol, Software Engn Res Grp, NL-2628 CD Delft, Netherlands
关键词
D O I
10.1109/ICSTW.2009.9
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Runtime testing is emerging as the solution for the integration and validation of software systems where traditional development-time integration testing cannot be performed, such as Systems of Systems or Service Oriented Architectures. However performing tests during deployment or in-service time introduces interference problems, such as undesired side-effects in the state of the system or the outside world. This paper presents a qualitative model of runtime testability that complements Binder's classical restability model, and a generic measurement framework for quantitatively assessing the degree of runtime testability of a system based on the ratio of what can be tested at runtime vs. what would have been tested during development time. A measurement is devised for the concrete case of architecture-based test coverage, by using a graph model of the systems architecture. Concretely, two testability studies are performed for two component based systems, showing how to measure the runtime testability of a system.
引用
收藏
页码:19 / 28
页数:10
相关论文
共 50 条
  • [1] Runtime Enforcement for Component-Based Systems
    Charafeddine, Hadil
    El-Harake, Khalil
    Falcone, Ylies
    Jaber, Mohamad
    [J]. 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, 2015, : 1789 - 1796
  • [2] Runtime Verification of Component-Based Systems
    Falcone, Ylies
    Jaber, Mohamad
    Thanh-Hung Nguyen
    Bozga, Marius
    Bensalem, Saddek
    [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, 2011, 7041 : 204 - +
  • [3] VISCTE: Runtime Exploration of Component-Based Systems
    Santos, Andre L.
    Albuquerque, Ivo
    [J]. PROCEEDINGS 2016 19TH INTERNATIONAL ACM SIGSOFT SYMPOSIUM ON COMPONENT-BASED SOFTWARE ENGINEERING, 2016, : 91 - 96
  • [4] Taxonomy of Runtime Modification in Component-Based Software Systems
    Alhazbi, Saleh
    [J]. PROCEEDINGS 2010 3RD IEEE INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY, (ICCSIT 2010), VOL 1, 2010, : 585 - 588
  • [5] Architecture Support for Runtime Integration and Verification of Component-based Systems of Systems
    Gonzalez, Alberto
    Piel, Eric
    Gross, Hans-Gerhard
    [J]. 2008 23RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS, PROCEEDINGS, 2008, : 41 - 48
  • [6] A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime
    Hallerstede, Stefan
    Hatcliff, John
    [J]. FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2023, 2024, 14485 : 45 - 64
  • [7] Component-Based Models for Runtime Control and Monitoring of Embedded Systems
    Schwalb, Tobias
    Gaedeke, Tobias
    Schmid, Johannes
    Mueller-Glaser, Klaus D.
    [J]. PROCEEDINGS OF THE 5TH INTERNATIONAL WORKSHOP ON MODEL BASED ARCHITECTING AND CONSTRUCTION OF EMBEDDED SYSTEMS (ACES'MB 2012), 2013, : 31 - 36
  • [8] Runtime recovery and manipulation of software architecture of component-based systems
    Gang Huang
    Hong Mei
    Fu-Qing Yang
    [J]. Automated Software Engineering, 2006, 13 (2) : 257 - 281
  • [9] Adapting Component-Based Systems at Runtime via Policies with Temporal Patterns
    Kouchnarenko, Olga
    Weber, Jean-Francois
    [J]. FORMAL ASPECTS OF COMPONENT SOFTWARE, 2014, 8348 : 234 - 253
  • [10] Extension of Component-Based Models for Control and Monitoring of Embedded Systems at Runtime
    Schwalb, Tobias
    Mueller-Glaser, Klaus D.
    [J]. 2011 22ND IEEE INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING (RSP), 2011, : 142 - 148