WEKO3
アイテム
C言語プログラム解析ツール
https://ipsj.ixsq.nii.ac.jp/records/117830
https://ipsj.ixsq.nii.ac.jp/records/117830ff1e0932-ce91-4433-a584-b14d1466ebda
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00001336103.pdf (152.4 kB)
|
|
| Item type | National Convention(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 1989-10-16 | |||||
| タイトル | ||||||
| タイトル | C言語プログラム解析ツール | |||||
| タイトル | ||||||
| 言語 | en | |||||
| タイトル | C language program analyser | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 著者所属 | ||||||
| (株)東芝 府中工場 | ||||||
| 著者所属 | ||||||
| (株)東芝 府中工場 | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| TOSHIBA CORPORATION, FUCHU WORKS | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| TOSHIBA CORPORATION, FUCHU WORKS | ||||||
| 論文抄録 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 東芝府中工場では、鉄鋼、原子力などの大規模で、複雑な制御システムを多く作成している。この、大規模システムでのプログラム品質を確保するために、TOSBAC-G8000上で動作するチェックツールを報告する。これらのシステムは、複数のタスクで構成しており、タスクレベルで単体試験をしたのちに、組合試験を行う。組合試験では、タスク間で共通的に利用する資源(プリンタ、共用メモリ等)の確保、利用、資源の解放と言う一連の動作を確認する。しかしながら、設計、プログラムの製造誤りにより正しく動作しない場合がある。この種の問題は、複数のタスクが関係するため、この問題のプログラムを特定するために、多くの時間がかかる。そこで、ソフトウェア作業工程のプログラム製造(対象C言語)が終了した段階でソースプログラムを解析し、これらの資源系の確保/解放の組みの矛盾チェックと、試験実行のための指標を示すこととした。 | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00349328 | |||||
| 書誌情報 |
全国大会講演論文集 巻 第39回, 号 ソフトウェア工学, p. 1555-1556, 発行日 1989-10-16 |
|||||
| 出版者 | ||||||
| 言語 | ja | |||||
| 出版者 | 情報処理学会 | |||||
