- 著者
-
市岡 秀俊
大久保 英嗣
津田 孝夫
白濱 和人
佐々木 克也
日野 耕二
宇都宮 敏行
- 雑誌
- 全国大会講演論文集
- 巻号頁・発行日
- vol.37, pp.257-258, 1988-09-12
R^2シミュレータは、実時間オペレーティングシステムR^2を用いたアプリケーションプログラムの開発支援システムD^2の中核をなすソフトウェアであり、実時間システムのデバッグおよびテスト効率の向上を目的としている。一般に、実時間システムは、以下のような要因によりデバッグおよびテストが困難であるとされている。(1)動作が非決定的である。すなわち、システム内のタスクのふるまいは内部状態にとどまらず、他のタスクや外部との相互作用によって決定される。(2)ソースプログラムのみで、システム全体の正当性を検証することが困難である。すなわち、プログラムテキストの文脈のみでは他のタスクの命令の実行順序を知ることができない。(3)テストケースに対応した実行環境の構築に時間がかかる。本稿では、以上の問題点を解決するために開発を行ったR^2シミュレータの機能と全体構成について述べる。