실시간 분산 시스템의 객체지향 소프트웨어 시험을 위한 정형모델 = A Formal Model for Object-Oriented Software Test on Real-time Distributed Systems

국문 초록 (Abstract)

본 논문에서는 실시간 분산 시스템의 객체지향 소프트웨어 시험을 위한 확장된 정형 시험 모델을 제안한다. 제안된 모델은 객체 관계 다이어그램, 객체 상태 다이어그램 및 객체내의 블럭흐름 다이어그램을 기반으로 하고 있으며, 동기화, 통신 형태, 시간의 제약성 등 실시간 분산 시스템의 주요 개념들을 반영하여 확장되고 있다. 제안된 정형 모델로부터 객체지향 소프트웨어 시험을 위한 방법과 도구들을 제시하고 일부 도구의 프로토타입을 구현하여 봄으로써 모델의 적용 가능성을 확인한 결과를 기술한다.

다국어 초록 (Multilingual 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.

목차 (Table of Contents)

• 요약
• Abstract
• 1. 서론
• 2. 관련 연구
• 3. 객체지향 실시간 분산 시스템 분석
• 4. 확장된 정형모델
• 5. 실험
• 6. 결론
• 감사의 글
• 참고문헌
• 저자소개