• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.498-500
• /
• 2000

객체 지향 소프트웨어에 있어서, 테스팅의 중요성은 전통적인 소프트웨어의 개발에 있어서의 중요성과 크게 다르지 않다. 테스팅이 부적절하게 수행된 경우 프로그램의 버그를 성공적으로 검출 할 수 없으며, 소프트웨어 품질을 보장할 수 없다. 즉, 성공적인 소프트웨어를 위한 문제가 바로 테스팅이라 할 수 있다. 따라서 개발된 객체 지향 소프트웨어의 신뢰성을 향상시킬수 있는 객체 지향 테스팅 방법이 필요하다. 이 논문에서는 전통적인 소프트웨어 테스팅 기법과 객체 지향 특성을 결합하여 객체 지향 소프트웨어 테스팅을 위한 단위 설정을 위해 실시간 시스템에서 하나의 행위를 정의할 수 있는 객체 메소드의 결합에 대한 이벤트 그래프(Eent Gaph)와 제약적 메소드 시퀀스(M？ Sequence with Cnstraints)를 정의하고, 제약사항을 포함하는 이벤트 그래프와 메소드 시퀀스(sequence)를 정의하고, 제약사항을 포함하는 이벤트 그래프와 메소드 시퀀스(sequence)를 엘리베이터 시스템에 적용하여 객체 지향 실시간 시스템에 대한 객체 상태 행위 테스팅(object state behavior testing)을 통해 인트라 클래스 테스팅 및 인터 클래스 테스팅 기법을 제안한다.

• KIISE Transactions on Computing Practices
• /
• v.21 no.2
• /
• pp.132-137
• /
• 2015

A real-time system is a system wherein the behavior of the system depends not only on the input but also on the timing of the input. Timed automata is a widely used model for real-time system modeling and analysis. Model-based testing is employed to check whether the system under test (SUT) works according to the model specifications by using test cases generated from models that represent software requirements. In this paper, a case study was performed applying the timed automata based testing tools, UPPAAL-TRON, UPPAAL-COVER and SYMBOLRT, to the same system. Comparison of the testing approaches and tools is then made based on the results of the case study.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11c
• /
• pp.1613-1616
• /
• 2003

임베디드 시스템 개발과 임베디드 응용 소프트웨어 개발에 대한 관심이 높아지면서 이를 테스팅 하기 위한 기술과 테스팅 도구들의 도입이 확산되고 있다. 그러나 임베디드 시스템 테스팅은 여타 시험 검증 도구에 비하여 알고리즘의 정교성, 설계의 복잡성, 그리고 구현의 난이도 등으로 인하여 구현하기 쉽지 않은 것이 현실이다. 따라서 본 논문에서는 임베디드 시스템을 효율적으로 테스팅 하기 위해 타겟시스템 기반의 테스팅 방법을 제시하고, 테스팅을 위한 전체 시스템의 구성과 실시간 분석 방법을 제시한다. 이를 통해 임베디드 시스템을 테스팅 하기 위한 도구 구조를 분석하고 개발에 적용할 수 있도록 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.763-765
• /
• 2004

본 논문은 임베디드 시스템의 제한된 자원을 효율적으로 사용할 수 있는 임베디드 소프트웨어의 개발을 위한 성능 측정 도구를 제안한다. 제안하는 성능 측정 도구는 편리한 GUI를 제공하는 호스트-타겟(host-target) 기반의 테스팅 환경이다. 제안하는 테스팅 도구는 타겟 머신에 맞는 테스팅 코드 생성을 위한 파싱 엔진과 호스트-타겟간 소스 코드와 결과의 전송 및 테스팅 수행을 위한 에이젼트 모듈로 구성된다. 또한, 문자 스트링 형태의 저수준 테스팅 결과를 API 형태로 변경하는 데이터 처리기와 API 형태의 결과 정보를 그래픽 형태로 출력하는 레포트 생성기를 포함한다. 본 테스팅 도구는 개발자에게 레포트 뷰(view)를 제공하여 빠른 성능 분석과 코드 수정을 지원하며, 효율적이고 신뢰성 있는 임베디드 기반 소프트웨어 개발의 기회를 제공할 것으로 기대된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.04a
• /
• pp.665-668
• /
• 2017

임베디드 소프트웨어의 개발은 실제 어플리케이션이 수행되는 대상 시스템이 아닌 호스트 시스템에서 개발되기 때문에 개발 중 테스팅을 수행하기 어렵다. 또한 대상 시스템에서 어플리케이션이 실행될 때 결함 또는 오류가 발견되면 이를 재현하기 어렵다. 이러한 문제를 해결하기 위한 기존의 연구로는 RTOS 시뮬레이터를 사용하거나 모니터링 시스템을 추가하여 임베디드 소프트웨어의 동작을 확인한다. 하지만 RTOS 시뮬레이터는 기능 테스트만 가능하고 실직적인 시간 추정이 불가능하다. 또한 임베디드 소프트웨어에 모니터링 시스템을 추가하게 되면 어플리케이션의 동작에 영향을 주기 때문에 실시간 시스템의 제약 조건을 확인하기 어렵다. 따라서 본 논문에서는 임베디드 소프트웨어의 RIOS 기반 어플리케이션 구조를 제안하여 호스트 시스템에서 대상 시스템의 테스팅과 모니터링이 가능함을 보인다.

• Journal of KIISE:Software and Applications
• /
• v.33 no.4
• /
• pp.388-401
• /
• 2006

A tool for analyzing and testing software in real-time is required for the efficient development of highly reliable real-time mobile embedded software This too] requires various technologies, such as source code based white-box test and real-time system monitoring and control. The tool also should be designed to improve reusability and portability by considering the interaction with other kinds of real-time system. This paper identifies and analyzes the functional requirements for the test tool on real-time mobile embedded software and suggests an adequate tool architecture based on the collected requirements. It also suggests the specific implementation technology and architecture design pattern to support the tool's expandability and portability.

• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.4
• /
• pp.137-144
• /
• 2019

Testing maturity is critical to the system under development with lack of experience and skills in the acquisition of the weapon systems. Defects have a huge impact on important system operations. Sharing real-time information will lead to rapid command and mission capability in submarine. DDS(Data Distribution System) is a very important information sharing system and interface between various manufacturers or data formats. In this paper, we analyze data distribution characteristics of distributed data system to group data-specific systems and proposes a test case-generation method using path search of postorder and preorder which is a tree traversal in path testing method. The proposed method reduces 73.7.% testing resource compare to existing methods.

• Journal of KIISE:Software and Applications
• /
• v.35 no.3
• /
• pp.149-161
• /
• 2008

As Programmable Logic Controllers(PLCs) are frequently used to implement real-time safety critical software, testing of PLC software is getting more important. We propose a structural testing technique on Function Block Diagram(FBD) which is one of the PLC programming languages. In order to test FBD networks, we define templates for function blocks including timer function blocks and propose an algorithm based on the templates to transform a unit FBD into a flowgraph. We generate test cases by applying existing testing techniques to the generated flowgraph. While the existing FBD testing technique do not consider infernal structure of FBD to generate test cases and can be applied only to FBD from which the specific intermediate model can be generated, this approach has advantages of systematic test case generation considering infernal structure of FBD and applicability to any FBD without regard to its intermediate format. Especially, the proposed method enables FBD networks including timer function blocks to be tested thoroughly. To demonstrate the effectiveness of the proposed method, we use trip logic of bistable processor of digital nuclear power plant protection systems which is being developed in Korea.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.388-390
• /
• 2003

멀티미디어 시스템의 사용이 일반화되고, 그 영향범위가 넓어짐에 따라 이러한 시스템의 개발과 테스트는 매우 중요한 요소가 된다. 멀티미디어 시스템은 기존의 시스템과 달리 시간-의존적이고 연속적인 미디어를 포함하여 다양한 미디어를 통합한 컨텐츠 기반 실시간 시스템이며, 사용자와의 상호작용과 네트워킹이 중요한 요소라는 점에서 기존의 시스템과 다른 개발주기. 품질 평가 척도를 가지게 된다. 이에 본 논문은 멀티미디어 시스템이 어떻게 구성되어 있으며 그 특성이 무엇인지 분석하고, 이에 기반하여 기존의 시스템과 다른 시스템 개발주기, 품질평가 척도 및 이에 따라 요구되는 테스팅 영역에 대하여 제시하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2018.05a
• /
• pp.219-221
• /
• 2018

테스팅에서 발견하지 못한 결함은 시스템 운용 중 막대한 영향을 미친다. 국방에서 실시간 정보의 공유는 신속한 지휘결심과 임무능력으로 이어진다. 잠수함 분산 데이터 시스템(Data Distribution System)은 함의 운용술과 관련된 중요한 시스템 중 하나이므로, DDS의 데이터 연동 특성을 분석하고 효율적인 연동테스트 기법을 제시한다.