• Proceedings of the KSR Conference
• /
• 2010.06a
• /
• pp.2223-2231
• /
• 2010

Recently, an important physical device of transportation, such as car, railroad, ship and aircraft has changed into electronic control unit. According to accident reports, the most of car accidents are caused by faults of embedded software loaded to computer control unit. The facts implies that the test to find defects in embedded software haven't performed sufficiently. As a result, it is necessary to establish the test procedures of embedded software based on safety assessment criteria. The objective of this proposal is to provide a unit test procedure complied with the safety assessment criteria for the embedded software. In addition, an effective unit testing procedure and defect analysis methods are proposed and a testing procedure using a safety criteria built-in tool is presented.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2014.06a
• /
• pp.67-70
• /
• 2014

본 논문은 TTA 에서 제정된 "HTML5 기반 스마트 TV 플랫폼" 표준(TTAK.KO-07.0111/R1)에 따라 개발된 스마트 TV 수신기가 표준의 기술 요구사항을 준수하여 적합하게 구현되었는지를 검증하기 위한 표준 적합성 시험환경을 소개한다. 적합성 시험을 위한 시험 기준과 수행절차, 판정 기준 등을 정의하고 있는 "HTML5 기반 스마트 TV 플랫폼 수신기 적합성 시험" 표준(TTAK.KO-07.0119)에 따라 200 여개의 테스트 케이스가 개발되었으며 이들은 스마트 TV 수신기에서 직접 동작하면서 수신기의 기능을 검증하고 결과를 판단하게 된다. 테스트 케이스를 실제 방송환경과 유사한 조건에서 실행하기 위하여 지상파, 케이블, IPTV, 위성 등 다양한 방송 헤드앤드를 활용한 방송 송출 서버를 구현하였으며, 시험에 관련된 정보를 처리하고 실제 시험의 수행 및 그 결과를 관리하는 적합성 시험 관리 시스템을 개발하였다. 그리고 테스트 케이스 앱을 호스팅하는 웹서버, VOD 콘텐츠를 위한 스트리밍 서버 등의 장비를 운용하여 적합성 시험을 위한 전반적인 환경을 구축하였다. 또한 본 논문에서는 구축된 시험 환경에서 표준 기반으로 개발된 참조 수신기를 대상으로 적합성 시험을 수행한 사례를 통해 시험환경의 유효성을 확인하고 향후 적합성 시험환경의 추진 방향을 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.346-348
• /
• 2005

소프트웨어를 동적으로 테스트 하려면 대상 소프트웨어에 적절한 데이터를 주어 실행해 보아야 한다. 효과적인 테스트가 되기 위해서 테스트 케이스의 선택뿐만 아니라 테스트 케이스가 어떻게 표현되었는가가 중요하다. 또한 정적인 테스트 작업에도 테스트를 위한 체크리스트가 어떻게 작성되었는지에 따라 테스트 작업의 효율성이 좌우된다. 이 논문에서는 비효율적이며 문제가 있는 테스트 케이스와 체크 리스트들을 리엔지니어링하는 방법을 제시하고 이를 실험 하였다. 임베디드 시스템의 일종인 디지털 방송수신 장치에 탑재된 소프트웨어를 대상으로 하여 이미 사용 중인 테스트 케이스의 효율성과 적합성을 따져보고 이를 리엔지니어링 하였다. 리엔지니어링 한 후의 테스트 케이스의 산출물이 얼마나 효과적인지를 살펴보았다. 또한 제품 계열 개념의 소프트웨어를 테스트하기에 적합하도록 테스트 케이스를 재사용 또는 restructuring하는 방법도 연구하였다.

• 한국IT서비스학회:학술대회논문집
• /
• 2002.11a
• /
• pp.297-303
• /
• 2002

최근 전세계적으로 B2B 시장의 규모가 커짐에 따라 기업들간의 e-비즈니스를 실현하기 위한 환경 구축 및 e-비즈니스 솔루션의 필요성이 증대하고 있다. 기업간의 전자거래는 둘 이상의 거래 파트너들간에 이루어지는 정보의 등록, 메시지 및 문서 교환 등을 기반으로 이루어지는 것으로 거래의 기반이 되는 e-비즈니스 솔루션들간의 상호운용성이 가장 핵심이라 할 수 있다. 이러한 상호 운용성은 e-비즈니스 프레임워크에 대한 표준의 정립을 기점으로 표준에 적합한 e-비즈니스 솔루션의 구현, 도입 및 활용에 의해서 가능하다. 본 논문에서는 e-비즈니스 솔루션의 상호운용성 확보를 위한 기반이 되는 e-비즈니스 솔루션에 대한 표준적합성 테스트의 필요성을 제시하고, 실제로 테스트 환경을 구축하기 위한 방안을 제시한다. 그리고 더 나아가 e-비즈니스 솔루션의 표준적 합성 테스트 환경이 인증 체계로 발전하기 위한 절차를 보여준다.

• Annual Conference on Human and Language Technology
• /
• 2000.10d
• /
• pp.190-197
• /
• 2000

본 연구에서는 사용자의 질의에 대해 대답을 제시하는 질의응답시스템의 평가를 위한 테스트컬렉션을 구축하였다. 질의응답시스템 평가를 위한 테스트컬렉션은 207,067개의 문서, 90개의 질의, 각 질의에 대한 적합성 판정 집합으로 구성되어 있다. 문서집합은 신문기사로 SGML 형식으로 가공되었고, 질의는 다양한 유형의 질의와 변형질의를 포함한다. 적합성 판정 집합은 각 질의에 대해서 문서에 대답을 포함하는지의 여부에 따라 적합/부적합으로 판정하였고, 적합한 문서에 대해서는 대답을 표시하였다. 본 연구를 통해 구축된 질의응답시스템 평가를 위한 테스트컬렉션은 질의응답시스템의 객관적인 신뢰성 평가를 위한 기반을 마련하였다.

• The KIPS Transactions:PartD
• /
• v.13D no.4 s.107
• /
• pp.573-582
• /
• 2006

Black-box testing needs to prepare fitting test data, execute software, and examine the result. If we test software effectively, not only selecting test cases but also representing test cases are important. In static testing effectiveness of testing activities also depends on how to represent test cases and checklist to validate. This paper suggests a method for finding ineffective critical test cases and reengineering them. An experiment of reengineering digital set-top box software shows the process and results of checking effectiveness and conformance of current test cases and patching test cases. The result shows how much save the test time and improve test coverage by reengineering test cases. Methods of reuse and restructuring test cases are also studied to fit into embedded product-line software.

• The Journal of the Korea Contents Association
• /
• v.5 no.2
• /
• pp.61-68
• /
• 2005

Interest in conformance and the issues related to conformance and interoperability testing in ebXML products are rapidly gaining momentum among standards developers, implementers, and users. The goal is to obtain implementations of the standard that correctly perform the functionality specified in the standard. Conformance testing helps to achieve correct implementation. In this paper, we design and implement the CPP(Collaboration Protocol Profile)/CPA(Collaboration Protocol Agreement) and registry for ebXML conformance and interoperability testing tools that observe the standard specification in conformity with ebXML Message Service v2.0, ebXML Registry Service v2.0 and ebXML CPP/A v2.0.

• Journal of KIISE:Software and Applications
• /
• v.37 no.12
• /
• pp.882-891
• /
• 2010

Many automated dynamic test data generation technique have been proposed. The techniques evaluate fitness of test data through executing instrumented Software Under Test (SUT) and then generate new test data based on evaluated fitness values and optimization algorithms. Previous researches and experiments have been showed that these techniques generate effective test data. However, optimization algorithms in these techniques incur much time to generate test data, which results in huge test case generation cost. In this paper, we propose a technique for reducing the time of evaluating a fitness of test data among steps of dynamic test data generation methods. We introduce the concept of Fitness Evaluation Program (FEP), derived from a path constraint of SUT. We suggest a test data generation method based on FEP and implement a test generation tool, named ConGA. We also apply ConGA to generate test cases for C programs, and evaluate efficiency of the FEP-based test case generation technique. The experiments show that the proposed technique reduces 20% of test data generation time on average.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2015.07a
• /
• pp.527-530
• /
• 2015

2014 년 4 월 TTA 에서 개정된 "HTML5 기반 스마트 TV 플랫폼(TTAK.KO-07.0111/R1)" 표준의 멀티스크린 서비스는 UNnP, mDNS 등의 ZeroConf 네트워크 기술을 기반으로 스마트 TV 수신기가 스마트 폰이나 태블릿과 같은 다양한 컴패니언 디바이스를 발견하고 서로 연결하여 디바이스 간 연동 서비스를 구현할 수 있는 기술을 정의하고 있다. 또한, 이 멀티스크린 기술을 활용하여 개발된 서비스(앱)가 표준을 준수하는 다양한 수신기에서 동일한 사용자 경험(UX)으로 실행되기 위해서는 수신기가 멀티스크린 기술 요구 사항을 준수하여 구현되었는지를 검증하는 적합성 시험이 반드시 필요하다. 본 논문에서는 이러한 적합성 시험을 위한 시험 기준과 수행절차, 판정 기준 등을 정의하고 있는 " HTML5 기반 스마트 TV 플랫폼 수신기 적합성 시험(TTAK.KO-07.0119/R1)" 표준에 멀티스크린 시험을 위하여 추가된 시험 항목과 이를 실제로 실행하여 수신기를 검증하기 위하여 개발된 테스트케이스를 소개한다. 아울러, 컴패니언 디바이스에서 실행되면서 수신기의 테스트케이스와 연동하여 수신기 기능을 검증하는 데 활용하는 모바일 테스트 프레임워크와 이를 기반으로 하는 모바일 테스트케이스의 구현을 설명한다. 아울러, 본 논문에서는 TTA 에 구축된 멀티스크린 시험 환경에서 표준 기반 참조 수신기를 대상으로 멀티스크린 시험을 수행한 사례를 통해 시험환경의 유효성을 확인하고 향후 개선 방향을 제시한다.

• The KIPS Transactions:PartD
• /
• v.11D no.6
• /
• pp.1341-1348
• /
• 2004

As of an international standard in e-business domains, ebXML solutions are required to be tested and authenticated whether they can satisfy the conformance and interoperability requirements. In this paper, we design and implement the ebXML conformance and interoperability testing tools that observe the standard specification in conformity with ebXML Message Service v2.0, ebXML Registry Service v2.0 and ebXML CPP/A Y2.0. With this regard, our research would serve in building the verification and authentication service infrastructure for fitting standard ebXML e-business solutions with ebXML conformance and interoperability testing tools.