Test confessions: A study of testing practices for plug-in systems

M Greiler, A van Deursen… - 2012 34th International …, 2012 - ieeexplore.ieee.org
Testing plug-in-based systems is challenging due to complex interactions among many
different plug-ins, and variations in version and configuration. The objective of this paper is …

[HTML][HTML] Safe and efficient runtime testing framework applied in dynamic and distributed systems

M Lahami, M Krichen, M Jmaiel - Science of Computer Programming, 2016 - Elsevier
This paper provides a standard-based and resource aware Runtime Testing Framework For
Adaptable and Distributed Systems (RTF4ADS). Based on the runtime testing approach …

Assumption monitoring using runtime verification for UAV temporal task plan executions

S Zudaire, F Gorostiaga, C Sánchez… - … on Robotics and …, 2021 - ieeexplore.ieee.org
Temporal task planning guarantees a robot will succeed in its task as long as certain explicit
and implicit assumptions about the robot's operating environment, sensors, and capabilities …

Wavelet based 3D compression with fast random access for very large volume data

FF Rodler - … Seventh Pacific Conference on Computer Graphics …, 1999 - ieeexplore.ieee.org
In this paper we propose a wavelet based method for compressing volumetric data with little
loss in quality allowing fast random access to individual voxels within the volume. Such a …

Self-repairing systems modeling and verification using AGG

A Bucchiarone, P Pelliccione… - 2009 Joint Working …, 2009 - ieeexplore.ieee.org
Self-repairing (or healing) systems are systems equipped with a mechanism that monitors
the system behaviour to determine whether it behaves within prefixed parameters. If a …

[图书][B] Konzeptionelle Modellierung von Plugin-Systemen mit Petrinetzen

M Duvigneau - 2010 - books.google.com
Eine in der Praxis oft eingesetzte Lösung zur Bewältigung der vielfältigen Funktionalität und
Komplexität moderner Softwaresysteme besteht darin, ein Plugin-System in die Software zu …

Run-time systems failure prediction via proactive monitoring

P Zhang, H Muccini, A Polini, X Li - 2011 26th IEEE/ACM …, 2011 - ieeexplore.ieee.org
In run-time evolving systems, components may evolve while the system is being operated.
Unsafe run-time changes may compromise the correct execution of the entire system …

A formal contract language for plugin-based software engineering

J Dietrich, J Hosking, J Giles - 12th IEEE International …, 2007 - ieeexplore.ieee.org
Plugin-based application design has become increasingly popular in recent years, and has
contributed to the success of a range of very different applications including Mozilla Firefox …

Cassandra: An online failure prediction strategy for dynamically evolving systems

F De Angelis, MR Di Berardini, H Muccini… - Formal Methods and …, 2014 - Springer
Dynamically evolving systems are characterized by components that can be inserted or
removed while the system is being operated leading to unsafe run-time changes that may …

An architecture-centric approach for producing quality systems

A Bertolino, A Bucchiarone, S Gnesi… - … Conference on the Quality …, 2005 - Springer
Software architecture has been advocated as an effective means to produce quality systems.
In this paper, we argue that integration between analysis conducted at different stages of …