Yongjin Seo

A UML metamodel for smart device application modeling based on Windows Phone 7 platform

Smart devices (Smartphone, Tablet PC, etc.) are becoming issues in the mobile market, and new platforms for the smart devices are emerging such as iOS and Android. Microsoft announced Windows Phone 7, a specialized platform supporting the function of the Smartphone to compete with other Smartphone platforms. Although Windows Phone 7 now supports only the Smartphone it is expected to support a variety of smart devices to compete with iOS and Android in the near future. Currently, it is difficult to develop applications for various smart devices upon a single platform because each smart device has its own hardware and user interface. To cope with this problem, a platform as well as a modeling environment must be extended to support various devices. In this paper, we move our focus to the extension of the modeling environment. To be more specifically we suggest the extended metamodel for modeling applications based on Windows Phone 7 using the UML extension mechanism. To do this, we analyze Windows Phone 7s features and classify them with respect to software elements and hardware resources. Therefore, software and hardware can be modeled independently and furthermore even if a new smart device based on Windows Phone 7 is introduced the modeling elements for the applications operated on the new device can be extended easily.

Extending UML Meta-model for Android Application

UML is a standardized general-purpose software modeling language. Using the UML, a developer can model any systems easily because the UML provides well-defined modeling concepts and notations to describe elements of a system. The UML provides a mechanism to communicate between a developer and others when they are involved in modeling a system. However, it does not provide delicate concepts to express peculiar features of a specific system. Thus, in order to cope with the problem, the UML provides the extension mechanisms. Each feature of a specific system can be described with the UML extension mechanisms. In this article, we propose a meta-model for developing an application operated on the Android platform using the UML extension mechanisms. Since the modeling elements for the Android platform do not be supported by the standard UML we are convinced that the extended meta-model will facilitate efficient modeling when developing an Android application.

Standard-Based Integrated Management System Implemented for Heterogeneous Distributed Systems in Naval Ship Combat Management System

In response to higher price tags of software applications due to costly development efforts to scale them up, how to re-use legacy systems has drawn much attention. The navy has standardized the open-architecture combat system for that reason. This study suggests a method to apply already developed software and the one yet to be developed to an AMSM-based open-architecture common service environment. The system presented here deals with common services for management and monitoring based on an open architecture, representing heterogeneous systems using abstract information models independent of the system under management. The proposed method enables management and monitoring over the system without being affected by heterogeneous environment.

Techniques to generate UTP-based test cases from sequence diagrams using M2M (Model-to-Model) transformation

In order to conduct model based testing of sequence diagrams, test cases should be automatically generated from sequence diagrams. To this end, the scenarios expressed by the sequence diagrams are identified and paths that satisfy the test coverage are extracted to generate test information. However, since sequence diagrams express loop, optional, and alternative information using combined fragments, an automatic generation of test cases from sequence diagram is complicated. To solve this problem, in this paper, a model transformation process that transforms from sequence diagrams into activity diagrams is defined, the scenarios of sequence diagrams are represented in the form of control flows by the transform process. Next, test coverage is applied to generate test cases. The process to generate test cases from sequence diagrams is shown through case studies.

M2M Transformation Rules for Automatic Test Case Generation from Sequence Diagram

In model-based testing using sequence diagrams, test cases are automatically derived from the sequence diagrams. For the generation of test cases, scenarios need to be found for representing as a sequence diagram, and to extract test paths satisfying the test coverage. However, it is hard to automatically extract test paths from the sequence diagram because a sequence diagram represents loop, opt, and alt information using CombinedFragments. To resolve this problem, we propose a transformation process that transforms a sequence diagram into an activity diagram which represents scenarios as a type of control flows. In addition, we generate test cases from the activity diagram by applying a test coverage concept. Finally, we present a case study for test cases generation from a sequence diagram.

Measuring Method of Worst-case Execution Time by Analyzing Relation between Source Code and Executable Code

Embedded software has requirements such as real-time and environment independency. The real-time requirement is affected from worst-case execution time of loaded tasks. Therefore, to guarantee real-time requirement, we need to determine a programs worst-case execution time using static analysis approach. However, the existing methods for worst-case execution time analysis do not consider the environment independency. Thus, in this paper, in order to provide environment independency, we propose a method for measuring tasks execution time from the source codes. The proposed method measures the execution time through the control flow graph created from the source codes instead of the executable codes. However, the control flow graph created from the source code does not have information about execution time. Therefore, in order to provide this information, the proposed method identifies the relationships between statements in the source code and instructions in the executable code. By parameterizing those parts that are dependent on processors based on the relationships, it is possible to enhance the flexibility of the tool that measures the worst-case execution time. ☞ keyword : Worst-case execution time, Cycle table, Source code based execution time measurement

Software Product Line Development and Test Process Based on CVL

Software Product Line Engineering is a collection of techniques that analyze the commonalities and variabilities of the products within a product family and produce products using such information. In Software Product Line Engineering, construction of the correct core assets is very important. To accomplish this, the commonalities and variabilities must first be definitively identified, both to provide traceability between the core assets, and to guarantee the reliability of the products. This paper suggests software product line development and test processes based on CVL for the differentiation of commonalities and variabilities. The proposed approach enables correct building of the core assets through procedures to keep traceability and guarantee the reliability of the products.

H-IMA : IMA based Hybrid Platform Architecture for Improving Portability of Flight Software

Flight software is used in computers installed in satellites and requires real-time capacity and high reliability. Such requirements limit flight software to have dependency on operating environments, and it thus becomes necessary to be developed again and again each time new systems are built. Therefore, it is necessary to remove the dependency between the flight software and the operating environments, which can be achieved by improving the portability of flight software. To this end, the present invention is to suggest a platform architecture based on IMA architecture. Such architecture is a mixed architecture based on the implementations for two types of IMA architecture to maximize the portability. The architecture provided by the present invention can remove the dependency between the flight software and the operating environments.

Effect Relation-based Coverage and Test Case Generation for GUI Testing of iOS Applications

iOS applications refer to the apps operating on iOS, a mobile OS developed by Apple. As iOS provides graphic user interfaces based on touch screens, most of iOS apps support GUIs. GUIs become increasingly important for iOS apps. So are GUI tests. As GUI functions are performed by event handlers, faulty event handlers could cause defects in GUIs. Hence, this study detects faults in event handlers as a way to test GUIs for iOS apps, and suggests how to generate test cases by re-defining input domains of event handlers.

A Test Case Generation Method Based on Activity for Android Application Testing

Smartphones have features that users feel free to install/delete the program they want. Their emergence makes many developers rush into the Smartphone application development market. Thus, developing good applications quickly is becoming even more intense competition in the market. Because, however, the application development and deployment procedures are simple in the Android environments and anyone can participate in the development easily, applications not validated thoroughly are likely to be deployed. Therefore, a systematic approach that can verify Android-based applications with fewer burdens is required. In this paper, we propose a method that generates automatically GUI-based testing scenarios for the Android applications. The automated test scenario generation can reduce the time which the developer spends on testing, thus it can improve the productivity of the development in the testing phase.