• 정보과학회 논문지
• /
• 제43권4호
• /
• pp.480-488
• /
• 2016

탐색 기반 테스팅은 넓은 탐색 범위에서 효과적으로 테스트 데이터를 생성하는 대표적인 기술중 하나이다. 탐색 기반 테스팅의 성능이 프로그램의 구조적 특성에 영향을 받는 것이 알려져 있음에도 구조적 특성을 고려한 탐색 기반 테스팅 비교 연구는 제한적으로 수행되었다. 본 연구는 탐색 기반 테스팅 비교를 통해 테스트 대상의 구조적 특성 차이에 따른 최적 알고리즘을 분석하고자 한다. 실험 결과의 일반화를 위해 탐색 성능에 영향을 주는 4가지 메트릭 값을 조합하여 19,800개의 테스트 대상 프로그램을 자동 생성하였다. 실험 결과 복잡도가 높은 프로그램을 20,000번 이하의 횟수로 분석하였을 경우에는 유전 알고리즘이 가장 우수한 성능을 보였으나 50,000번 이상 분석하였을 경우에는 유전 담금질 기법과 담금질 기법이 다른 알고리즘들 보다 우수한 성능을 보였다. 복잡도가 낮은 프로그램에서는 유전 담금질 기법, 담금질 기법, 언덕 오르기 방법이 다른 알고리즘들 보다 우수한 성능을 보였다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제18권3호
• /
• pp.633-652
• /
• 2024

Software testing is an important phase as it ensures the software quality. The software testing process comprises of three steps: generation, execution, and evaluation of test cases. Literature claims the usage of single and multiple 'Unified Modeling Language' (UML) diagrams to generate test cases. Using multiple UML diagrams increases test case coverage. However, the existing approaches show limitations in test case generation from UML diagrams. Therefore, in this research study, we propose an approach to generate the test cases using UML State Chart Diagram (SCD), Activity Diagram (AD), and Sequence Diagram (SD). The proposed approach transforms UML diagrams into intermediate forms: SCD Graph, AD Graph, and SD Graph respectively. Furthermore, by integrating these three graphs, a System Testing Graph (STG) is formed. Finally, test cases are identified from STG by using a traversal algorithm such as Depth First Search (DFS) that is an optimization method. The results show that the proposed approach is better compared to existing approaches in terms of coverage and performance. Moreover, the generated test cases have the ability to detect faults at the unit level, integration, and system level testing.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제8권4호
• /
• pp.137-144
• /
• 2019

무기체계 기술의 국산화 과정에서 경험과 기술이 부족한 상태로 개발 중인 체계에 대한 테스트 기술의 성숙도는 매우 중요하다. 테스트에서 발견하지 못한 결함은 시스템 운용 중 막대한 영향을 미친다. 잠수함에서 실시간 정보공유 체계는 신속한 지휘결심과 임무능력으로 이어진다. 데이터 분산 시스템은 매우 중요한 정보 공유체계이며 제조사나 데이터 형태가 다른 체계들 간에 이루어진다. 본 논문에서는 데이터 분산 시스템의 데이터 분산 특성을 분석하여 데이터별 체계를 그룹핑하고, 경로 테스트 기법에 트리순회 방법인 후위트리순회, 전위트리순회를 이용하여 테스트케이스 생성기법을 제시한다. 제시한 기법은 기존기법들에 비해 73.7% 테스팅 리소스를 감소시킬 수 있다.

• 정보보호학회논문지
• /
• 제27권4호
• /
• pp.803-810
• /
• 2017

최근 소프트웨어 산업의 발달에 따른 사회적 보안 문제가 지속적으로 발생하고 있으며, 소프트웨어 안정성 검증을 위해 다양한 자동화 기법들이 사용되고 있다. 본 논문에서는 소프트웨어 테스팅 기법 중 하나인 동적 기호 실행을 이용해 윈도우 시스템 콜 함수를 대상으로 Use-After-Free 취약점을 자동으로 탐지하는 방법을 제안한다. 먼저, 목표 지점을 선정하기 위한 정적 분석 기반 패턴 탐색을 수행한다. 탐지된 패턴 지점을 바탕으로 관심 밖의 영역으로의 분기를 차단하는 유도된 경로 탐색 기법을 적용한다. 이를 통해 기존 동적 기호 실행 기술의 한계점을 극복하고, 실제 목표 지점에서의 취약점 발생 여부를 검증한다. 제안한 방법을 실험한 결과 기존에 수동으로 분석해야 했던 Use-After-Free 취약점을 제안한 자동화 기법으로 탐지할 수 있음을 확인하였다.

• 정보과학회 논문지
• /
• 제43권9호
• /
• pp.1015-1025
• /
• 2016

소프트웨어 테스트에 대한 중요도는 오늘날의 산업 전반적으로 커지고 있으며 효과적인 테스트를 지원하기 위한 많은 방법들이 연구되고 있다. 이에 테스트 설계를 위해 시스템의 요구사항을 정형화하는 방법으로 모델 기반 테스트가 주로 사용되고 있는데, 반복과 동시성 작업을 포함하는 복잡한 시스템의 경우 경로 폭발을 야기하기 쉬운 문제가 있다. 특히 동시성 작업의 경우 Thread가 추가될수록 기하급수적인 수의 테스트 시나리오가 발생하게 되는데, 기존의 방법으로는 이를 해결하기 어렵다는 문제가 있다. 본 논문에서는 동시성 경로가 가지는 작업적 특성에 주안점을 두고, 이를 탐색하는 새로운 기법으로 경로 폭발 문제를 회피하는 방법을 제안한다. 사례 연구에서는 동시성 작업을 포함하는 시스템을 액티비티 다이어그램으로 표현하고, 기존의 기법이 생성할 테스트 시나리오의 수와 비교하여 본 기법의 효과를 보인다. 본 방법은 적은 수의 테스트 시나리오를 통해 반복과 동시성 작업의 결함을 효과적으로 발견할 것임을 기대한다.

• 한국문헌정보학회지
• /
• 제52권3호
• /
• pp.247-271
• /
• 2018

본 연구는 도서관, 기록관, 박물관 등 전문적인 기관에서 기록물을 보존하고 관리하는 중앙 집중식 디지털 아카이브 구축방식과는 달리, 예산과 전문 인력이 부족한 민간 아카이브 또는 일반 개인의 디지털 아카이브 구축을 위한 공개 소프트웨어의 활용 가능성을 조사하고자 하였다. 이를 위해 공개 소프트웨어 세 가지 AtoM, ArchivesSpace, Omeka를 제안하고, 공개 소프트웨어에 대한 경험이 없는 구축자와 이용자를 대상으로 사용성 평가를 실시하였다. 평가결과, AtoM은 기록관리시스템과 서비스를 제공하기 위해 개발된 시스템으로 구축자와 이용자 모두 만족도가 높게 나타났으나, ArchivesSpace는 기록물 입력 필수 항목이 많고, 이미지 객체가 검색 화면에 제공되지 않는 등 구축자와 이용자 모두 불편하다고 응답하였다. Omeka는 아이템 레벨만 간단히 입력하여도 아카이브 구축이 가능하여 구축자 만족도는 높게 나타났으나, 검색 서비스를 고려하지 않은 전시 기능 중심 시스템으로 이용자 만족도는 낮게 나타났다. 이러한 평가 결과를 기반으로 소규모 기관이나 일반 개인이 공개 소프트웨어를 선정하고자 할 때 고려해야 하는 선정 기준을 목적, 라이선스, 구축 환경, 기능, 메타데이터, 상호운용성 등의 항목으로 제안하였다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권3호
• /
• pp.125-134
• /
• 2017

SOA (Service Oriented Architecture)를 기반으로 하는 소프트웨어는 비즈니스 요구사항에 기민하게 대응할 수 있어 사용이 확대되고 있다. SOA는 느슨한 서비스 결합과 메시지 교환 중심 아키텍처라는 특징 때문에 기존의 테스팅 방법 적용이 제한된다. 본 논문에서는 BPMN (Business Process Model and Notation)을 이용해 테스트 케이스를 생성하는 기법을 제안한다. 먼저 프로세스를 모델링하고, 이를 통해 비즈니스 흐름 그래프(BFG)를 생성한다. BFG의 입출력 차수를 대칭하고, 오일러 경로를 탐색하여 테스트 케이스를 생성한다. BPMN을 이용한 테스트 케이스 생성 기법은 SOA 기반 시스템에 적용 가능하며, 테스트 케이스 수를 감소시킬 수 있다.

• 한국지능시스템학회논문지
• /
• 제20권1호
• /
• pp.42-47
• /
• 2010

마이크로 마우스를 이용한 다수의 미로 경진대회가 개최되어 미로 탐색 알고리즘의 성능이 비교되고 있으며, 미로 탐색 알고리즘은 좌(우)수법, 구심법, 언덕오르기 등을 기본으로 하여 다양한 형태로 적용되어 사용되고 있다. 하지만 미로 탐색알고리즘을 적용하여 테스트하기 위한 소프트웨어 플랫폼이 없어서 프로그램을 직접 개발하거나 하드웨어를 통해 알고리즘의 성능을 테스트해야 하는 불편함을 겪는다. 본 연구에서는 하드웨어로 구현이 어려운 다양한 형태의 미로 제작과 알고리즘의 손쉬운 적용이 가능하고, 스텝, 연산 횟수, 탐색 시간의 평가가 가능한 미로 탐색 알고리즘을 위한 플랫폼을 개발하였다. 플랫폼은 메인 레이어, 인터페이스 레이어, 사용자 레이어의 분리 구조로 되어 알고리즘을 쉽게 교체적용 할 수 있는 장점이 있다. 플랫폼의 실험을 통하여 미로 탐색 알고리즘들의 성능을 평가하고 분석하여 알고리즘의 개발 및 실험에도 적용할 수 있음을 확인하였다.

• ETRI Journal
• /
• 제39권3호
• /
• pp.364-372
• /
• 2017

For the reliability of controllers in a software defined network (SDN), a dynamic and self-learning schedule method (DSL) is proposed. This method is original and easy to deploy, and optimizes the combination of multiple controllers. First, we summarize multiple controllers' combinations and schedule problems in an SDN and analyze its reliability. Then, we introduce the architecture of the schedule method and evaluate multi-controller reliability, the DSL method, and its optimized solution. By continually and statistically learning the information about controller reliability, this method treats it as a metric to schedule controllers. Finally, we compare and test the method using a given testing scenario based on an SDN network simulator. The experiment results show that the DSL method can significantly improve the total reliability of an SDN compared with a random schedule, and the proposed optimization algorithm has higher efficiency than an exhaustive search.

• Asian Pacific Journal of Cancer Prevention
• /
• 제13권5호
• /
• pp.2051-2055
• /
• 2012

Background: The cell cycle checkpoint kinase 2 (CHEK2) gene I157T variant may be associated with an increased risk of colorectal cancer, but it is unclear whether the evidence is sufficient to recommend testing for the mutation in clinical practice. Materials and Methods: We systematically searched PubMed, EMBASES, Elsevier and Springer for relevant articles before Apr 2012. Summary odds ratios (ORs) and 95% confidence intervals (95% CIs) were calculated using a fixed-effects or random-effects models with Review Manager 5.0 software. Results: A total of seven studies including 4,029 cases and 13,844 controls based on the search criteria were included for analysis. A significant association of the CHEK2 I157T C variant with unselected CRC was found (OR = 1.61, 95% CI = 1.40-1.87, P < 0.001). We also found a significant association with sporadic CRC (OR = 1.48, 95% CI = 1.23-1.77, P < 0.001) and separately with familial CRC (OR = 1.97, 95% CI = 1.41-2.74, P < 0.001). Conclusion: This meta-analysis demonstrates that the CHEK2 I157T variant may be another important CRC-predisposing gene, which increases CRC risk, especially in familial CRC.