지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 소프트웨어 및 응용 정보과학회논문지 : 소프트웨어 및 응용 제28권 제9호
- 발행연도
- 2001.9
- 수록면
- 634 - 648 (15page)
이용수
초록· 키워드
오류제보하기
MSC는 통신 소프트웨어에서의 병행 수행 태스크들 사이의 상호작용을 기술하기 위해서 많이 사용되어져 왔다. 요구사항 단계에서 검증된 MSC 명세는 상태 기반의 설계 모델을 합성하는데 사용될 수 있을 뿐만 아니라, 테스트 시퀀스 생성에 사용될 수도 있다. 지금까지는 MSC에 기술된 각 이벤트의 위치정보 만을 이용하여 전체 상태 그래프를 생성함으로써 검증을 수행하였다. 본 논문에서는 MSC의 조건문을 시나리오 활성화 조건과 상태 변경을 기술할 수 있도록 확장하고, 이를 이용하여 전체 상태 그래프를 생성함으로써 테스트 시퀀스 생성에 이용한다. 생성된 전체 상태 그래프인 GFSM은 시스템의 의미있는 상태 정보와 가능한 메시지 시퀀스만을 가지게 된다. 생성된 GFSM에 기존의 FSM 기반의 테스팅 기법을 적용하여 테스트 시퀀스를 추출할 수 있다.
목차
요약
Abstract
1. 서론
2. MSC 명세언어
3. Global Finite State Machine의 생성
4. 적용 예
5. 관련 연구
6. 결론 및 향후연구
참고문헌
저자소개
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
MSC로 기술된 통신 소프트웨어 명세의 검증을 위한 전체 상태 전이 그래프 생성
정보과학회논문지(B)
1999 .12
-
MSC 명세를 기반으로 한 병렬 프로그램 테스팅 환경의 개발
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2000 .04
-
부분순서 관계를 이용한 내장 소프트웨어의 축소된 테스트 모델 생성
정보과학회논문지 : 소프트웨어 및 응용
2003 .12
-
MSC 명세에 기반한 병렬 프로그램의 프로세스 간 테스팅
정보과학회논문지 : 소프트웨어 및 응용
2000 .02
-
MSC로 작성된 통신 프로토콜 명세의 의미론 연구
한국정보과학회 학술발표논문집
2000 .04
-
Performance Analysis of Link between MSC’s for CDMA Inter-MSC Soft Handoff
한국통신학회 학술대회논문집
1998 .11
-
CDMA MSC 구현기술
한국통신학회지(정보와통신)
1996 .04
-
Superoxide dismutase 3 protects mesenchymal stem cells through enhanced autophagy and regulation of FoxO3a trafficking
BMB Reports
2018 .01
-
고해상도카메라시스템(MSC)을 위한 실시간 소프트웨어 구현 및 태스크 스케줄링 분석
한국항공우주학회 학술발표회 초록집
2002 .11
-
유전 알고리즘을 이용한 MSC(Maximum Set Covers) 스케줄링 기법
한국통신학회 학술대회논문집
2009 .11
-
Mitochondrial genome mutations in mesenchymal stem cells derived from human dental induced pluripotent stem cells
BMB Reports
2019 .01
-
WCDMA MSC 시스템 호 유형 별 성능 분석 사례
한국정보통신설비학회 학술대회
2008 .01
-
네트워크 프로세서(MSC8101)을 이용한 광역 감시 진단용 플랫폼 개발
대한전기학회 학술대회 논문집
2003 .11
-
네트워크 프로세서(MSC8101)을 이용한 광역 감시 진단용 플랫폼 개발
대한전기학회 학술대회 논문집
2003 .11
-
객체지향 GUI환경을 사용한 MSC 상태 관리 설계 ( Designing Status Management for MSC using Object-Oriented GUI Environment )
대한전자공학회 학술대회
1995 .11
-
객체지향 GUI환경을 사용한 MSC 상태 관리 설계
대한전자공학회 학술대회
1995 .12
-
MSC(Multi-Spectral Camera) 열제어 시스템 소개
항공우주기술
2005 .11
-
다중 교환기 MSC 페이징 기능 설계 및 구현
한국통신학회 학술대회논문집
2006 .07
-
CDMA2000 네트워크 상에서 Location Based Service를 지원하기 위한 MSC 설계 및 구현
한국통신학회 학술대회 및 강연회
2001 .04
-
육각형의 셀배치를 가지는 CDMA 이동통신 시스템에서 MSC 간의 소프트 핸드오프를 위한 성능분석
대한산업공학회지
2004 .12
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017823922