• 한국컴퓨터정보학회논문지
• /
• 제13권2호
• /
• pp.19-29
• /
• 2008

단위 시험은 모듈의 소스 코드를 면밀히 검토하면서 논리적 오류나 문장 오류 등이 있는지 분석하는 화이트박스 시험이 가능하다. 반면 시스템 수준의 기능 시험은 규모가 크기 때문에 시험 데이터를 입력한 후 출력된 결과가 예상 결과와 같은지 비교하는 블랙박스 시험이 주를 이룬다. 이러한 시스템 시험 단계에서 사용하는 블랙박스시험은 오류를 발견하더라고 수정을 위해 소스 코드를 추적하기 어려운 문제점이 있다. 뿐만 아니라 시스템 시험 단계에 화이트박스 시험을 사용하는 것은 시험 대상의 추상 수준 달라 쉽지 않다. 이에 본 논문에서는 시스템의 기능처럼 높은 추상 수준을 시험 대상으로 하되 소스 코드 수준까지 화이트박스 스타일로 시험할 수 있는 현실적이고 통합된 시스템 수준의 수직적 시험에 대해 제안한다. 그리고 어떻게 수직적 시험을 적용하는지 UML명세 모델에서 소스코드까지 오류를 추적하는 방법을 사례를 통해 설명하고 더불어 오류 추적의 효과성을 보였다.

• 정보과학회지
• /
• 제31권5호
• /
• pp.40-45
• /
• 2013

• Journal of Information Processing Systems
• /
• 제4권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.

• 한국인터넷방송통신학회논문지
• /
• 제13권1호
• /
• pp.129-134
• /
• 2013

기존 연구실 연구에서는 메타모델 기반의 순차적 다이어그램을 통한 테스트케이스 생성의 자동화가 초점이었다. 하지만 메타모델 기반의 스테이트 다이어그램을 통한 테스트케이스 자동 생성에 관한 메커니즘에 관한 연구가 부족하다. 그래서 본 논문에서는 Model Driven Architecture(MDA) 메커니즘인 메타모델과 모델변형기법을 채택하여, UML내 스테이트 다이어그램을 통해 테스트케이스를 자동 추출메커니즘을 제안한다. 이를 위해 테스트케이스 생성단계 프로세스를 정의하고 각 단계별 메타모델 정의와 모델간의 변형 규칙을 정의한다. 제안한 기법을 통해 임베디드 소프트웨어 테스트 설계 및 테스트케이스 추출비용과 시간을 줄이고 임베디드 소프트웨어의 품질을 높이고자 한다.

• 전자공학회논문지
• /
• 제49권10호
• /
• pp.217-230
• /
• 2012

본 논문에서는 하드웨어 장비의 성능 및 기능을 검증하기 위한 방법으로 시험장비와 하드웨어 장비간의 연동시험을 하기 위한 점검 프로그램 설계 방법을 제안한다. 제안하는 점검 프로그램은 장비 스트레스를 최악의 조건에서 기능을 검증하여 사전에 고장 유무를 확인하고 수리함으로써, 비행체에 탑재하여 발생하는 고장률을 최소화하는 방안이다. 그리고 UML을 이용하여 객체 지향적으로 소프트웨어를 설계함으로써 다른 장비에 쉽게 적용할 수 있다. 점검 프로그램은 Architecture package와 Hardware package로 구성되어 있다. Architecture package는 시스템 관리, 로그분석, 메시지 수신 및 분석하는 역할을 한다. 시스템 관리에서 사용하는 메시지는 점검하기 위한 정보를 정의하고, 정의된 메시지는 이더넷으로 시험장비와 송수신한다. Hardware package는 점검해야 하는 하드웨어 및 시스템 관련 하드웨어를 관리하는 역할을 한다. 점검해야 하는 하드웨어는 내부 점검과 송수신 점검으로 구별되어 있다. 내부 점검은 하드웨어 자체적으로 점검하여 그 결과를 시험장비로 전송하는 방법이다. 송수신 점검은 통신디바이스 점검으로써 데이터를 전송하거나 수신하여 점검하는 방법이다. 모든 점검은 병렬적으로 점검함으로써 최악의 조건에서 장비의 고장유무를 확인한다. 시험한 결과는 약 1시간 동안에 디바이스들은 적게는 482번에서 많게는 15003번 점검하는 것을 확인하였다. 점검 프로그램은 하드웨어 장비의 신뢰성을 검증하는 환경/EMI 시험에 사용한다.

• 한국군사과학기술학회지
• /
• 제10권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.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2008년도 하계종합학술대회
• /
• 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.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2001년도 추계학술발표논문집
• /
• pp.525-530
• /
• 2001

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

• 대한임베디드공학회논문지
• /
• 제9권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.

• 디지털콘텐츠학회 논문지
• /
• 제14권3호
• /
• pp.391-400
• /
• 2013

UN산하 국제해사기구에서는 선박의 안전에 대해 IT기술을 적극적으로 수용한 e-navigation 전략을 수립하면서 전자해도의 표준규격도 S-100으로 최신화 하였다. S-100은 지도상의 피쳐에 대해 UML를 사용하여 표현하고 있으며, 지도 이외의 안전정보에 대해서도 웹서비스가 가능한 체계이다. 본 논문에서는 해양사고정보 데이터를 대상으로S-100표준의 웹서비스를 실험해 본다. 사고정보데이터를 분석하여 UML로 모델링하고, 모델링 결과에 대해 XML 스키마를 정의한 후, XML 형태로 변환한다. 변환한 데이터는 구글 맵기반으로 표시한다.