C言語プログラム解析ツール

スポンサーリンク

概要

論文の詳細を見る
東芝府中工場では、鉄鋼、原子力などの大規模で、複雑な制御システムを多く作成している。この、大規模システムでのプログラム品質を確保するために、TOSBAC-G8000上で動作するチェックツールを報告する。これらのシステムは、複数のタスクで構成しており、タスクレベルで単体試験をしたのちに、組合試験を行う。組合試験では、タスク間で共通的に利用する資源(プリンタ、共用メモリ等)の確保、利用、資源の解放と言う一連の動作を確認する。しかしながら、設計、プログラムの製造誤りにより正しく動作しない場合がある。この種の問題は、複数のタスクが関係するため、この問題のプログラムを特定するために、多くの時間がかかる。そこで、ソフトウェア作業工程のプログラム製造(対象C言語)が終了した段階でソースプログラムを解析し、これらの資源系の確保/解放の組みの矛盾チェックと、試験実行のための指標を示すこととした。
一般社団法人情報処理学会の論文
1989-10-16

著者

関連論文

スポンサーリンク