Digital Library[ Search Result ]
Analysis of Utilization Methods of the Statistical Model Checking Results for Localizing Faults on System of Systems
Sangwon Hyun, Yong-jun Shin, Doo-Hwan Bae
http://doi.org/10.5626/JOK.2020.47.4.380
System of Systems (SoS) is a large and complex system comprising independent constituent systems. Statistical Model Checking (SMC) techniques can be used to verify if the SoS achieves its goals or not. However, even if the SoS goal failure is detected using the SMC, finding a root cause of the SoS failure requires more cost than that of a system. One of the candidate solutions for reducing the debugging cost is to apply fault localization techniques on the SoS. However, existing fault localization techniques are designed to utilize testing results of a system. Thus, a method to utilize SMC results is needed to apply existing fault localization techniques to the SoS. In this study, we suggest six utilization methods of SMC results for SoS fault localization, and compare the performance of them on the emergency-response SoS. We found that the method based on the expectation value showed the best performance in the experiment.
Analysis of Case Scenario to Develop a System of Systems Meta-model for Ontology Representation
Young-Min Baek, Sumin Park, Yong-Jun Shin, Doo-Hwan Bae
http://doi.org/10.5626/JOK.2018.45.10.1056
Ontology is a formal and explicit specification technique that defines concepts and relationships of a system. It is utilized to establish a common knowledge base and to reduce mismatches or inconsistencies during communication. Since a System-of-Systems (SoS) is a large-scale complex system that achieves higher-level common goals by the collaboration of constituent systems, ontologies need to be established for overall SoS development and operations. In other words, refined development and communications among various stakeholders of an SoS can be achieved based on the conceptualization power of an ontology. However, in order to build an ontology effectively, SoS engineers require a systematic means to provide a guideline for domain analysis and ontology establishment. To fulfill these requirements, this study proposes a meta-model, called the Meta-model for System-of- Systems (M2SoS), which enables systematic specifications of ontologies for SoS development. M2SoS is developed based on existing studies on meta-modeling approaches in the multi-agent system domain, but M2SoS is improved to meet SoS-specific requirements by SoS case analysis.
A GUI State Comparison Technique for Effective Model-based Android GUI Testing
Youngmin Baek, Gwangui Hong, Doo-hwan Bae
Graphical user interface testing (GUI testing) techniques have been widely used to test the functionality of Android applications (apps) and to detect faults for verification of the reliability and usability of apps. To adequately test the behaviors of apps, a number of studies on model-based GUI testing techniques have been performed on Android apps. However, the effectiveness of model-based techniques greatly depends on the quality of the GUI model, because model-based GUI testing techniques generate test inputs based on this model. Therefore, in order to improve testing effectiveness in model-based techniques, accurate and efficient GUI model generation has to be achieved using an improved model generation technique with concrete definition of GUI states. For accurate and efficient generation of a GUI model and test inputs, this study suggests a hierarchical GUI state comparison technique and evaluates this technique through comparison with the existing model-based techniques, considering activities as GUI states. Our results show that the proposed technique outperforms existing approaches and has the potential to improve the performance of model-based GUI testing techniques for Android apps.
Quality-Based Software Project Staffing and Scheduling with Project Deadline
Dongwon Seo, Donghwan Shin, Doo-Hwan Bae
Software project planning includes several processes for estimating the effort required to complete software project tasks, allocating human resources to tasks, and creating a project plan. Because software planning is becoming more complicated as the size of software projects grow, it is difficult for project managers to decide on a reasonable project plan. To help them, many automatic software project planning approaches have been proposed. The approaches all focus on minimizing project duration. But if the plan is simply to minimize the duration, without considering software quality, the plan can harm the eventual software quality. In our research to create a reasonable project plan, we consider software quality as well as duration of the project, by defining a software quality score. The project manager can plan the project to maximize software quality for a specific project duration.
Search
Journal of KIISE
- ISSN : 2383-630X(Print)
- ISSN : 2383-6296(Electronic)
- KCI Accredited Journal
Editorial Office
- Tel. +82-2-588-9240
- Fax. +82-2-521-1352
- E-mail. chwoo@kiise.or.kr