A Runtime Testability Metric for Dynamic High-Availability Component-based Systems

Runtime testing is emerging as the solution for the integration and assessment of highly dynamic, high availability software systems where traditional development-time integration testing cannot be performed. A prerequisite for runtime testing is the knowledge about to which extent the system can be tested safely while it is operational, i.e.,...

Runtime Testability in Dynamic Highly-Availability Component-based Systems

Runtime testing is emerging as the solution for the integration and assessment of highly dynamic, high availability software systems where traditional development-time integration testing cannot be performed. A prerequisite for runtime testing is the knowledge about to which extent the system can be tested safely while it is operational, i.e.,...

Observation-Based Modeling for Model-Based Testing

One of the single most important reasons that modeling and modelbased testing are not yet common practice in industry is the perceived difficulty of making the models up to the level of detail and quality required for their automated processing. Models unleash their full potential only through sufficient formality, and after being processed by...

Trace-Based Code Generation for Model-Based Testing

Paper Submitted for review at the Eighth International Conference on Generative Programming and Component Engineering. Model-based testing can be a powerful means to generate test cases for the system under test. However, creating a useful model for model-based testing requires expertise in the (formal) modeling language of the used tool and the...

RiTMO: A Method for Runtime Testability Measurement and Optimisation

Version: Accepted as short paper at QSIC 2009. Runtime testing is emerging as the solution for the integration and assessment of highly dynamic, high availability software systems where traditional development-time integration testing is too costly, or cannot be performed. However, in many situations, an extra cost will have to be invested in...

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

Version note: Paper submitted for review at the 5th AMOST Workshop. 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...

Prioritizing tests for software fault localization

Paper submitted for review at QSIC'10 Test prioritization techniques select test cases that maximize the confidence on the correctness of the system when the resources for quality assurance (QA) are limited. In the event of a test failing, the fault at the root of the failure has to be localized, adding an extra debugging cost that has to be...

Reducing the Runtime Acceptance Costs of Large-Scale Distributed Component-Based Systems

Software Systems of Systems (SoS) are large-scale distributed component-based systems in which the individual components are elaborate and complex systems in their own right. Distinguishing characteristics are their short expected integration and deployment time, and the need to modify their architecture at runtime, while preserving the...

Architecture Support for Runtime Integration and Verification of Component-based Systems of Systems

Preprint of paper published in: ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, 15-19 September 2008; doi:10.1109/ASEW.2008.4686292 Systems-of-Systems (SoS) represent a novel kind of system, for which runtime evolution is a key requirement, as components join and leave during runtime. Current component...

Testing Challenges of Maritime Safety and Security Systems-of-Systems

Preprint of paper published in: TAIC PART 2008: Testing: Academic & Industrial Conference, Practice and Research Techniques, 29-31 August 2008; doi:10.1109/TAIC-PART.2008.14 Maritime Safety and Security systems represent a novel kind of large-scale distributed component-based systems in which the individual components are elaborate and complex...