Bo Kyung Park

Modeling and Simulation for Embedded Software System

For productivity and correctness of embedded software system, I will focus on the verification of modeling by using M&S (Modeling & Simulation) in the modeling part. M&S (Modeling & Simulation) will be used to verify the modeling. If models are simulated for verification after modeling when we develop the embedded software, we may have the correctness of models. Also, it is probably going to improve embedded softwares reusability and reliability because we will be reusing correctness models. In this paper, we will extend a dynamic diagram of UML2.0 and xUML including Real-Time concepts to adapt to the embedded environment for embedded software modeling. Furthermore, it is probably going to improve reliability of embedded software system with using modeling and simulation concepts.

A Case Study on Improving SW Quality through Software Visualization

Today, it is very important issue to high quality of software issue on huge scale of code and time-to-market. In the industrial fields still developers focuses on Code based development. Therefore we try to consider two points of views 1) improving the general developer the bad development habit, and 2) maintenance without design, documentation and code visualization. To solve these problems, we need to make the code visualization of code. In this paper, we suggest how to visualize the inner structure of code, and also how to proceed improvement of quality with constructing the Tool-Chain for visualizing Java codes inner structure. For our practical case, we applied Object Code with NIPAs SW Visualization, and then reduced code complexity through quantitatively analyzing and visualizing code based on setting the basic module unit, the class of object oriented code.

Extracting Test Cases with Message-Sequence Diagram for Validating the Photovoltaic Energy Integrated Monitoring System

Recently, in the photovoltaic energy integrated monitoring software system, it has more complex, and accordingly may be possible to occur more errors. In this industrial services, a small error can lead to a huge accident to make the power failures. To completely build this system, it should verify whether it is or not stability of software through measuring the full coverage with generating test cases in detail level based on a message sequence model. In this paper, we apply to verify a system stability of this monitoring system with our previous research such as the automatic test case generation based on UML 2.4.1 message-sequence diagram via cause-effect diagram. With this, we extract automatically test cases on coverage.

Automatic Test Case Generation with State Diagram for Validating the Solar Integrated System

For safe software development on the solar integrated monitoring system, it is very important how to identify safe behaviors of the system behaviors. Therefore, it needs to test the system behaviors after the software development. To solve this problem, the existing studies have proposed the use case based test coverage analysis at all software development stages [1]. With this method, we identify the test cases based on priority of the system behaviors. In this paper, we proposes automatic test case extraction method based on state diagram among the use case-based test coverage extraction methods. That is, we can use state diagram for a system behaviors with which generates test cases to validate the system. We show an applicative case on the system behaviors of a solar integrated system with this approach.