• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권3호
• /
• pp.212-218
• /
• 2007

아직까지 소프트웨어 개발조직에서는 사전검증 활동 및 충분한 테스트 설계가 수행되지 않고 있으며, 따라서 개발 초기에 식별, 수정될 수 있는 결함들까지 테스트시 검출되기 때문에 투입 노력 대비 테스트의 효율성은 떨어진다. 이러한 문제의식을 바탕으로 본 논문은 구현이전단계에서의 사전검증이 수행 되지 않고, 테스트 케이스 설계가 충분히 진행되지 않은 경우에 테스트의 효율성을 향상시킬 수 있는 방법을 실사례를 통해 제안하고 있다. 테스트 단계에서의 코드 리뷰와 코드 품질 분석을 통해 테스트 우선순위 선정, 테스트별 테스트 케이스 설계 등의 주요 활동과 테스트팀과 개발팀과의 역할을 구체적으로 제시한다.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제13권1호
• /
• pp.55-63
• /
• 2013

For a reliability assessment of large machinery parts, reliable data should be obtained from testing many samples for a long time. However, in case of testing these samples, testing cost is excessive; in case of life test for long time, power consumption is high; and in case of accelerated test by over load, very high cost is required to build the life testing device. Especially it is very frequent that the expensive device's life has ended during a accelerated test by over load. In this study, the design mechanism of the life testing device which excels in energy saving during the reliability test of large machinery parts has been introduced.

• 정보기술과데이타베이스저널
• /
• 제6권2호
• /
• pp.29-43
• /
• 1999

Object-oriented development methodologies require consistent and seamless object-oriented paradigm to be applied from analysis to testing. Testing must focuses on the state of aggregated objects. This paper suggests testing methods that satisfy such requirements. In order to confirm appropriate implementation of the user requirements, the methods apply extended use case[Jacobson et al., 1992] that are prepared form analysis stage. Testing must be performed based on the use cases because the user requirements are formally documented in the use cases. The notations of the original use case are modified for the state-based testings. The testing methods consist of a unit testing and four-level of integration testing. Particularly, the level 0 testing is based on FREE state machine [Binder, 1995, 1996]. The testing methods have been applied to 3 projects and proved their practicability.

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

• 전자공학회논문지CI
• /
• 제45권5호
• /
• pp.180-191
• /
• 2008

적응적 랜덤 테스팅 (Adaptive Random Testing, ART)은 입력 도메인 내의 오류 패턴을 순수 랜덤 테스팅 (Random Testing, RT)보다 좋은 효율로 찾아내기 위해 고안된 테스트 케이스 선택 알고리즘이다. 대표적인 ART 기법인 거리 기반 ART (Distance-based ART, D-ART)와 제한 영역 기반 ART (Restricted Random Testing, RRT) 둥은 좋은 성능을 보이기는 하지만, 테스트 케이스 선택에 필요한 많은 양의 거리 계산으로 인한 느린 테스트 케이스 생성과 거리 기반 방식의 사용으로 인한 테스트 케이스 분포의 불균일성이라는 단점을 가진다. 반복 분할 기반 ART (ART through Iterative Partitioning, IP-ART)는 입력 도메인을 반복 분할하는 방식을 통해 D-ART와 RRT가 가진 계산 부하를 크게 감소시켰다. 하지만 IP-ART의 경우에도 테스트 케이스 분포 문제는 여전히 존재하여 기법의 확장 적용에 대한 장애 요소로 작용하고 있다. 따라서 본 논문에서는 이와 같은 IP-ART의 단점 완화 및 성능 개선을 위한 방법을 제안하고, 실험을 통해 평균 9% 정도의 성능 향상을 확인하였다.

• 응용통계연구
• /
• 제10권1호
• /
• pp.47-60
• /
• 1997

본 논문에서는 그룹검사를 이용하여 질병률이 알려져 있지 않은 경우에 효율적인 혈액 검사 절차를 제시한다.

• 한국컴퓨터정보학회논문지
• /
• 제10권3호
• /
• pp.89-99
• /
• 2005

소프트웨어 테스팅 도구를 이용하여 테스팅 프로세스의 전체 또는 일부를 자동처리 함으로써 테스팅 시간의 단축과 비용을 줄일 수 있다. 현재 상용화된 테스팅 자동화 도구들은 상호 호환성을 고려하지 않고 개발되었기 때문에 특히, 테스트 설계 단계에서 생성되는 테스트 케이스(테스트 프로시저, 테스트 데이터 및 테스트 수행 결과의 예측 등)의 정보 공유와 재사용이 불가능하다. 본 논문에서는 테스트 케이스의 정보 공유와 재사용을 위하여 테스팅 자동화 도구들의 통합화 대신에 테스팅 수행과정에서 생성된 테스트 케이스 정보를 다른 테스팅 도구들에서도 접근, 공유할 수 있는 테스팅 자동화 프레임워크를 제안하였다. 제안한 통합 환경 테스팅 자동화 프레임워크의 유효성과 효과성, 그리고 시스템 성능과 테스트 케이스의 재사용성을 입증하기 위하여 기존 3개의 테스팅 도구들을 테스트 시나리오에 따라 실험하였다. 실험한 결과 통합 환경 테스팅 자동화 프레임워크 상에서 테스트 케이스의 재사용을 통해 테스팅 시간의 단축과 비용을 감소시킬 수 있었다.

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

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2001년도 제17회 학술발표회 논문초록집
• /
• pp.90-93
• /
• 2001

In the present work, ultrasonic testing method has been developed to evaluate adhesive layers in rocket motor case assembly for the reliability of the rocket. The main objective of the present work was to find debonding between steel and rubber layers. The relationship between adhesion ratio and reflected ultrasonic amplitude was calculated by considering reflection coefficient at the interface between steel and rubber layers. It was found that the higher amplitude of ultrasound is reflected for the debonding area, and shown good agreements with experimental results. The ultrasonic C-scan images offers good implements for the determination of debonding area. The nondestructive testing results were compared with the micrography of destruective testing. As results, ultrasonic testing could be utilized for the evaluation of adhesive layer in the rocket motor case assembly.

• 한국전자거래학회지
• /
• 제9권1호
• /
• pp.1-19
• /
• 2004

시간적 금전적 압박으로 최근의 웹 응용에서는 체계적인 시험작업이 종종 간과되곤 한다. 게다가 효과적인 웹 응용 시험 방법이 많지 않아 웹 응용에 기존의 시험 방법들을 적용하면서 개발자들은 많은 어려움을 겪고 있다. 빠르고 효과적 인 시험을 위하여 웹 페이지간의 메시지를 모델링한 UML 순차도(Sequence Diagram)로부터 웹 응용을 위한 시험사례를 추출하는 방법을 제안한다. 웹 응용을 위한 시험사례들은 UML의 순차도에서 자기 호출 메시지 (Self-Call Messages)를 포함한 메시지들로부터 추출된다. 시험사례는 시험할 대상인 메시지와 스크립트 함수, 서버 페이지와 추가적인 시험값들로 구성된다. 또한, 웹 응용 시험을 지원하기 위한 간단한 도구를 제시한다. 이 시험 도구는 웹 응용을 시험하기 위한 URL을 생성하고 이를 실행하여 그 결과를 보인다. 생성된 URL은 시험할 서버 페이지의 주소와 추가적인 시험값들로 구성된다. 이 도구는 마이크로소프트 비주얼 베이직으로 작성하였다. 회원 관리 기능을 수행하는 웹 응용개발 과제에 제안하는 시험사례 추출방법과 시험 지원 도구를 적용하였으며 그 유용성을 확인하였다.