Runtime testing of dynamically adaptable and distributed component based Systems

Test case prioritization is well-studied, but primarily for software testing activities focused on verification [ 42 ]. A variety of prioriti- zation schemes have been developed,

Its uses the concept of neighborhood graphs and compares a set of proximity measures for continuous data which can be more-or-less equivalent a

2. By strengthening the quality of components by taking into account their involvement in the global system that encapsulates them. The main idea consists in showing how to

This latter allows us to test, from a global behavior of a system, the behavior of its involved sub-systems and then guide the component testing intelligently by taking into account

3) Following the previous item, an interesting question is whether we can find sensor position-invariant sources corresponding to distributed sources. Note that in this approach we

Besides the definition of a co-ioco conformance relation handling true concurrency, we define in [21] the notion of test case, we give sufficient properties for a test suite to be

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des

Instead, we have developed a multi-thread real- time scheduler that implements interactions and priorities of partial state models.. A code generator has been also developed to