검색 기능은 준비 중입니다.
검색 기능은 준비 중입니다.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

E-Synchronizable Test Sequence for the Protocol Data Portion 프로토콜 데이터 부분에 대한 E-동기화 가능 테스트 시퀀스

Wen-Huei CHEN

  • 조회수

    0

  • 이것을 인용

요약 :

데이터 부분 사양에 부합하도록 프로토콜 구현을 위한 실행 가능하고 동기화 가능한(즉, e-동기화 가능한) 테스트 시퀀스를 생성하기 위한 새로운 기술이 제안되었습니다. 프로토콜의 제어 부분은 FSM(Finite State Machine)으로 지정되고, 데이터 부분은 규칙 집합으로 지정됩니다. 이 기술에는 FSM과 규칙을 DuplexSelect 이중 그래프로 변환하는 작업이 포함되며, 이를 통해 동기화 가능(즉, 동기화 문제가 발생하지 않음) 및 실행 가능(즉, 규칙을 위반하지 않는 매개변수 값과 연결됨) 테스트 시퀀스를 생성할 수 있습니다. 그런 다음 중국 우편 배달부 선택 알고리즘을 사용하여 각 규칙을 한 번 이상 확인하는 e-동기화 테스트 시퀀스의 비용을 최소화합니다.

발행
IEICE TRANSACTIONS on Communications Vol.E83-B No.7 pp.1580-1583
발행일
2000/07/25
공개일
온라인 ISSN
DOI
원고의 종류
LETTER
범주
네트워크

작성자

키워드