http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 오행석(Haeng-Seok Oh) (검색결과 2 건)
- 무료
- 기관 내 무료
- 유료
-
-
적합성시험에서 데이타흐름시험 개념의 형식화를 통한 시험케이스의 최적화
김태형(Tae-Hyong Kim),장민석(Min-Seok Jang),황익순(Ik-Soon Hwang),오행석(Haeng-Seok Oh),이재용(Jai-Yong Lee),이상배(Sang-Bae Lee) 한국정보과학회 1997 정보과학회논문지 : 시스템 및 이론 Vol.24 No.5
In this paper, we propose an optimization method of data flow test sequences in conformance testing. Test sequences for data flow test with good fault coverage are normally longer than those of control flow test, so their optimization is needed. As optimizations of control flow test sequences could have been studied on the basis of the formalized concept of the test, we formalize the concept of data flow test and optimize test sequences of the test. We first define some test measures in edges and show what test measures a test sequence has in its test measure set. Some existing data selection criteria are expressed in this way, and a new data selection criterion fit for conformance testing is proposed. As the length of data flow test sequences increases due to loops and converging states, the proposed optimization method mainly handles them through the formalized data flow test concepts. Other good points of this technique are expressed and the results of applying it to two communication protocols show its effectiveness last. 본 논문에서는 적합성시험에서 데이타흐름시험열의 최적화방법을 제안한다. 우수한 오류검출 범위를 갖는 데이타흐름시험열은 일반적으로 제어흐름시험열보다 길기 때문에 최적화가 요구된다. 제어흐름시험열의 최적화는 형식화된 시험개념을 바탕으로 연구될 수 있었으므로 마찬가지로 데이타흐름시험의 개념을 형식화하여 그 시험열을 최적화 한다. 먼저 이 각 예지에 존재하는 시험성분을 정의하고 각 시험열이 그 시험성분집합 안에 어떠한 시험성분을 가지는지를 보인다. 기존의 주요 데이타선택범주를 이러한 방법으로 표현하고 적합성시험에 알맞은 새로운 데이타 선택범주를 제안한다. 데이타흐름시험열의 길이는 주로 루프와 집중상태에 의해 증가되므로 제안된 최적화방법은 형식화된 데이타흐름시험의 개념을 통해 그 부분을 대상으로 한다. 마지막으로 제안된 방법이 가지는 다른 유용성에 대해 논의하고 두 가지 통신 프로 토콜의 시험케이스 생성에 이 기법들을 적용하여 그 효용성을 입증한다.
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
