• The KIPS Transactions:PartD
• /
• v.9D no.4
• /
• pp.651-658
• /
• 2002

This paper suggests the scenario composition supporting method, which can be used to perform integration test based on specification, and implemented a scenario composition supporting tool. To compose scenario for object-oriented integration testing, requirement specification, Process definition table and program to table relation diagram are used. In addition, requirement trace table is created. It can check user's requirements, quickly and exactly, dividing former three fables into the stages of requirement analysis, design, and test. The output of scenario composition supporting tool plays a guide part in composing scenario. This tool can reduce scenario composition effort of quality for the checking team and prevent an omission of requirement and input of errors during the test.

• Archives of design research
• /
• v.17 no.3
• /
• pp.147-156
• /
• 2004

Currently, usability tests for web sites with representative users are conducted in laboratory environment that disturbs subjects' natural behavior. These test methods are inefficient for tests that require large number of subjects, because experimenters and subjects should be located in the same place at the same time during the test. In this study, a remote usability test tool, called 'RIO' has been developed to cope with these laboratory-based experiment problems - the 'synchronism' and the 'unnatural environment'. The tool is separated into three parts: 'Project Manager', 'Remote Interaction Observer', and 'Interaction Analyzer'. 'Project Manager' sets up overall experimental parameters and actual tasks to be peformed by subjects. 'Remote Interaction Observer', endued with Microsoft Internet Explorer Control, is a modified Web Browser which records user interactions, screen images and elaborate browser events while subject performs given tasks. This module is distributed to subjects as an installable software package. When they finish all the tasks, the captured interaction data is compressed and sent to 'Interaction Data Server' automatically. 'Interaction Analyzer' visualizes interaction data from the 'Interaction Data Server'. It also generates project-scope statistics which facilitate discovering peculiar cases among interaction submissions.

• Journal of KIISE:Computer Systems and Theory
• /
• v.34 no.8
• /
• pp.348-366
• /
• 2007

Capacity of modem storage devices is becoming larger than yesterday and integration of disk is increasing. It refers that physical errors can damage a lot of digital information on storage devices. So we propose file system test framework in this paper to test integrity and robustness of file systems. We develop the tool for generating bad sectors on disks and the tool which creates all physical errors defined in storage devices. We also develop the tool for immediately monitoring the condition of read and write execution on storage devices. So, by integrating those tools, we develop FORT, test framework for confirming robustness of file system. We analyze robustness of ext3 file systems by FORT. Lastly, we present draft of intelligent system merging file system and device driver's layer architecture.

• The KIPS Transactions:PartD
• /
• v.18D no.5
• /
• pp.343-356
• /
• 2011

When preparing test cases and running the test the existing GUI test tools require many tester's interventions. To cope with such problem this paper suggests a new method to build test cases for GUI test. This method identifies the potential control flows within the GUI and constructs the GUI map. The UIA library in .NET Framework is used to extract information about the GUI controls and the GUI map is constructed by the extracted information. Test scenarios are generated from the extracted information about the GUI controls using the grouping mechanism. Based on the grouping mechanism, various test scenarios which are test cases in GUI tests can be made by replacing a GUI control by another one in the same group. The existing GUI test tools do not support the concept of test coverage. Since, however, our method survey which part of the GUI map is executed or not during running the test, the test coverage can be measured by using the GUI map.

• Proceedings of the KAIS Fall Conference
• /
• 2010.11a
• /
• pp.163-167
• /
• 2010

최근 컴퓨터시스템으로 전환되고 있는 열차제어시스템에서 소프트웨어에의 의존성이 급격히 증가함에 따라 임베디드화된 열차제어 소프트웨어 신뢰성과 안전성의 검증이 중요한 문제로 대두되기 시작했다. 이에 따라 열차제어 소프트웨어 관련 국제표준에서도 각종 소프트웨어 테스트 및 검증활동을 요구하고 있으며, 이에 대응하여 본 논문에서는 열차제어시스템 소프트웨어 테스트 커버리지 자동화 도구 및 기준 분석과 개발 결과에 대해 제시하고 있다. 본 논문에서는 열차제어 소프트웨어 안전성 검증을 위한 정량적인 항목으로 매우 중요한 테스트 커버리지를 자동으로 측정할 수 있는 제어흐름 분석도구를 개발하였으며, 본 도구의 결과를 실제 철도 산업 현장에서 활용하기 위해 타분야 제시 기준 등을 분석하여 철도 소프트웨어 안전무결성레벨(SWSIL)에 따른 판단 기준을 제시하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.05a
• /
• pp.954-957
• /
• 2013

고안전성이 요구되는 내장형 소프트웨어의 경우 극히 낮은 확률로 발생하는 오류로 인하여 전체시스템의 안전에 치명적인 상황을 야기할 수 있으므로, 철저한 안전성 검증이 요구된다. 모든 가능한 실행경로를 고려해야 하는 안전성 검증의 고비용 문제를 해결하기 위하여, 기존연구에서는 안전성 특질기반 테스트 대상함수를 추출하여 테스트 시나리오 생성하는 생성기를 개발하여 검증 효율을 높이는데 기여하였다. 그러나 기존의 도구는 함수포인터를 탐색 하지 못한 문제와, 변수에 대한 규칙 부족문제 그리고 모듈화 되지 않아 유지 및 보수가 어려운 문제가 있었다. 본 논문에서는 기존도구의 문제점들을 개선하여 정확도를 높인 새로운 함수탐색기를 소개한다. 개발된 함수탐색기는 모듈화 되어 차후에 수정 및 보완 문제에 대하여 유연하게 대처할 수 있게 하였다. 개선된 함수탐색기를 OSEK/VDX[1] 기반의 개방형 차량전장용 운영체제인 Trampoline을 대상으로 테스트 해 본 결과 기존 도구보다 약 68%의 높은 정확도를 보였다.

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

소프트웨어의 품질 향상을 위해서는 무엇보다도 프로세스의 개선이 필요하다는 인식이 증대되고 있다. 그 중에서도 실질적으로 프로덕트의 품질과 직결된 테스트 프로세스의 개선이 무엇보다 시급한데, 그러기 위해서는 테스트 프로세스의 현재 상태를 파악하고 분석하는 과정이 선행되어야 한다. 본 논문에서는 테스팅 관점에서 소프트웨어의 품질을 고려하여 개발된 SETP(Simple and Easy Test Process) 핵심 모델과, 이를 바탕으로 테스트 프로세스를 평가하고 분석하는 자동화 도구 Legba를 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.536-538
• /
• 2016

최근 소프트웨어가 사회에서 하는 일이 점점 더 증가함에 따라 소프트웨어의 개발비용도 함께 증가하고 있다. 소프트웨어의 개발비용 중 에러를 찾아내는 소프트웨어 테스팅이 상당한 부분을 차지하고 있는데 테스팅에 소요되는 비용 때문에 테스팅을 등한시 하는 경우가 많다. 그럼에도 불구하고 소프트웨어의 기능 추가나 변경이 이루어질 때마다 테스트를 진행하여야 소프트웨어의 에러를 최소화할 수 있다. 하지만 개발이 진행될수록 소요되는 비용이 증가하는 경우가 많아 실제 소프트웨어 개발에선 개발 기한이 다가올수록 회귀 테스트를 기피하게 된다. 본 논문에서는 이러한 문제를 해결하기 위해 소프트웨어의 개발을 진행하면서 형상관리를 통해 소프트웨어의 변경이 있을 때마다 회귀 테스트를 자동으로 수행해주는 도구를 제안한다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.11
• /
• pp.4460-4467
• /
• 2010

Recent advances in computer technology have brought more dependence on software to railway systems and changed to computer systems. Hence, the reliability and safety assurance of the vital software running on the embedded railway system is going to tend toward very critical task. Accordingly, various software test and validation activities are highly recommended in the international standards related railway software. In this paper, we presented an automated analysis tool and standard for software testing coverage in railway system, and presented its result of implementation. We developed the control flow analysis tool estimating test coverage as an important quantitative item for software safety verification in railway software. Also, we proposed judgement standards due to railway S/W Safety Integrity Level(SWSIL) based on analysis of standards in any other field for utilizing developed tool widely at real railway industrial sites. This tool has more advantage of effective measuring various test coverages than other countries, so we can expect railway S/W development and testing technology of real railway industrial sites in Korea.

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

인터넷을 기반으로 하는 웹 어플리케이션의 급성장으로 웹 어플리케이션의 품질에 대한 요구가 중요시되고 있으며 웹 기반 어플리케이션에 대한 품질을 보증하는 연구가 활발히 진행되고 있다. 또한 품질을 보증하기 위한 설러 가지 방법이 연구되고 있으며, 테스트를 위한 많은 도구들이 존재하고 있다. 하지만 웹 어플리케이션의 테스트는 웹의 다양한 구성요소라는 특성으로 테스트하기에 어려움이 있다. 이 논문에서 는 웹 기반 어플리케이션의 테스팅을 보다 효율적으로 진행하기 위해 웹의 상태를 논리 흐름에 따라 구분하고 Composition ＆ Transition Rule을 적용하여 웹 페이지의 전체적인 테스팅을 커대할 수 있는 테스트 케이스를 생성하는 방법을 제안하고 설명한다.