• Journal of the Korea Society of Computer and Information
• /
• v.13 no.2
• /
• pp.19-29
• /
• 2008

In case of unit testing, White-box test can be used to closely check source code and to analyze logic and statement errors. On the other hand, in case of function testing of system level, Black-box test can be mainly used to compare actual and expected results by inputting test data because the scale of function is large. This Black-Box test in system testing level has problem in tracing errors in source code when we find errors. Moreover applying White-box test is not easy for system testing level because the levels of test target are different. Therefore this paper suggests the vertical test method of a practical and integrated system level which can checks up to source code level using White-box test style although it aims to test the highly abstract level like a system function. In addition, the experiment explains how to apply the vertical test by displaying an example which traces from UML specification model to the source code and also shows efficiency of error trace.

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.31 no.5
• /
• pp.40-45
• /
• 2013

• Journal of Information Processing Systems
• /
• v.4 no.1
• /
• pp.33-40
• /
• 2008

Traceability has been held as an important factor in testing activities as well as model-driven development. Vertical traceability affords us opportunities to improve manageability from models and test cases to a code in testing and debugging phase. This paper represents a vertical test method which connects a system test level and an integration test level in testing stage by using UML. An experiment how traceability works to effectively focus on error spots has been included by using concrete examples of tracing from models to the code.

• 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 the Institute of Electronics and Information Engineers
• /
• v.49 no.10
• /
• pp.217-230
• /
• 2012

This paper propose interacting test programming methods between test equipment and hardware unit to verify function and performance of the hardware unit under test. Proposed test program can minimizes the risk of failures when the unit is mounted on the aircraft by testing and verifying the unit under the worst stress condition. Also, Object oriented design using UML make it easy to apply in other equipments. Test program consists of architecture package and hardware package. Architecture package is in a role for system management, log analysis, message receiving and message analysis. Messages that are used by system management define messages for testing and defined messages is sent and received to test equipment through Ethernet. Hardware package is in a role for hardware management that is needed to be tested and is related to a system. Hardware to be tested is divided into internal test and transmission test. Internal test inspects hardware itself and reports the test results to the test equipment. Transmission test inspects communication device by sending or receiving data. All kinds of test is done in the worst condition of the test unit executing in parallel. Each device is tested at least 482 times and at most 15,003 times about one hour. Test program is utilized in hardware reliability test like as environmental test or EMI test.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.10 no.4
• /
• pp.20-29
• /
• 2007

The engagement control software embedded in the weapon control computer of the fire control center for air defense missile system is large-scale real-time software. The use of typical software development methodologies is not appropriate to develop such large-scale embedded software in terms of reusability, reliability, and productivity for the reason that it is significantly complicated, and highly dependent on hardware platforms and developers. In this paper, a model-based software architecture using components based on UML 2.0 for the engagement control software is presented in order to solve these problems. This software architecture is verified using the black-box test, the scenario-based test, and the Ethernet packet monitoring test methods. The results demonstrate that the developed software architecture can be employed to enhance reusability, maintainability, and productivity of large-scale embedded software.

• Proceedings of the IEEK Conference
• /
• 2008.06a
• /
• pp.1213-1214
• /
• 2008

In this paper, we describe introduction of GNSS Test & Evaluation Facility developing in "Korean aerospace research Institute" and UML based design results of GNSS Augmentation System Test & Evaluation Simulator especially.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2001.11a
• /
• pp.525-530
• /
• 2001

인터넷 사용자의 급속한 증가와 통신망의 고속화는 교육 분야에 있어서도 많은 변화를 가져왔다. 최근 주목을 받는 분야 중에 하나는 인터넷 기반의 가상대학이다. 가상대학에서 해결해야 할 중요한 부분은 학생의 수학 능력을 평가하는 시스템이다. 본 논문에서는 UML를 이용하여 자동화된 문제출제시스템과, 출제된 문제를 학습자에게 출력하는 시스템을 설계하고 구현한다. 편리한 사용자 인터페이스를 가지고, 멀티미디어를 가미한 문제 출제 시스템으로의 확장성을 제공하는 동시에 현재 강의 시스템과 병행하여 최대한의 교육 효과를 내는데 그 목적이 있다.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.9 no.2
• /
• pp.117-125
• /
• 2014

The EtherCAT protocol has become a very promising alternative for real-time industrial application due to its ability to eliminate uncertainties in the Ethernet. However, the extended markup language (XML) for the EtherCAT network system, which is required in the design, lacks systematic development to take advantage of model transformation techniques. This paper focuses on the system development procedure of the EtherCAT-based encoder system using the CANopen over EtherCAT (CoE) protocol. UML modeling is being adapted to design for XML of EtherCAT-based encoder system. To this purpose, this paper analyzes the object dictionary (OD) of a commercial encoder and CANopen over EtherCAT. A UML diagram is then designed based on the analysis, and XML is generated through the designed UML diagram. Finally, an experimental test_bed for the EtherCAT-based encoder system is implemented and its performance is compared with a commercial encoder.

• Journal of Digital Contents Society
• /
• v.14 no.3
• /
• pp.391-400
• /
• 2013

IMO developed e-navigation implementation plan which is a new paradigm of vessel safety navigation using harmonized information technology. S-100 standard for electronic navigational chart is also adopted as one of e-navigation strategies. In S-100 framework, not only geographic features of electronic chart but every safety related objects can be expressed by UML so that can be provided by web services. This paper research to test S-100 web service for casualty information. It is processed by modeling with UML, converting XML document by XML schema. Finally, the XML data is represented by web-based application.