• Journal of KIISE:Computing Practices and Letters
• /
• v.9 no.2
• /
• pp.123-132
• /
• 2003

The quality certification test is usually conducted by a certifying organization to determine and guarantee the quality of software after the software development phase, commonly without the actual source code, but with by going against the product's manual. In this paper, we implement a Manual-based Automatic Test data generating tool: MaT, the test technique based on manual, that automatizes producing the test data from analysis data of software package and manual. The input data of MaT are the result of the analysis of software and manual. We propose 'menu-based test analysis model' in order to generate the input data. We believe that the proposed technique and tool he]p improving quality and reliability of the software.

• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.3
• /
• pp.268-276
• /
• 2002

In this paper we suggest a method to produce automatically teat data using UML development diagrams, and analytically describe the application of a tool, Automatic UML-based Test Data Generation (AUTEG) developed using XML technology, to the examples of insurance system. Our AUTEG automatically generates test diagrams that enable to detect errors existing at the interface area between modules composing the whole system, along with test data by applying the existing white-box test technique to the test diagram. Our AUTEG can be applied to the integration test as well as the system test and using the tool, users may make the unit modules of the integration test into several groups.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.421-423
• /
• 2002

정형적 명세를 이용하면 원시코드의 복잡함에 방해받지 않고 필요한 구현 정보를 테스트 프로그래머가 얻을수 있다. 특히 웹 기반 소프트웨어는 정형적 명세로 시스템에 대한 외부 입력과 반응을 잘 나타낼 수가 있다. 복잡하고 구성요소가 다양한 웹 프로그램의 기능을 정형적 명세를 이용하여 핵심적으로 나타내고 이를 이용하여 웹 프로그램의 실행 동작을 테스트할 수 있는 과정을 제안하고 실험하였다. 실험 대상은 웹 뱅킹 업무로 정하고 정형화 명세에서 상태 천이도를 구성하고 테스트 시나리오를 추출하는 방법을 기술하였다. 제안한 방법은 웹 프로그램의 사용 기반 테스트 기법과 결합하여 웹 소프트웨어의 테스트 자동화에 중요란 요소가 될 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10b
• /
• pp.238-242
• /
• 2007

일반적인 휴대용 기기와 마찬가지로 모바일 피씨(Mobile PC, laptop)에서도 배터리(Battery)는 빼놓을 수 없는 부분으로 이에 대한 테스트는 매우 중요하다. 배터리에 대한 테스트는 모바일 피씨 개발 시 충전과 방전을 수백 회를 반복하여 수행을 하게 되고, 이 배터리 테스트에 상당한 시간이 걸리게 된다. 컴퓨터 관련 부품의 빠른 발전과 함께 모바일 피씨에 대한 사용자들의 다양한 요구에 의해 모바일 피씨의 종류가 다양하게 분화되고, 또한 개발 기간이 짧아지는 추세에 있다. 이에 따라 많은 시간을 요구하는 배터리 테스트에 대한 개선을 위한 노력이 행하여져 왔다. 본 논문에서는 이러한 개선 사항에 대하여 알아보고, 이를 바탕으로 추가적인 개선점을 제시하고 그에 대한 시스템을 구현하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.539-542
• /
• 2008

본 연구에서는 Simulink 에서 테스트케이스를 적용하는 과정을 자동화시켜 주었다. Simulink 는 자동 생성된 많은 수의 테스트케이스를 dynamic 하게 적용하는 작업에서 반복적이고 수동적인 다수의 작업이 필요하다. 그래서 Simulink 를 이용한 테스트에 많은 인력과 시간이 필요한 문제점이 있다. 본 연구의 Framework 에서는 파일에 저장된 테스트케이스를 Simulink 에 바로 적용할 수 있게 해주었다. 먼저 Framework 에서 사용된 테스트케이스의 입력방법을 알아보고, Framework 에서의 테스트 수행과정을 나타내고 결과를 분석하였다.

• Journal of Advanced Technology Convergence
• /
• v.2 no.3
• /
• pp.9-15
• /
• 2023

Recently, various public services are being performed based on information systems as the informatization business spreads. Public administration services based on these information systems provide internal and external services. In recent years, as the construction of cloud-based public services has been expanded, the advancement of information systems has attracted attention. In particular, as the dependence on information systems increases, the establishment of a response system to prevent dangerous situations such as interruption and paralysis of information systems in advance has become a hot topic not only in companies but also in public institutions. Therefore, in this paper, a disaster recovery system was designed and built to maximize the efficiency of system operation and shorten recovery time through service conversion automation of the disaster recovery system. The integrated DR server redundancy test, web server redundancy test, FC-IP redundancy test, and SAN switch redundancy test were performed respectively by applying the disaster recovery system designed and built according to the method proposed in the paper.

• The KIPS Transactions:PartD
• /
• v.17D no.2
• /
• pp.147-156
• /
• 2010

Conformance testing for embedded software is to check whether software was correctly implemented according to software specification or not. In conformance testing, test scenarios must be extracted to cover every test cases of software. In a general way, test scenarios simply focus on testing all functions at least one time. But, test scenarios are necessary to consider efficiency of test execution. In this paper, we propose a test scenario extraction method by considering function's execution time and waiting time for user interaction. A test model is a graph model which is generated from state machine diagram and test cases in software specification. The test model is augmented by describing test execution time and user interaction information. Based on the test model, test scenarios are extracted by a modified Dijkstra's algorithm. Our test scenario approach can reduce testing time and improve test automation.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.171-174
• /
• 2011

최근 안드로이드 소프트웨어의 숫자가 날로 증가하고 있는 동시에 사용자들의 요구 수준도 함께 높아지고 있다. 이에 따라 소프트웨어의 품질을 높이기 위한 테스트 과정의 중요성이 두드러지고 있으며 안드로이드 소프트웨어는 GUI를 기반으로 하고 있기 때문에 현존하는 GUI테스트 기법들을 이에 적용시키는 다양한 연구가 진행되고 있다. GUI 테스트 기법 중 Record-Playback 기법은 사용자의 사용 흐름을 기록 후 재현하는 방식으로 테스트를 반 자동화함으로 테스트 과정에 소모되는 시간과 자원을 감소시키기 때문에 많은 분야에서 활용되고 있다. 하지만, 이 기법은 테스트 케이스 생성 시 테스터의 비효율적인 노동을 증가시키는 문제점이 발생하고 있으며, 또한 안드로이드 환경에 적용시키기 위해서 그 특성에 대한 고려가 필요하다. 이에 본 논문에서는 안드로이드 환경에 적합한 RPB 기반 테스트 케이스 생성 및 활용 방안에 대해 제안한다. 이는 소프트웨어 테스트에 소요되는 시간과 자원을 감소시켜 소프트웨어의 품질 향상에 도움이 된다.

• 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.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2022.06a
• /
• pp.98-99
• /
• 2022

해양 산업은 e-Navigation 시스템을 시작으로 체계적인 접근 방식과 다양한 전략을 바탕으로 다양한 해양 서비스를 제공하고 있으며, 서비스 운영에 필수적인 장비 개발 및 스마트 항로표지 서버 구축 등 통합 운영이 가능한 스마트 항만 구축을 목표로 나아가고 있다. 그러나 고도로 자동화된 스마트 항만의 자율 시스템을 검증하기 위한 테스트베드는 기존의 테스트베드와 달리 복잡한 접근 방식과 다양한 요소가 필요하며, 특히 인공지능 등 최첨단 디지털 기술이 적용할 수 있게 됨에 따라 신규 서비스 제공과 이에 따른 잠재적으로 발생이 가능한 치명적인 문제점을 조기에 발견하고 대응하기 위하여 사이버보안체계 연구 및 이를 검증할 테스트베드 구축에 대한 준비가 필요한 시점이다.