http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
테스트 데이터 자동 생성을 위한 입력 변수 슬라이싱 기반 메타-휴리스틱 알고리즘 적용 방법
최효린 ( Hyorin Choi ),이병정 ( Byungjeong Lee ) 한국정보처리학회 2018 정보처리학회논문지. 소프트웨어 및 데이터 공학 Vol.7 No.1
소프트웨어 테스트는 시스템의 신뢰도를 판단하는 중요한 작업이지만, 많은 노력과 비용이 요구된다. 모델 기반 테스트는 시스템 요구사항을 정형적으로 표현한 모델로부터 테스트 설계를 자동화함으로써 이러한 비용을 줄이기 위한 방안으로 제안되었다. 모델의 각 경로마다 입력값을 생성하여 테스트를 수행하는데, 이 때, 적절한 입력 값을 찾기 위해 메타-휴리스틱 기법을 사용한다. 본 논문은 슬라이싱 기법과 우선순위 정책을 적용한 테스트 데이터 자동 생성 기법을 제안하며, 목적 경로와 관련이 없는 변수를 제외하여 불필요한 계산을 억제한다. 실험을 통해 기존의 기법보다 효과적으로 테스트 데이터를 생성함을 보인다. 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.
테스트 데이터 자동 생성을 위한 입력 변수 슬라이싱과 진화 알고리즘 적용 방법
최효린 ( Hyorin Choi ),이병정 ( Byungjeong Lee ) 한국정보처리학회 2017 한국정보처리학회 학술대회논문집 Vol.24 No.1
소프트웨어 테스트는 시스템의 신뢰도를 판단하는 중요한 작업이지만, 많은 노력과 비용을 필요로 한다. 모델 기반 테스트는 이러한 비용을 줄이기 위한 방안으로써 제안되었다. 정형적 모델로부터 시스템의 실행 가능한 경로를 파악하고, 각 경로마다 입력 값을 생성하여 테스트를 수행한다. 이 때, 적절한 입력 값을 찾기 위해 메타-휴리스틱 기법을 사용하는데, 기존의 알고리즘은 목적 경로와 관련이 없는 변수까지 구분없이 고려하기 때문에 시스템이 복잡할수록 불필요한 연산이 많아지는 문제가 있다. 본 논문은 슬라이싱 기법과 우선순위 정책을 적용한 테스트 데이터 자동 생성기법을 제안하며, 실험을 통해 기존의 방법보다 효과적으로 테스트 데이터를 생성함을 보인다.
동시성을 포함한 액티비티 다이어그램 기반 테스트 시나리오 생성 기법
백승찬(Seungchan Back),최효린(Hyorin Choi),이병정(Byungjeong Lee),이정원(Jung-Won Lee) Korean Institute of Information Scientists and Eng 2016 정보과학회논문지 Vol.43 No.9
Currently, software testing is becoming increasingly important in the industrial field and a large body of research supports the improvement of efficient software testing. Model-based testing is generally used to formalize user requirement data for test design. Complex system that includes loop and concurrency has a high probability of path explosion problem. Specially, as threads are added to concurrency, test scenarios have also increased exponentially. However, it is difficult to solve this problem using existing techniques. In this paper, we propose novel path-search technique that focuses on behavioral features of concurrency path in order to avoid path explosion problem. A system that contains concurrent paths is represented by activity diagram in case study section. Efficiency of our study is shown through comparison with several generated test scenarios of other studies. The result indicate that our approach is efficient for finding faults in loop and concurrency with fewer test scenario.