Software Engineering for Self-Adaptive Systems III. Assurances by Rogério de Lemos David Garlan Carlo Ghezzi & Holger Giese

Author:Rogério de Lemos, David Garlan, Carlo Ghezzi & Holger Giese
Language: eng
Format: epub
Publisher: Springer International Publishing, Cham

In our experiments, we used and so that the failures do only occur in certain situations. Note that the application of an injected fault does not necessarily yield an invalid result because an invalid candidate solution must be rated better than all other (possibly valid) candidate solutions found by the particles (C-ErrorMask). Clearly, this characteristic together with PSOPP’s non-deterministic behavior exacerbates the detection of an injected fault (C-BranchingStateSpace).

In principle, all types of PSOPP faults could lead to a false result that can be detected using the gray-box interface (R-Solution) as well as the black-box view (R-Distribution). Note, however, that not all invalid results manifest themselves in an invalid system structure. Consider the following example illustrating error masking (C-ErrorMask): Assume that the power plants a and b are currently members of the same AVPP. If a reorganization causes an invalid result that does not contain these two power plants, the oracle detects a failure using the gray-box interface. However, the resulting system structure is valid in case the minimum size of an AVPP is and the maximum number of AVPPs is not exceeded. This is because a and b simply remain in their old AVPP if they are not contained in the provided result.Table 1.Statistical data concerning the number of EP states, EP transitions, as well as the coverage of EP states and EP transitions. All values are averages over the 700 generated test sequences per injected fault type. Values in parentheses denote standard deviations.

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.