Fig 1 - uploaded by Donghwan Shin
Content may be subject to copyright.
Similar publications
Citations
... Yun et al. [51] examine mutation in the context of testing policies in a system-of-systems. This latter is a set of constituent systems that are forced, thanks to policies, to collaborate when goals cannot be achieved individually. ...
... In line with Al-Ghuwairi et al. [4] and Yun et al. [51] , Polo Usaola et al. [44] analyze software testing using mutation operators. This software is about context-aware, mobile applications that feature errors/faults. ...
By analogy to cells that grow, split, merge, and die, this paper applies same operations to things residing in an open Internet-of-Things (IoT) ecosystem. Despite the growing interest in IoT, things are mainly “busy” with sensing and (some) actuating, which prevents them from being responsive to changes in this ecosystem. To address this limitation, this paper proposes mutation as a novel mechanism for making things responsive and hence, capable of either satisfying “unseen” needs or seizing “unexpected” opportunities. To approve/deny mutation, a decision-making process is initiated progressing over 4 stopovers (obligation, permission, prohibition, and dispensation) along with 4 stages (awareness, pre-mutation, mutation-itself, and post-mutation) that would allow to answer questions such as why to approve/deny mutation, how to prepare mutation, and how to evaluate mutation. A testbed demonstrating the technical doability of thing mutation along with the conducted experiments are also discussed in the paper.
... This approach was adapted from an earlier work proposed by the same authors for SOA applications [19]. Liang and Rubin [26] propose a strategy to evaluate the effectiveness in detecting failures using mutation testing for SoS policies. This approach does not generate test cases, it only measures the effectiveness of existing test cases. ...
This paper describes the main Systems-of-Systems (SoS) characteristics that can impact on its validation and testing. Furthermore, it addresses technical, conceptual, social and organizational challenges and relates existing strategies that can be used in the SoS VV&T.
... Meinke reports preliminary results of the creation of a Learning-based testing (LBT) for cyber-physical systems-of-systems (CO-CPS). Author proposes a paradigm for fully automated requirements testing that combines machine learning with model-checking techniques (MEINKE, 2017) Yun et al. propose a mutation analysis approach for SoS policy testing (YUN; SHIN;BAE, 2017). Mutation analysis is a systematic way of evaluating test cases using artificial faults called mutants. ...
... Meinke reports preliminary results of the creation of a Learning-based testing (LBT) for cyber-physical systems-of-systems (CO-CPS). Author proposes a paradigm for fully automated requirements testing that combines machine learning with model-checking techniques (MEINKE, 2017) Yun et al. propose a mutation analysis approach for SoS policy testing (YUN; SHIN;BAE, 2017). Mutation analysis is a systematic way of evaluating test cases using artificial faults called mutants. ...
Context: Software-intensive systems have been increasingly interoperated forming alliances termed as “Systems-of-Systems” (SoS). SoS comprises a collection of systems joined to achieve a set of missions that none of the systems can individually accomplish. Each constituent system keeps its own management, goals, and resources while coordinating within the SoS and adapting to meet SoS goals. Applications of SoS range from traffic control to emergency response and crisis management. As SoS often support critical domains, such systems must be trustworthy by dealing with malfunction or defects and avoiding failures that could cause extensive damage and losses to the users.Problem: Correct SoS operations depend on a precise specification of the SoS structure and a rigorous attestation of its behaviors. However, besides limitations on languages to jointly capture SoS structure and behavior, predictions on the SoS emergent behaviors rely on constituent systems not totally known at design-time. Therefore, SoS have been developed and deployed without evaluating their operation, since current languages do not support such precision in evaluation.Objectives: This PhD project provides solutions founded on a formal architectural description language to support an early evaluation of SoS behaviors regarding its inherent SoS structure and dynamics through simulations.Contribution: The main contributions of this project comprise (i) a model transformation approach for automatically producing simulation models from SoS software architecture descriptions, combining SoS structure and behavior description in a same solution, (ii) a SoS software architecture evaluation method for SoS operation prediction considering the inherent changes that can occur, (iii) environment modeling and automatic generation of stimuli generators to sustain the SoS simulation, delivering data to feed such simulation, and (iv) a method for the automatic synchronization between the runtime descriptive architecture (changed at runtime due to dynamic architecture) and its original prescriptive architecture based on model discovery and recovery mechanisms and a backward model transformation.Evaluation: We conducted case studies to assess our approaches using Flood Monitoring SoS and Space SoS.Results: Our approaches show a high accuracy to (i) produce fault-free and operational simulations for SoS software architectures, (ii) support a reliable evaluation and prediction of SoS operation at design-time, (iii) automatically generate stimuli generators to sustain and feed the simulation execution, and (iv) maintain the synchronization between descriptive and prescriptive versions of the SoS architecture.Conclusions: We concluded that the proposed approaches advance the state of the art in SoS software architecture evaluation by offering solutions to predict the SoS operations effectiveness to maintain a continuous operation despite architectural changes, providing more trust for users that in the future shall rely on SoS services.
... Yun et al. (Yun et al., 2017) analyze mutation in the context of testing policies in a system of systems. This latter is a set of constituent systems that are forced, thanks to policies (predefined rules), to collaborate when goals cannot be achieved individually. ...
... In line with Yun et al. (Yun et al., 2017), Polo Usaola et al. (Polo Usaola et al., 2017) analyze software testing using mutation operators. This software is about context-aware, mobile applications that feature errors/faults. ...
