特許
J-GLOBAL ID：200903046113586473
マルチタスキングソフトウェアの検査装置
発明者：
出願人/特許権者：
代理人 (1件)：
木村 高久
公報種別：公開公報
出願番号（国際出願番号）：特願平4-155293
公開番号（公開出願番号）：特開平5-346861
出願日： 1992年06月15日
公開日（公表日）： 1993年12月27日
要約：
【要約】【目的】マルチタスキングソフトウェアの分析・設計の効率を向上する。【構成】検出部3は、マルチタスキングシステム1のマルチタスクプログラムの複数のタスクを切替制御するスジューラ2の切替を検出し、記憶部4は、検出部3により検出した切替データを記憶し、検査部5は、記憶部4に記憶されている切替データと入力部7から入力された時間的制限等の仕様データとを比較・照合してマルチタスクプログラムの実行動作が仕様を満足するか否かを検査し、出力部6は、検出部3の検出結果および検査部5の検査結果を出力する。
請求項（抜粋）：
複数のタスクを有するマルチタスクプログラムをスケジューラにより並行的に実行させる切替制御動作を検査するマルチタスキングソフトウェアの検査装置において、前記スケジューラの切替制御による切替を検出する検出部と、前記検出部により検出された切替データを記憶する記憶部と、前記記憶部に記憶されている切替データと入力された切替制御に関する仕様データとを比較・照合してマルチタスクプログラムの実行動作が仕様を満足するか否かを検査する検査部と、前記検出部の検出結果および前記検査部の検査結果を出力する出力部とを具備したことを特徴とするマルチタスキングソフトウェアの検査装置。
IPC (3件)：
G06F 9/46 330
, G06F 9/46 340
, G06F 11/28
