• KIPS Transactions on Software and Data Engineering
• /
• v.7 no.1
• /
• pp.1-8
• /
• 2018

Software testing is important to determine the reliability of the system, a task that requires a lot of effort and cost. Model-based testing has been proposed as a way to reduce these costs by automating test designs from models that regularly represent system requirements. For each path of model to generate an input value to perform a test, meta-heuristic technique is used to find the test data. In this paper, we propose an automatic test data generation method using a slicing method and a priority policy, and suppress unnecessary computation by excluding variables not related to target path. And then, experimental results show that the proposed method generates test data more effectively than conventional method.

• Journal of KIISE
• /
• v.43 no.9
• /
• pp.1015-1025
• /
• 2016

Currently, software testing is becoming increasingly important in the industrial field and a large body of research supports the improvement of efficient software testing. Model-based testing is generally used to formalize user requirement data for test design. Complex system that includes loop and concurrency has a high probability of path explosion problem. Specially, as threads are added to concurrency, test scenarios have also increased exponentially. However, it is difficult to solve this problem using existing techniques. In this paper, we propose novel path-search technique that focuses on behavioral features of concurrency path in order to avoid path explosion problem. A system that contains concurrent paths is represented by activity diagram in case study section. Efficiency of our study is shown through comparison with several generated test scenarios of other studies. The result indicate that our approach is efficient for finding faults in loop and concurrency with fewer test scenario.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.1877-1878
• /
• 2008

고품질, 고 신뢰도를 지향하는 미래 지능형 전력시스템에 대한 기대와 함께 전력 기기 및 설비의 디지털화에 관심이 집중되면서, 전력시장에서는 전력정보의 양방향 교환 표준을 위한 공통정보모델(CIM : Common Information Model)의 개발 및 활용이 새로운 화두로 부상하였다. CIM은 차세대 전력시스템과 미래형 부가서비스 등의 전반적인 운영측면에서 혁신을 이루는데 사용할 수 있도록 표준화된 데이터교환 모델이다. 이는 전력시스템 내 모든 다양한 객체(변전소, 송전선, 변압기, 차단기, 설비자산, 작업지시, 작업원 등)들이 어떻게 상호 연결되는지를 표현하는 방식이다. 최근 CIM/GID(GID : Generic Interface Definition)에 대한 관심이 고조되면서 CIM/GID를 어떻게 도입하고 활용할 것인가에 대한 논의가 활발하다. 그 활용 방안의 일환으로 개발된 시스템에 대한 상호 운용성 테스트를 수행함으로써 제품 또는 시스템의 표준화 준수 여부와 활용성에 대한 검증이 가능하다. CIM/GID 상호운용성 테스트는 UCA International Users Group에서 가입 회원들을 대상으로 지속적으로 진행되고 있다. 본 논문에서는 미국 클리블랜드에서 2003년 11월 18일$\sim$20일 사이에 진행되었던 5차 CIM/GID 상호운용성 테스트 결과를 토대로 CIM/GID와 CIM XML의 상호 운용성 테스트 방안을 소개하고자 한다.

• 한국경영정보학회:학술대회논문집
• /
• 2008.06a
• /
• pp.246-252
• /
• 2008

선행적이며 지속적인 테스트를 강조하는 테스트 주도개발이 시스템의 품질과 개발 생산성을 제고한다는 연구가 보고되고 있다 [4]. 그러나 대부분의 연구는 실험실 환경 또는 소규모 프로젝트를 대상으로 수행하였고, 개발 현장에서의 효과를 검증한 결과는 드물다 [2, 5, 18]. 본 연구는 비즈니스 환경의 대규모 프로젝트에 테스트 주도의 개발방법을 적용한 경험과 교훈을 보고한다. 다양한 데이터, 업무간 복잡한 연계, 철저한 검증의 필요성과 같은 전사적 응용체계의 요구사항은 기존의 테스트 주도 개발방법을 그대로 적용하기 어렵게 한다. 따라서 본 연구에서는 테스트 주도 개발방법의 전사적 적용을 위한 프레임워크를 제안하고, 이를 기반으로 한 테스트 지원도구를 개발하였다. 도구는 GUI 기반의 테스트 관리 화면을 제공하고 관계형 데이터베이스에 테스트 데이터를 저장하여 테스트 케이스의 생성, 테스트 실행, 그리고 테스트 데이터의 관리를 지원하였다. 도구는 또한 스크립트 방식이 아닌 저장된 테스트 데이터를 이용한 회귀 테스트의 실행을 가능케 하였다. 지원도구를 이용한 전사적 테스트 주도 개발은 테스트 결과의 실시간 파악과 빈번한 변경관리를 용이하게 하는 것으로 평가되었다. 또한 전사적 테스트 주도 개발방법의 보편적인 적용을 위해서는 전통적 개발방식에 익숙한 개발자들의 새로운 접근방법에 대한 거부감 해소, 테스트 주도 개발을 고려한 개발체계와 프로젝트 관리, 그리고 개발자 행태와 프로젝트 특성을 감안한 지원도구에 대한 후속 연구의 필요성이 식별되었다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.28 no.4
• /
• pp.204-212
• /
• 2001

본 논문에서는 조합논리회로의 테스트 컴팩션을 위한 두 가지 효율적인 알고리즘을 제안한다. 제안된 알고리즘들은 각각 동적인 컴팩션 기법과 정적인 컴팩션 기법을 사용하고 있으며, 실험을 위해 기존의 ATPG시스템인 ATALANTA에 통합 구현하였다. ISCAS85와 ISCAS89(완전스캔 버전) 벤치마크 회로에 대한 실험에서 본 시스템은 기존에 발표된 다른 컴팩션 알고리즘에 비하여 보다 작은 테스트 집합을 보다 빠르게 생성하였으며, 실험 결과를 통하여 제안된 알고리즘들의 유효성을 입증할 수가 있었다.

• 전기의세계
• /
• v.37 no.1
• /
• pp.55-62
• /
• 1988

본 연구에서는 현재 IBM PC등에 사용되는 8088프로세서의 16비트버젼인 8086프로세서의 ICE를 설계 제작하였다. 8088프로세서와 8086프로세서는 그 내부 기능이 동일하기 때문에 어셈블러나 링커등의 소프트웨어 개발장비들을 IBM PC에서 지원받을 수 있으므로 IBM PC에 연결된 ICE는 전체적으로 하나의 MDS시스템을 구성할 수 있다. 제작된 ICE는 1) 테스트하려는 시스템의 메모리에 대한 읽기 및 쓰기, 2) 테스트프로그램의 실제 조건에서의 수행, 3) 디버깅 기능, 4) ICE의 메모리 영역을 테스트하려는 시스템에서 활용하도록하는 기능 등을 수행할 수 있도록 하였다. 또 8086프로세서는 싱글프로세서모드와 멀티프로세서모드의 두가지 동작 모드가 있는데 싱글프로세서모드에서 동작될 수 있도록 설계되었으며 ICE의 기능 수행을 위한 논리 회로의 구성과 이해에 주안점을 두었다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.11a
• /
• pp.1511-1514
• /
• 2005

최근 부각되고 있는 기업 업무 프로세스 통합을 위해 EAI(Enterprise Application Integration) 시스템을 도입하고 있다. 하지만 아직 EAI 시스템의 품질을 보증하기 위한 테스트 방법이 제공되고 있지 않는 실정이다. 본 논문에서는 EAI의 기능을 이루는 요소별로 분리하고, 각각 분리된 기능별로 테스트를 수행하는 방법을 제시하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.451-453
• /
• 2001

본 논문에서는 인터넷 전화와 인터넷 QoS 표준을 따르는 개방되고 지능적인 분산 시스템을 연구하기 위한 Doit(“두-잇”이라 부름: Distributed Open Intelligent Telephony) 테스트베드의 구현에 대해 기술한다. Doit 테스트베드는 인터넷에 접속하는 단말이면 간편하게 인터넷 전화가 가능한 분산 시스템을 연구하고 향후 고성능의 확장성있는 시스템에 대한 연구 기반으로 사용하는 데 그 목적이 있다.

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

내장형 시스템의 기능이 복잡해지면서, 내장형 소프트웨어에 대한 테스팅이 중요하게 인식되고 있다. 특히 원자력 발전소 계통 기기와 같이 안전에 대한 치명도가 높은 Safety-Critical Embedded System일수록 탑재되는 내장형 소프트웨어에 대한 철저한 테스팅이 요구되기 때문에 본 논문에서는 대상 시스템에 탑재되는 소프트웨어 테스트를 중심으로 하여 Safety-Critical Embedded System을 위한 테스트 프로세스 및 이에 필요한 테스팅 기법을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.193-195
• /
• 2004

유비쿼터스 환경에서 모든 이동 객체들의 정확한 위치를 추적하는 것은 현실상 불가능하므로, 현실적인 대안으로 위치 추적 방법을 사용 찬다. 현재 위치 추적 방법들은 많이 개발되고 있지만 이것을 비교 실험할 수 있는 환경이 미흡한 실정이다. 이에, 본 논문에서는 여러 가지 위치 추적 방법을 비교 실험 할 수 있는 테스트 베드 시스템을 구현하였다. 또한 본 논문에서 구현한 테스트 베드 시스템에서 현재 나와 있는 여러 가지 위치 추적 방법을 실험을 통해 비교, 분석해 보았다.