인문학
사회과학
자연과학
공학
의약학
농수해양학
예술체육학
복합학
DBpia AI
AI 에이전트
AI 아이디어
AI 리더
AI 뷰어
Citeasy
크롬 서지관리 다운로드
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 저자정보
피인용 0
초록·키워드
본 논문에서는 EFSM(Extended Finite State Machine) 모델을 바탕으로한 프로토콜 명세로부터 실행 가능한 시험경우들을 생성하는 방법을 제시하고자 한다. 내부기능이 확장된 EFSM으로부터 시험경우를 생성하기 위해 EFSM 모델로 기술된 프로토콜 명세자체를 더욱 간단한 형태로 변환하여 제어흐름(Control Flow) 부분은 FSM(Finite State Machine) 모델과 유사한 방향그래프로 표현하고 이를 참조하여 기존의 시험경우 생성방법을 바탕으로 구현된 시험경우 생성기에 적용하여 시험경우들을 생성한 다음, CLP(R)(Constraint Login Programming) 을 사용하여 생성된 시험경우들이 항상 실행가능한지, 조건적으로 실행이 가능한 것인지, 혹은 실행이 불가능한 것인지를 판별하여 조건적으로 실행이 가능한 것인경우 이를 만족시키는 constraint 문제를 해결하였다. 위와같은 실행가능시험경우 생성방법을 SDL/GR로 기술되어 있는 B-ISON SSCS-UNI(ITU-T Rec. Q.2110, Q2130) 명세에 적용하여 완벽하게 실행이 가능한 시험스위트들로 생성된 결과 중 일부를 결과로 제시하고자 한다.
본문·목차
인공지능 문자 인식 모델을 통해 추출된 텍스트로, 일부 오타나 오류가 포함될 수 있으나 지속적으로 개선 중입니다.
오류를 발견하셨다면 해당 부분을 드래그한 후 ' 를 통해 신고해주세요.
오류를 발견하셨다면 해당 부분을 드래그한 후 ' 를 통해 신고해주세요.
최근 본 자료 전체보기
UCI(KEPA) : I410-ECN-0101-2009-569-017973547
