적합성 시험의 효율과 오류 발견 능력은 생성된 테스트 시퀀스에 주로 의존한다. 본 논문에서는 프로토콜 테스팅을 하기 위하여 FSM 모델에 기초한 테스트 시퀀스를 생성하는 기법인 UIO을 이...
http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=A82305907
1990
Korean
004
학술저널
425-428(4쪽)
0
상세조회0
다운로드국문 초록 (Abstract)
적합성 시험의 효율과 오류 발견 능력은 생성된 테스트 시퀀스에 주로 의존한다. 본 논문에서는 프로토콜 테스팅을 하기 위하여 FSM 모델에 기초한 테스트 시퀀스를 생성하는 기법인 UIO을 이...
적합성 시험의 효율과 오류 발견 능력은 생성된 테스트 시퀀스에 주로 의존한다. 본 논문에서는 프로토콜 테스팅을 하기 위하여 FSM 모델에 기초한 테스트 시퀀스를 생성하는 기법인 UIO을 이용하였다. UIO의 오류 발견 능력을 향상 시키기 위하여 기존 UIO의 문제점을 제시하였고, 유일성 검증 시스템을 제안하였다. 다수의 UIO을 갖는 상태에 대해 IUT에서 유일성이 확인된 UIO가 어느 정도의 향상된 오류 발견 능력을 갖는지를 보였다.
목차 (Table of Contents)
시뮬레이터 어닐링을 이용한 조합최적화의 floorplan 설계
종속 사이클을 갖는 복수 변수들의 자료 종속성 제거에 관한 연구