• The Magazine of the IEIE
• /
• v.33 no.3 s.262
• /
• pp.28-35
• /
• 2006

소프트웨어 로봇들은 시뮬레이트된 센서와 실행기들을 가지고 가상 환경 안에서 자율적으로 동작하는 지능형 가상 에이전트로 볼 수 있다. 지능형 가상 에이전트 연구용 테스트베드들은 에이전트들의 성능 평가를 위해 표준화된 작업들을 구현할 수 있고, 환경이나 실험 에이전트들을 제어할 수 있는 도구들이다. 본 논문에서는 RoboCup 축구 시뮬레이션시스템, Gamebots 시스템, USARSim 시스템 등과 같은 지능형 가상 에이전트와 멀티 에이전트시스템 연구를 위한 대표적인 테스트베드들을 간략히 소개한다.

• Review of KIISC
• /
• v.22 no.5
• /
• pp.7-13
• /
• 2012

제어 시스템 보안을 위하여 보안 적합성 확인과 유효성 검사 및 사고 발생 시 제어 시스템의 피해 상황 및 영향 범위에 대해 실제의 제어 시스템 구성 요소를 분석하는 환경이 필요하며, 실제 기기와 시뮬레이션을 이용하여 취약성을 검증하기 위한 환경 및 제어 시스템 구성 요소의 취약성을 발견하는 도구가 필요하다. 본 논문에서는 제어 시스템 보안 및 국내 제어 시스템 테스트 베드 구축을 위하여 선진국들의 제어 시스템 테스트 베드 구축 현황 및 사례에 대하여 설명하고자 한다.

• Journal of Intelligence and Information Systems
• /
• v.17 no.4
• /
• pp.37-58
• /
• 2011

In general, testing DB applications is much more difficult than testing other types of software. The fact that the DB states as much as the input data influence and determine the procedures and results of program testing is one of the decisive reasons for the difficulties. In order to create and maintain proper DB states for testing, it not only takes a lot of time and efforts, but also requires extensive IT expertise and business knowledge. Despite the difficulties, there are not enough research and tools for the needed help. This article reports the result of research on automatic creation and maintenance of DB states for testing DB applications. As its core, this investigation develops an automation tool which collects relevant information from a variety of sources such as log, schema, tables and messages, combines collected information intelligently, and creates pre- and post-Images of database tables proper for application tests. The proposed procedures and tool are expected to be greatly helpful for overcoming inefficiencies and difficulties in not just unit and integration tests but including regression tests. Practically, the tool and procedures proposed in this research allows developers to improve their productivity by reducing time and effort required for creating and maintaining appropriate DB sates, and enhances the quality of DB applications since they are conducive to a wider variety of test cases and support regression tests. Academically, this research deepens our understanding and introduces new approach to testing enterprise systems by analyzing patterns of SQL usages and defining a grammar to express and process the patterns.

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

단위 테스트에 대한 관심이 커지면서, 어떤 테스트 케이스 선정기준을 사용해야 하는지에 대한 기준이 필요해지고 있다. 비록 프로그래머들이 단위 테스트에 적용할 수 있는 여러 테스트 criteria에 대하여 습득하고 다양한 도구들에 대해 숙지하고 있더라고, 어느 설계기준을 언제 사용해야 할지에 해하여 결정하는 부분이 여전히 어렵다. 이러한 criteria, 특히 구조 기반 테스트 criteria,에 대한 여러 비교 연구들이 있어왔다. 본 논문은 이러한 criteria들의 비교 연구들을 진행하는 과정을 고찰해보고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2019.10a
• /
• pp.691-693
• /
• 2019

현실적으로 요구사항의 불명료성은 테스트 케이스 추출에 어려움을 초래한다. 명료한 요구사항 기반의 사용자 승인 테스트는 소프트웨어의 올바른 품질을 증가시키고, 유지보수 비용을 감소시킨다. 하지만 중소기업에서는 촉박한 개발 기간, 테스트 도구 구매 비용의 부담, 낮은 테스트 기술 레벨 등의 이유로 좋은 품질의 테스트를 수행하기가 힘들다. 이러한 문제점의 해결을 위해 말뭉치 정규화를 이용한 의미 규칙으로 불명료한 요구사항을 간결하고 명료한 요구사항으로 변경하기 위한 메커니즘을 제안한다. 또한 이를 원인-결과 그래프 자동 생성하는 방법을 제안한다. 이는 원인-결과 그래프를 통해 테스트케이스를 최대한 생성하는 기초가 될 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.11a
• /
• pp.368-371
• /
• 2007

모바일 어플리케이션 소프트웨어의 시장은 여러 소프트웨어 시장 중 가장 많은 어플리케이션 소프트웨어를 출시하고 있으며 모바일 어플리케이션에서 가장 중요한 사용자와의 정보 교환 수단으로는 GUI가 있다. 현재까지의 모바일 어플리케이션에서의 GUI 테스트 방법으로는 테스터가 한단계, 한단계 버튼을 눌러가며 화면을 체크하는 원시적인 방법의 테스트가 이루어지고 있다. 이에 본 논문에서는 모바일 상에서 이루어지는 정적 화면 전환의 경우 테스트 수행 결과를 플로우 챠트 기반으로 표시함으로써 GUI를 테스트 하는 방법을 제시하고 테스트 커버리지 까지 측정할 수 있는 방법을 제시한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.11a
• /
• pp.1033-1035
• /
• 2007

최근 PDA와 휴대폰 등 모바일 디바이스의 급격한 증가로 모바일 응용 SW 개발이 주목을 받고 있다. 다양한 방법과 기술들이 모바일 응용 SW 개발을 지원하기 위해 개발되었으며, 다양한 언어가 J2ME 또는 Brew 플랫폼에서 SW 개발을 위해 제시되었다. 그러나 이러한 환경에서 SW 테스트는 큰 관심을 받지는 못하였다. 그 동안 모바일 응용 SW의 기능 테스트에 대한 몇몇 연구 성과들이 발표되어 왔고, 성능, 사용성, 스트레스 테스트 등에 관련된 연구들이 주로 진행되어 왔다. 특히 단위 테스트는 개발자의 역량에 의존하는 방식으로 진행되어 왔다. 본 논문에서는 모바일 응용 SW를 비즈니스로직 측면과 GUI 측면으로 구분하여 각각에 대한 단위 테스트 방법을 제시하고자 한다.

• Journal of Internet Computing and Services
• /
• v.9 no.2
• /
• pp.89-105
• /
• 2008

So far, most of research on automated test data generation(ATDG) deals with programs without pointers. Recently, few works hove been done on ATDG in the presence of pointers, but they ore path-oriented techniques which require the specification of on entire program path to be tested or a program to be executed. This paper presents a new technique for generating test data even without specifying a program path completely. The presented technique is a static technique which transforms the test data generation problem into a SAT(SATisfiability) problem and makes advantage of SAT solvers for ATDG. For the ends, we transform a program under test into Alloy which is the first-order relational logic and then produce test data via Alloy analyzer.

• The Journal of Korean Association of Computer Education
• /
• v.13 no.1
• /
• pp.37-44
• /
• 2010

Recently, the scientific approach to brain engineering is actively being made for effective foreign language learning and diagnosis. In order to supplement the problem of preexistence paper exam, the study aimed to develop a tool for foreign language fluency diagnosis which based on brain engineering. The proposed tools in the paper indirectly measure the aspects of brain information processing by testing learners' 3 abilities of linguistic memory, comprehension, and language production in 5 different ways.

• Journal of Advanced Navigation Technology
• /
• v.19 no.5
• /
• pp.411-416
• /
• 2015

The service size of an IoT environment is determined by the various types of sensors. A gateway for relaying sensor information from various sensors is a representative middleware system, and an infographics showing the information with a graphical presentation of data and information is a client system for representing real-time information efficiently, it is necessary a similar test bed with IoT environment to develop a real-time infographics displaying a large amount of information effectively. The testing tools used in developing the existing network systems are mostly made to be suitable for functional testing and performance testing of the driven unit. In this paper, we proposed a mean which is web-based simulation framework to create a variety of information required for real-time infographics development, and evaluate the function of the system proposed by the test function of the comparison with the previous network test tool.