KLI

사건중심 실시간 시스템을 위한 테스트 시퀸스의 발생

Metadata Downloads
Alternative Title
Generating Test Sequences for Event-Driven Real-Time Systems
Abstract
사건중심 실시가 시스템의 명세기법인 Modechart를 이용하여 성형적으로 명세된 실시간 시스템의 구현?? 검증하기 위한 방법을 제시한다. 제안된 방법을 통하여, 주어진 실시간 시스템의 Modechart 명세와 그 구현간에 상이점이 있는지를 검증하기 위한 테스트 시퀀스를 발생하고, 가상환경하에서 이 발생된 테스트 시퀀스를 이용하여 그 구현이 명세와 일치되는 지를 검증할 수 있다.
We present a method for testing event-driven real-time systems based on Modechart specifications. From a Modechart specification, the proposed method generates test sequences for checking whether there is a discrepancy between a Modechart specification and its implimentation. The implementation can be tested, under virtual environment, by the generated sequences for conformance to its specification.
We present a method for testing event-driven real-time systems based on Modechart specifications. From a Modechart specification, the proposed method generates test sequences for checking whether there is a discrepancy between a Modechart specification and its implimentation. The implementation can be tested, under virtual environment, by the generated sequences for conformance to its specification.
Author(s)
이명준Son, Sang.H.
Issued Date
1995
Type
Research Laboratory
URI
https://oak.ulsan.ac.kr/handle/2021.oak/3818
http://ulsan.dcollection.net/jsp/common/DcLoOrgPer.jsp?sItemId=000002024249
Alternative Author(s)
Lee,Myung-Joon
Publisher
공학연구논문집
Language
eng
Rights
울산대학교 저작물은 저작권에 의해 보호받습니다.
Citation Volume
26
Citation Number
2
Citation Start Page
79
Citation End Page
86
Appears in Collections:
Research Laboratory > Engineering Research
공개 및 라이선스
  • 공개 구분공개
파일 목록

Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.