WEKO3
アイテム
C言語プログラム検査ツールの実装と適用結果
https://ipsj.ixsq.nii.ac.jp/records/21963
https://ipsj.ixsq.nii.ac.jp/records/2196394c0f7ac-2fdf-4cb8-83f5-ce8090d47836
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE94100009.pdf (1.2 MB)
|
Copyright (c) 1994 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1994-09-08 | |||||||
| タイトル | ||||||||
| タイトル | C言語プログラム検査ツールの実装と適用結果 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Implementation and Evaluation of C Language Program Check Tool : ALINT | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 国際電信電話株式会社研究所 | ||||||||
| 著者所属 | ||||||||
| 国際電信電話株式会社研究所 | ||||||||
| 著者所属 | ||||||||
| 国際電信電話株式会社研究所 | ||||||||
| 著者所属 | ||||||||
| 国際電信電話株式会社研究所 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| KDD R & D Laboratories | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| KDD R & D Laboratories | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| KDD R & D Laboratories | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| KDD R & D Laboratories | ||||||||
| 著者名 |
青木, 圭子
× 青木, 圭子
|
|||||||
| 著者名(英) |
KeikoAoki
× KeikoAoki
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 近年，ANSI標準規格準拠のC言語を用いたソフトウェア開発が普及しつつあり，様々な計算機環境でANSIC言語コンパイラが利用可能となっている．筆者らは，ANSIC言語で書かれたプログラムの再利用を促進するため，C言語プログラム検査ツール(I)を実装した．本ツールは，）コンパイラ毎に異なる検査項目を一つのツールで総合的にかつ効率的に検査する，)保守性や移植性を向上させるために重要な，誤りやすい記述や読みにくい記述等に関する豊富な検査機能を持つ，i)警告の選択的出力や不要な警告の抑制方法を提供する，などの特徴を持つ。本稿では，本ツールの設計と実装の概要，および実際の通信処理ソフトウエアへの適用を通じた評価結果について述べる． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | As the benefit of ANSI C in software system development is recognized, complilers for ANSI C are becoming popular, and commercially available on various environments. Authors implemented a C language program check tool (ALINT) in the hope of promoting the reuse of ANSI C programs. ALINT is characterized by the following features; i) able to conduct a comprehensive checking efficiently, ii) has a variety of checking functions to detect misleading or hard-to-read descriptions, iii) has a variety of check options to produce warnings selectively, and able to suppress warnings selectively. This paper describes the design and implementation of ALINT, and reports the result when an existing practical telecommunication software is checked by ALINT. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112981 | |||||||
| 書誌情報 |
情報処理学会研究報告ソフトウェア工学（SE） 巻 1994, 号 73(1994-SE-100), p. 63-70, 発行日 1994-09-08 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
