• 정보과학회 논문지
• /
• 제43권8호
• /
• pp.883-892
• /
• 2016

스펙트럼 기반 결함위치식별 기법은 성공 테스트케이스 대비 실패 테스트케이스에 영향을 많이 받은 스테이트먼트에 의심도를 통계적으로 부여하는 기법이다. 이 기법에서 실패 테스트케이스를 지나간 스테이트먼트에는 의심도를 부여하고 성공 테스트케이스를 지나간 스테이트먼트는 부여된 의심도 일부를 줄이는 역할을 한다. 그러므로 실패 테스트케이스의 역할이 매우 중요하며 부재 시 결함의 위치를 찾을 수 없기도 하다. 하지만 이 기법에서 실패, 성공 테스트케이스를 동시에 입력하여 의심도를 계산하기 때문에 실패 테스트케이스의 고유 특성을 반영할 수 없다는 한계점을 가지고 있다. 본 논문에서는 이와 같은 한계점을 보완하여 보다 정확한 결함위치식별을 도와줄 수 있는 테스트케이스 그룹화기법을 제안한다. 또한, 테스트 효율성을 고려한 필터링 기법을 제안하고 이들을 65개의 알고리즘에 적용해 실효성을 검증한다. EXAM score기준으로 전체의 90% 기법에서 정확도 13%, 효율성이 72% 향상되었다.

• 한국건설순환자원학회논문집
• /
• 제4권2호
• /
• pp.203-208
• /
• 2016

본 논문에서는 침지내 환경을 재현한 철근부식촉진시험과 장기폭로시험을 실시하였다. 환경조건을 변수로 시험을 실시하였으며, 반전지전위법을 통한 철근부식 모니터링을 실시하였다. 부식촉진 시험결과 시험조건 별 상관계수 도출을 할 수 있었다. 촉진시험은 온도조건에 따라 인공해수의 온도가 $20^{\circ}C$인 case 1과 $65^{\circ}C$인 case 2로 구분하여 실시하였다. 고온 조건인 case 2가 1.7~1.8배 정도 상온조건인 case 1에 비해 부식을 촉진시키는 것으로 나타났으며, 해양환경시험장에서의 장기폭로시험결과와의 비교를 통해 case 1의 경우 2.45~2.94의 상관계수를 case 2의 경우 4.37~4.99의 상관계수를 나타내었다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제15권3호
• /
• pp.932-951
• /
• 2021

The effectiveness of testing in Model-based Testing (MBT) for Software Product Line (SPL) can be achieved by considering fault detection in test case. The lack of fault consideration caused test case in test suite to be listed randomly. Test Case Prioritization (TCP) is one of regression techniques that is adaptively capable to detect faults as early as possible by reordering test cases based on fault detection rate. However, there is a lack of studies that measured faults in MBT for SPL. This paper proposes a Test Case Prioritization (TCP) approach based on dissimilarity and string based distance called Last Minimal for Local Maximal Distance (LM-LMD) with Dice-Jaro-Winkler Dissimilarity. LM-LMD with Dice-Jaro-Winkler Dissimilarity adopts Local Maximum Distance as the prioritization algorithm and Dice-Jaro-Winkler similarity measure to evaluate distance among test cases. This work is based on the test case generated from statechart in Software Product Line (SPL) domain context. Our results are promising as LM-LMD with Dice-Jaro-Winkler Dissimilarity outperformed the original Local Maximum Distance, Global Maximum Distance and Enhanced All-yes Configuration algorithm in terms of Average Fault Detection Rate (APFD) and average prioritization time.

• 한국군사과학기술학회지
• /
• 제23권4호
• /
• pp.389-398
• /
• 2020

Test cases in the existing weapon system software were created manually by the tester analyzing the test items defined in the software integration test procedure. However, existing test case generation method has two limitations. First, the quality of test cases can vary depending on the tester's ability to analyze the test items. Second, excessive time and cost may be incurred in writing test cases. This paper proposes a method to automatically generate test cases based on the requirements model and specifications to overcome the limitations of the existing weapon system software test case generation. Generate test sequences and test data based on the use case event model, a model representing the requirements of the weapon system software, and the use case specification specifying the requirements. The proposed method was applied to 8 target models constituting the avionics control system, producing 30 test sequences and 8 test data.

• 항공우주기술
• /
• 제6권2호
• /
• pp.188-196
• /
• 2007

복합재 케이스는 KSLV-I 킥모터 시스템 요구 조건을 만족하도록 설계하였다. 비행모델 제작에 앞서 신뢰성을 확보하기 위해 구조시험과 연소시험을 수행하였다. 구조시험으로는 수압시험, 진공시험, 비 파괴검사를 수행하여 연소시험 전에 케이스의 구조적 건전성을 확인하였으며 지상연소시험을 통해 열적 구조적 특성을 고찰하였다.

• 정보처리학회논문지D
• /
• 제13D권2호
• /
• pp.215-222
• /
• 2006

모바일 소프트웨어의 생산성을 높이고 신뢰성 있는 소프트웨어를 개발하기 위한 모바일 소프트웨어 테스트의 중요성이 부각되고 있다. 모바일 소프트웨어의 테스팅 기술이 효율적으로 적용되기 위해서는 모바일 플랫폼 기반의 테스트를 자동화 할 수 있는 기술이 필요하다. 즉, 모바일 플랫폼에서 제공하는API를 테스트 하기 위한 테스트케이스를 생성할 수 있는 기법이 필요하다. 테스트케이스를 생성하게 되면 소프트웨어의 생산성과 신뢰성을 향상 시킬 수 있을 뿐만 아니라, 테스트 기간 및 비용을 줄일 수 있다는 이점이 있다. 본 논문에서는 기존의 테스트 자동화에 관련된 연구와 테스트 자동화 도구에 대한 연구를 통해 테스트케이스 생성 범위를 설정하고, J2ME 플랫폼에 사용될 수 있는 테스트케이스 생성 기법인 키워드 방식 기법(Keyword Driven Method)을 제시하였으며, 제안한 생성 기법을 적용하여 J2ME 플랫폼 기반의 테스트에 활용 가능한 테스트케이스 생성 기법이 되도록 하였다.

• 산업기술연구
• /
• 제32권A호
• /
• pp.125-128
• /
• 2012

In this paper, we proposed a prioritization method of test cases using a value estimation model of test sets, that are key elements for highly effective software testings as well as involve a large cost factor in software developments and maintenances. Based on previous studies, our idea includes introducing some practical factors of the test case prioritization which critically influence the value of a test case: Relative values of test sets before and after the test running, Average value of these two relative values, Severity of the defect, Risks that are covered, Frequency of use, Change related values, Systematic elicitations, etc. Finally we discussed the usefulness and the expected effects of the proposed scheme.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 추계학술발표대회
• /
• pp.1452-1455
• /
• 2012

본 논문은 출시된 지능형 교통 기반으로 설계된 RoboCAR 운행제어 개발과 시험을 하고자 한다. 이를 위해 시스템 설계를 통해,Test Case 추출과 실제로 적용하여 구현된 소프트웨어를 시험에 목적을 둔다. 이 절차는 Use-Case Diagram 설계, Decision Factor 추출, 이 기반으로 Cause-Effect Diagram을 생성한다. Cause-Effect Diagram을 통해 Decision Table을 생성한다. 최종적으로 Decision Table을 기반으로 Test Case를 추출한다. 추출된 Test Case를 적용하여 시스템을 테스트 하였고, 설계와 구현이 동일하게 되었음을 검증하였다.

• 시스템엔지니어링학술지
• /
• 제10권1호
• /
• pp.73-80
• /
• 2014

Designing test case flows for water crossing operation of a wheeled vehicle is a new attempt for which very limited experiences exist. In this paper, a Function Flow Block Diagram(FFBD) and a Classification Tree Method(CTM) were combined to see if this method is viable to generate the test case flows at the functional analysis stage. It was found that this method can be practically used for the very complicated test case generation.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제2권1호
• /
• pp.70-77
• /
• 2002

This paper describes a design driven approach to drive intelligent test plan generation based on adaptive use case (3,5). Its foundation is an object-oriented software design approach which partitions design schema into design architecture of functional components called “design component”. A use case software development methodology of adaptive use case approach developed in I.I .T is employed which preserves this unit architecture on through to the actual code structure. Based on the partition design schema produced during the design phase of this methodology, a test plan is generated which includes a set of component and scenario based test. A software metric is introduced which produces an ordering of this set to enhance productivity and both promote and capitalize on test case reusability, This paper contains an application that illustrates the proposed approach.