特許
J-GLOBAL ID：200903091003781691
プログラム開発支援装置、プログラム開発支援方法及びプログラム開発支援プログラムを記録した媒体
発明者：
出願人/特許権者：
代理人 (1件)：
木内 光春
公報種別：公開公報
出願番号（国際出願番号）：特願平9-339608
公開番号（公開出願番号）：特開平11-175369
出願日： 1997年12月10日
公開日（公表日）： 1999年07月02日
要約：
【要約】【課題】 シナリオ以外の挙動が実行された場合に警告等の信号をユーザに表示し、プログラムの信頼性を確保できるプログラム開発支援装置、プログラム開発支援方法及びプログラム開発支援プログラムを記録した媒体を提供する。【解決手段】 並行プログラム1から、その挙動を逐次的に表現したシナリオを作成するシナリオ作成手段2と、シナリオの集合であるシナリオ情報3における各シナリオの正しさを確認するテスト・デバッグ手段6と、並行プログラム1の実行手段8と、並行プログラム1の実行時に、プログラムの実行情報9とシナリオ情報3とを比較する比較手段10と、プログラムの実行情報9がシナリオにない挙動をしている場合には、ユーザに対する警告を表示する比較結果表示手段11とを有する。
請求項（抜粋）：
プログラムの開発を支援するプログラム開発支援装置において、与えられたプログラムから、シナリオ情報を作成するシナリオ作成手段と、前記プログラムを実行する実行手段と、前記実行手段によって実行されたプログラムの実行情報と前記シナリオ情報とを比較する比較手段と、前記比較手段による比較結果を表示する表示手段とを有することを特徴とするプログラム開発支援装置。
IPC (2件)：
G06F 11/28 340
, G06F 9/06 540
G06F 11/28 340 A
, G06F 9/06 540 S
