학술논문
실시간 분산 시스템의 객체지향 소프트웨어 시험을 위한 정형모델
Document Type
Academic Journal
Author
Source
정보과학회논문지(C). 1995-12 1(2):199-210
Subject
Language
Korean
ISSN
1226-2293
Abstract
본 논문에서는 실시간 분산 시스템의 객체지향 소프트웨어 시험을 위한 확장된 정형 시험 모델을 제안한다. 제안된 모델은 객체 관계 다이어그램, 객체 상태 다이어그램 및 객체내의 블럭흐름 다이어그램을 기반으로 하고 있으며, 동기화, 통신 형태, 시간의 제약성 등 실시간 분산 시스템의 주요 개념들을 반영하여 확장되고 있다. 제안된 정형 모델로부터 객체지향 소프트웨어 시험을 위한 방법과 도구들을 제시하고 일부 도구의 프로토타입을 구현하여 봄으로써 모델의 적용 가능성을 확인한 결과를 기술한다.
In this paper, we propose an extended formal model for testing object -oriented real-time distributed systems. This model is based on Object Relation Diagram, Object State Diagram, and Block Branch Diagram, and extended to add the concept of real-time distributed system, such as, synchronization, communication type, and timing constraints. We suggest methods and utility tools for object-oriented software testing from the proposed formal model, and describe the validation result to show the applicability of the model by prototyping some of them.
In this paper, we propose an extended formal model for testing object -oriented real-time distributed systems. This model is based on Object Relation Diagram, Object State Diagram, and Block Branch Diagram, and extended to add the concept of real-time distributed system, such as, synchronization, communication type, and timing constraints. We suggest methods and utility tools for object-oriented software testing from the proposed formal model, and describe the validation result to show the applicability of the model by prototyping some of them.