http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
테스트 목표 기반의 향상된 RRT 확장 기법을 이용한 Stateflow 모델 테스트 케이스 생성
박현상 ( Hyeon Sang Park ),최경희 ( Kyung Hee Choi ),정기현 ( Ki Hyun Chung ) 한국정보처리학회 2013 정보처리학회논문지. 소프트웨어 및 데이터 공학 Vol.2 No.11
This paper proposes a test case generation method for Stateflow model using the extended RRT method. The RRT method which has been popularly used for planning paths for complex systems also shows a good performance for test case generation. However, it does not consider the test coverage which is important for test case generation. The proposed extension method hires the concept of test goal achievement to increase test coverage and drives RRT extension in the direction that increases the goal achievement. Considering the concept, a RRT distance metric, random node generation method and modified RRT extension algorithm are proposed. The effectiveness of proposed algorithm is compared with that of the typical RRT algorithm through the experiment using the practical automotive ECUs.
휴리스틱 입력 분석을 이용한 RRT 기반의 Simulink/Stateflow 모델 테스트 케이스 생성 기법
박현상 ( Hyeon Sang Park ),최경희 ( Kyung Hee Choi ),정기현 ( Ki Hyun Chung ) 한국정보처리학회 2013 정보처리학회논문지. 소프트웨어 및 데이터 공학 Vol.2 No.12
This paper proposes a modified RRT (Rapidly exploring Random Tree) algorithm utilizing a heuristic input analysis and suggests a test case generation method from Simulink/Stateflow model using the proposed RRT algorithm. Though the typical RRT algorithm is an efficient method to solve the reachability problem to definitely be resolved for generating test cases of model in a black box manner, it has a drawback, an inefficiency of test case generation that comes from generating random inputs without considering the internal states and the test targets of model. The proposed test case generation method increases efficiency of test case generation by analyzing the test targets to be satisfied at the current state and heuristically deciding the inputs of model based on the analysis during expanding an RRT, while maintaining the merit of RRT algorithm. The proposed method is evaluated with the models of ECUs embedded in a commercial passenger`s car. The performance is compared with that of the typical RRT algorithm.
임베디드 시스템의 실시간 Black-Box Testing 실행을 위한 신호 생성 및 입력 장치 제어 방법 구현
권진석 ( Jin-seok Kwon ),정기현 ( Ki-hyeon Chung ),최경희 ( Kyoeng-hee Choi ) 한국정보처리학회 2009 한국정보처리학회 학술대회논문집 Vol.16 No.1
임베디드 시스템의 Black-Box 테스트 자동화를 위해 Test Script 기반으로 테스트를 진행하고 있는 툴이 많이 있다. Test Script 에 기술되어 있는 입력 값을 임베디드 시스템의 실제 신호로 생성하고 또 Test Script 에 기술된 출력 예상 값을 검증하기 위해 임베디드 시스템의 출력 신호를 읽어 들이기 위해서 일반적으로 DAQ Board 를 사용한다. 이 때 다양 한 DAQ Board 또는 다른 장치를 제어하기 Service 라는 레이어를 두어 다양한 장치에 상응하는 프로그램을 만들 수 있도록 하였다. 본 논문에서는 Test Script 실행에 있어 실시간 성을 최대한 보장하기 위해 각 Service 의 실행시간을 최소화 하는 방법에 대해 논하고자 한다. 논의를 하는데 있어 다양한 Service 중 NIDAQ Board 를 이용하여 신호를 생성하고 읽어 들이는 Service 가 모든 테스트에 있어 일반적으로 사용하게 되는 Service 이기에 이를 기준으로 Service 의 실행 시간을 최소화 하는 방법을 구현 하였다.