• Journal of Advanced Navigation Technology
• /
• v.27 no.2
• /
• pp.228-234
• /
• 2023

As the increasing demand for high-quality software, there is huge requiring for quality certification of international standards, industrial functional safety (IEC 61508), automotive (ISO 26262), embedded software guidelines for weapon systems, etc., in the industry. Software companies are very difficult to systematically acquire the quality certification in terms of cost and manpower of Startup, venture small-sized companies. For their companies one test case automatic generation is considered as a core technique to evaluate or improve software quality. This paper proposes a test case automatic generation method based on the design decision table for system and software design verification. We apply the proposed method with OMG's standard techniques of metamodel and model transformation for automatically generating test cases. To do this, we design the metamodels of design decision table (Model) and test case document (Text) and define model transformation to automatically generate test cases, which will expect to easily work MC/DC coverage.

• Journal of Korea Multimedia Society
• /
• v.11 no.9
• /
• pp.1286-1295
• /
• 2008

Colors of 2D animation characters are generally assigned by art directors' subjective color sense. Even same characters should be colored differently according to the mood of animation scenes. In this study, we introduce the model for automatic color transformation of characters by using neural network. It can not only create automatically colors of characters which are good matched with 2D animation scenes but also reproduce art directors' subjective color sense. Specifically, this neural network model is initially made to learn the patterns of color change between basic colors of characters and colors of characters in various scene. Then if you know basic colors of some characters, you can derive colors of characters under other light source environments using the learned neural network. Subjective ratings(which is adopted to verify the proposed model) by color experts on the automatically transformed colors showed that the colors created by the model tended to be evaluated natural.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.5
• /
• pp.53-67
• /
• 2008

At present, for reuse of similar domains between feature model and class model. researches of transformation at the model level and of transformation using ontology between two models are being made. but consistent transformation through metamodel is not made. And the factors of modeling transformation targets are not sufficient, and especially, automatic transformation algorithm and supporting tools are not provided so reuse of domains between models is not activated. This paper proposes a method of transformation from feature model to class model using ontology on the metamodel. For this, it re-establishes the metamodel of feature model, class model, and ontology, and it defines the properties of modelling factors for each metamodel. Based on the properties, it defines the profiles of transformation rules between feature mndel and ontology, and between ontology and class model, using set theory and propositional calculus. For automation of the transformation, it creates transformation algorithm and supporting tools. Using the proposed transformation rules and tools, real application is made through Electronic Approval System. Through this, it is possible to transform from the existing constructed feature model to the class model and to use it again for a different development method. Especially, it is Possible to remove ambiguity of semantic transformation using ontology, and automation of transformation maintains consistence between models.

• 제어로봇시스템학회:학술대회논문집
• /
• 1988.10a
• /
• pp.511-517
• /
• 1988

Movement order program of robot operating program is generally made by teach-in method. Therefore in most cases it is sufficient as long as the robot system shows a reguired repeatability for the working conditions. But the trend in the robot application moves to the automatic generation of the working programs. A mathematical robot model similar to the reality is necessary for the analysis of the kinematic transformation of the robot system. The purposes of this paper are to make a better describing form and to suggest an automatic algorithm for kinematic parameter identification.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.13 no.1
• /
• pp.129-134
• /
• 2013

Previous research is focus on testcase generation automation using message sequence diagram based on metamodel. but that research is not enough for testcase genaeration automation using state diagram based metamodel. so in this paper is adopt Model Driven Architecture (MDA) mechanism for using metamodel and model transformation. and we suggest testcase automation mechanism using state diagram in UML. we will decrease cost of embedded software design and testcase genaration and increase quality of embedded software using metamodel mechanism.

• Journal of Information Technology Services
• /
• v.5 no.2
• /
• pp.179-188
• /
• 2006

MDD/MDA which recently raising its head is technology that increase software development productivity through automatic transformation form higer abstract model into lower abstract model, or from model to code. This paper analyzes the effect on productivity by measuring Function Point per MM(man-month) in a software development project which performed in CBD methodology, and introduce the method of applying MDD/MDA technology in the project.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.13 no.1
• /
• pp.63-70
• /
• 2013

In previous research, we suggested a business process structured query language(BPSQL) for information extraction and retrieval in the business process framework, and used an existing query language with the tablization for each layer within the framework, but still had a problem to manually build with the specification of each layer information of BFP. To solve this problem, we suggest automatically to build the schema based business process model with model-to-text conversion technique. This procedure consists of 1) defining each meta-model of the entire structure and of database schema, and 2) also defining model transformation rules for it. With this procedure, we can automatically transform from defining through meta-modeling of an integrated information system designed to the schema based model information table specification defined of the entire layer each layer specification with model-to-text conversion techniques. It is possible to develop the efficiently integrated information system.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.27 no.10
• /
• pp.1748-1753
• /
• 2003

This paper describes the forming of fine gear housing using RP system. In order to apply 3D model formed through CAD software to RP system, it is necessary of transforming 3D model into STL file format. Besides, when the same shape is formed repetitively, we must solve the program that the shape accuracy of prototype is irregular. Therefore, we will make an experiment on influence of 3D model, file transformation and prototype on facetres, AutoCAD system value. On the basis of experimental result, we will develop an automatic file transformation program for RP. In the final process, we will manufacture on a better prototype according to the experiment result of fine gear housing.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.18 no.9
• /
• pp.2349-2357
• /
• 1994

This paper presents a facial expression transformation algorithm and drawing rule generation algolithm for a portrait drawing robot which was developed for the '93 Taejeon EXPO. The developed algorithm was mainly focused on the robust automatic generation of robot programs with the consideration that the drawing robot should work without any limitation of the age, sex or race for the persons. In order to give more demonstratin effects, the facial expression change of the pictured person was performed.

• Korean Journal of Remote Sensing
• /
• v.17 no.2
• /
• pp.121-129
• /
• 2001

A DEM(digital elevation model) is generated from a SPOT panchromatic stereo-pair using automated algorithms over a 8 km$\times$10 km region around Mokpo city. The aims are to continue the accuracy assessment over diverse conditions and to examine the applicability of a SPOT DEM for coastal disaster monitoring. The accuracy is assessed with respect to three reference data sets: 10 global positioning system records, 19 leveling data, and 1:50,000 topography map. The planimetric error is 10.6m r.m.s. and the elevation erroer ranges from 12.4m to 14.4m r.m.s.. The DEM accuracy of the flat Mokpo region is consistent with that over a mountainous area, which supports the robustness of the algorithms. It was found that coordinate transformation errors are significant at a few meters when using the data from leveling and topographic maps. The error budget is greater than the requirements for coastal disaster monitoring. Exploiting that a sub-scene is used, the affine transformation improves the accuracy by 50% during the camera modeling.