Hyun Seung Son

Adapting Model Transformation Approach for Android Smartphone Application

The current smart phone applications are developed subordinately to its platform. In other words, applications are developed according to its own unique platform by each relevant vender, such as Cocoa for Apple, Android for Google and Windows Mobile for Microsoft. This paper suggests adapting the whole process of MDD (Model Driven Development) for the development of heterogeneous smart applications. Our proposed MDD is composed of Model-to-Model Transformation, which separates the independent from the dependent platform and transforms the independent model to the dependent model through rules on model transformation, and Model-to-Text Transformation, which forms codes from each dependent model. Model, metamodel and model transformation language are required to achieve Model-to-Model Transformation while model, metamodel and code template are needed for Model-to-Text Transformation. UML model, UML metamodel, ATL model transformation language and Acceleo code generation language also are adapted MDD in smart phone development environment. This paper also mentions a case of applying MDD in SnakePlus game.

Semi-automatic Software Development Based on MDD for Heterogeneous Multi-joint Robots

It might be necessary to develop the multi-joint robots that can work very dedicated movable like a kind of unmanned ground vehicles on very complicated and hazardous environments. These typed robots might be difficultly so controlled and developed that they should control plenty of servo-motors and also diverse hardware. It will be very hard to reuse the software source codes associated with these own robots, much less for heterogeneous ones. It is very difficult to develop heterogeneous multi-joint robots. So we propose the semi-automatic software development based on MDD (model driven development) for heterogeneous multi-joint robots.

A Study on Test Case Generation Based on State Diagram in Modeling and Simulation Environment

In the conventional tests, test case is generated in the design stage. However, actual test can be executed after its embodiment. As there is as much time difference between the design and execution of the test, the errors in the designs of test and software are checked out late. This paper is proposing the test case generation method so as automatic test can be carried out in the virtual simulation environment. The method proposed generates the test case automatically based on the state diagram and executes it in the virtual simulator. It can reduce the time difference between the design and execution of test, accordingly, to find out the error in the test case and problems in the design promptly. As a result, it can identify the error in the beginning stage of software development and save the time and expense need for the development.

Design of Code Template for Automatic Code Generation of Heterogeneous Smartphone Application

Development of heterogeneous application becomes an issue recently as of the diversification of smartphone platform. It is possible to develop heterogeneous smartphone application when using the e-MDD (Embedded Model Driven Development). While e-MDD is divided into Model-to-Model and Model-to-Text transformations, we have been converting target independent model to the target dependent model using the Model-to-Model transformation in the past. This paper is regarding the creation of code for target dependent model mentioned in the above using the Model-to-Text transformation. Template-based approach has been used for the creation of code. Code template has been made for Windows Mobil and Android as an example of application, and the code was created using Acceleo.

User Behavior Analysis Framework (UBAF) : Mapping HCI with SE

This paper suggests to mapping HCI (human computer interface) with SE (software engineering) for developing the new coming ubiquitous related systems or appliances against the current existing system developments. To do this, we propose the user behavior analysis framework (UBAF) to develop the future ubiquitous products of new paradigm through the user behavioral analysis before the requirement stage of software development activities. To illustrate the proposed approach we show one case study.

Test Case Generation from Cause-Effect Graph Based on Model Transformation

In software testing, cause-effect graph assures coverage criteria of 100% functional requirements with minimum test case. The existing test case generation from cause-effect graph implements the algorithmic approach. It has disadvantages to modify the entire program if the input model is different. In contrast, model transformation approach can flexibly implement with even a different input models. In the future, we need to study the method of automatic generation of test cases from UML Diagram. It is possible to generate the test case when mapping between cause-effect graph and UML diagram. In this paper, as a first research step, we propose the method to generate test cases from cause-effect graph based on model transformation. To implement the proposed method, we write the rules of model transformation with ATLAS Transformation Language (ATL), and execute the rules in development environment of Eclipse. The implemented tool of the proposed method can be easily extended by rewriting with the mapping rule between cause-effect graph and UML diagram. We just define the relationship between each models to generate the test case.

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.

A Practical Study on Code Static Analysis through Open Source based Tool Chains

In our domestic software industries, it is focused on such a high quality development/ testing process, maturity measurement, and so on. But the real industrial fields are still working on a code-centric development. Most of the existing legacy systems did not keep the design and highly increased the code complexity with more patching of the original codes. To solve this problem, we adopt a code visualization technique which is important to reduce the code complexity among modules. To do this, we suggest a tool chaining method based on the existing open source software tools, which extends NIPAs Software Visualization techniques applied to procedural languages. In addition, it should be refactored to fix bad couplings of the quality measurement indicators within the code visualization. As a result, we can apply reverse engineering to the legacy code, that is, from programming via model to architecture, and then make high quality software with this approach.

Metamodel Design for Model Transformation from Simulink to ECML in Cyber Physical Systems

It popularly uses Simulink to design embedded system on Model oriented design platform, and to simulate dynamic system for multi-domain simulation. So, Electrics Telecommunication Research Institute (ETRI) is researching for model transformation from Simulink model to ECML model for Cyber Physical Systems Project. This paper shows how to transform Simulink model to ECML model. We propose an automatic transformation method to transform ECML model from Simulink model based on model transformation technique that is very useful mechanism for heterogeneous model. And, we also design each metamodel of Simulink and ECML. With these metamodels of them, it easily execute model transformation even with models of any vendor’s tools.

A Test Management System for Operational Validation

NMS (Network Management System) is a central monitoring system that can manage equipment on network environments. This should be used for efficient and centralized management of network equipment. On NMS, it enables the real-time transmission and monitoring of the data on states, problems, composition, and statistics of equipment that make a network. But we need to verify whether it works on operations or functions of NMS operations or not. To do this, this paper suggests a test management system for the efficient verification of NMS environments. In order to develop a test management system, requirements from each NMS shall be extracted, and designed and materialized based on them. The suggested system enables efficient test management, result analysis, and comparative verification of test versions.