• Review of KIISC
• /
• v.13 no.6
• /
• pp.25-36
• /
• 2003

정보보호시스템 평가 인증 제도는 사용자들이 신뢰된 인증제품을 사용할 수 있도록 평가기준의 등급별 요구사항을 근거로 평가하여 정보보호시스템에 구현되어 있는 보안기능의 신뢰성을 보증하는데 있다. 본 연구에서는 정보보호제품의 시험 커버리지 보증을 위한 시험케이스 생성에 관한 연구로서, 평가기준에서 요구되는 시험 커버리지를 분석하고 이를 만족시키기 위한 시험케이스 생성 방법을 제시함으로써 보증성을 향상시키고자 한다.

• KIPS Transactions on Software and Data Engineering
• /
• v.3 no.6
• /
• pp.201-214
• /
• 2014

In this paper, we propose a test case generation method adequate to destructive test of the BLDC(Brush Less Direct Current) motor controller used for the MDPS(Motor Driven Power Steering) system embedded in an automobile. The proposed method is a modified CTM(Classification Tree Method). CTM generates test cases assuming that all inputs are equally important. Therefore, it is very hard to generate test cases for extreme situations. To overcome the drawback and generate test cases specialized for destructive test. a modified CTM that compensates the limitation of traditional CTM is proposed. The proposed method has an advantage that it can intensively generate the test scenarios adequate to extreme situations by combining the test cases generated by the transitional CTM the while keeping the merit of the traditional CTM. The test scenarios for destructive test for the MDPS system embedded in a commercial automobile are generated utilizing the proposed method. The effectiveness of the proposed algorithm is verified through the test.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.2
• /
• pp.232-241
• /
• 1999

기존의 연구는 FSM을 기본으로 제어흐름만을 분석하거나 시험목적을 시험열 생성 단계에서 고려하지 않음으로써 시험열의 실제 적용에 있어 많은 문제점을 갖는다. 따라서 이 연구에서는 SDL로 기술된 프로토콜 명세서를 시멘틱 모델인 LTS로 변환 후 LTS로부터 서브투어 단위로 시험열을 생성하였다. 그리고 생성된 시험열을 TTCN으로 변환하고 단위 테스트를 위한 추가 정보로서 프리앰블, 포스트앰블, 리셋 정보등을 LTS로부터 생성하였다. 또한 LTS로부터 한 노드에서 전이 가능한 모든 경로를 트리로 표현함으로서 향상된테스트 커버리지를 갖는 서브투어를 생성하였으며 SDL을 시맨틱 모델인 STS로의변환 EH한 기존의 입력과 출력만을 고려하는 FSM에서 발생하는 비결정성 문제를 해결할 수 있다. 따라서 이 연구에서의 테스트 목적이 고려된 TTCN 표현의 테스트 케이스 생성은 적합성 시험을 위한 테스스 케이스의 실제 적용 및 프로토콜 구현의 생산성을 높일 수 있으며 테스팅 환경의 기반을 제공한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.553-555
• /
• 2001

기업형 정보 시스템을 개발하는 데 클라이언트 계층, 어플리케이션 서버 계층, 데이터베이스 계층으로 구성된 3계층 아키텍쳐가 널리 사용되고 있다. 따라서 기업형 컴포넌트의 올바른 행위를 시험하기 위해서는 3계층 아키텍처를 고려한 시험 기법이 요구된다. 하지만 기존의 대부분의 컴포넌트 시험 기법들은 클라이언트 계층과 어플리케이션 서버 계층 사이의 관계만을 대상으로 하고 있어서 기업형 컴포넌트 시험에 부족하다. 논문에서는 기업형 컴포넌트의 시험을 위해 클라이언트 계층과 어플리케이션 서버계층 간의 관계만이 아니라 어플리케이션 서버계층과 데이터베이스 서버계층과의 관계를 포함한 시험 기법을 제안한다. 이를 위해 3계층 아키텍쳐를 반영하는 시험모델을 제안했으며 UML/OCL를 컴포넌트의 명세로 사용하여 시험모델을 추출한 뒤 자동으로 시험을 수행하는 시험 환경을 개안했다. 제안된 시험 환경은 일반적인 시험 단계의 뒷부분으로 테스트 케이스를 분석하여 생성하는 것보다는 생성된 시험 사료를 수행시켜 자동으로 시험 과정을 수행하는데 관심을 두고 있다. 제안된 시험환경은 기존의 연구와 달리 3계층 아키텍처를 반영하고 산업체 표준인 UML/OCL을 이용하므로 기업형 응용프로그램의 생산성을 증가시켜 줄 것으로 보인다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2018.01a
• /
• pp.25-28
• /
• 2018

본 논문에서는 강화학습을 통한 게임 테스트 자동화를 제안한다. 게임 테스트의 일부가 게임을 플레이라는 것과 강화학습에 기반을 둔 인공 신경망 모델들이 게임플레이에 많은 성과를 거둔 것에 착안하여 테스트 케이스 자동 생셩 및 기계학습을 통한 테스트 자동화를 연구하였다. 테스트 관리자를 두어 게임 요소에 필수적인 테스트 케이스를 데이터 조합으로 생성하고, 테스트 케이스를 수행할 인공지능을 기계학습으로 작성하여 자동화 유지비용을 절감한다. 이 모델을 소형 게임에 시험적으로 적용하였고, 정상 작동을 확인하였다.

• The KIPS Transactions:PartD
• /
• v.8D no.6
• /
• pp.691-698
• /
• 2001

Component-based development methods are regarded as one of the most important tools for us to cope with ever-increasing software complexity and, at the same time, to improve productivity in software development. This paper presents how to generate test-cases for integrated software from those of member components and how to validate composition of components, by the analysis of domain relations of components. This paper shows the applicability of the proposed technique by the real experiment. This study is based on the dataflow systems architecture and process components, and the technique developed here is an application of domain testing technique.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.04a
• /
• pp.1251-1254
• /
• 2012

본 논문은 Gary E. Mogyorodi[1]가 제시한 기법을 기반으로 Use-Case Approach 접목을 통해 테스트케이스 추출을 제안하고자 한다. 최근 이슈가 되고 있는 임베디드 시스템은 기존의 결정적 소프트웨어와 달리 비결정적, 실시간 또는 병렬적 시스템이다. 그래서 이러한 복잡한 시스템을 모델링 하기 위해서, 메시지 순차적 다이어그램을 확장을 통해 해결하고자 한다. 또한 Gary E. Mogyorodi[1]가 제시한 기법과 확장된 메시지 순차적 다이어그램을 접목을 통해 Test Case 를 생성하기 및 추출하고자 한다. 이 테스트케이스로 선 시험함으로써 실제 개발과 구현단계에서 오류를 참조하여 시간과 비용을 줄이고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.161-163
• /
• 2012

웹 기반 서비스의 수요가 급속히 증가함에 따라, 다양한 분야의 웹 어플리케이션이 개발되고 있으며 기능 요구 사항도 복잡해 지고 있다. 이에 따라, 구현된 소프트웨어의 복잡도가 증가되어 기능 검증을 위한 시험의 중요성이 대두되고 있으나, GUI를 기반으로 하는 웹 어플리케이션의 특성 때문에 사용자 관점에서 다양한 기능시험을 수행하기 위해서는 많은 노력과 시간이 필요하다. 특히 최근에는 과거와 달리 다양한 브라우저가 사용됨에 따라, 다양한 브라우저 상에서의 웹 어플리케이션 기능시험을 필수적으로 해야 하기 때문에 시험 수행 시간을 줄일 수 있는 시험방안이 절실히 요구되고 있다. 본 논문에서는 공개 소프트웨어인 GUI 시험 자동화 도구를 활용하고, 테스트 자동화를 위한 테스트 케이스를 생성하여 다수의 브라우저 환경에서 동시에 자동으로 기능시험을 수행할 수 있게 함으로써, 시험 효율성을 극대화하기 위한 웹 어플리케이션 시험 자동화 방안을 제안한다. 실제 사례적용을 통하여, 시험 시간을 획기적으로 단축시키고, 4개의 브라우저에 대하여 동시 시험 수행이 가능함을 확인하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.1559-1562
• /
• 2011

GUI 테스트 자동화에 대한 연구들이 많이 진행되고 있다. GUI 테스트 하는 방법에 따라 테스트 자동화(Automated Test)와 회귀테스트(Regression Test)가 있는데, 우리는 회귀테스트로 GUI 테스트를 자동화 하려 한다. GUI 자동화 테스트를 위해 시험자동화프로그램으로 테스트 케이스를 시험절차에 따라 생성하고 Dynamic linking library(이하 DLL)의 공유변수마다 GUI 컨포넌트를 정의하여 점검프로그램의 GUI 컴포넌트를 컨트롤 한다. 점검프로그램에서는 DLL 공유변수를 감시하여 해당 GUI 컴포넌트가 On 상태가 되면 기능이 실행되게 구현하였다. 기존의 연구들과 비교하여 최소한의 소스코드 변경과 특정한 툴에 치우치지 않고 통합되어 작동되는 것이 장점이다.

• The Journal of Korean Association of Computer Education
• /
• v.5 no.4
• /
• pp.31-42
• /
• 2002

In this paper, We set up the development methodology of communication protocols as well as the concrete design concept concerning for how to define and use the PDU, SDU, SAP, and service primitives using SDL, which is recommended by ITU-T, and other international standard languages such as ASN.l, MSC, and TTCN. This methodology covers the SDL design of extended lures protocol, a well known protocol example, insertion of ASN.1 message for transportation of bit string, generation of MSC for validation of design specification, generation of test cases using TTCN from validation, and performance of conformance test.