文献

J-GLOBAL ID：201202297024534642   整理番号：12A0418641

CX-Checker:柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ

CX-Checker: A Flexibly Customizable Coding Checker for C

著者 (7件)： 大須賀俊憲 (ネットレックス) ,  小林隆志 (名古屋大 大学院情報科学研究科) ,  渥美紀寿 (名古屋大 大学院情報科学研究科) ,  間瀬順一 (アイシン・コムクルーズ) ,  山本晋一郎 (愛知県大 情報科学) ,  鈴村延保 (アイシン精機) ,  阿草清滋 (名古屋大 大学院情報科学研究科)
資料名： 情報処理学会論文誌ジャーナル(CD-ROM)  (情報処理学会論文誌 論文誌ジャーナル(CD-ROM))
巻： 53  号： 2  ページ： 590-600  発行年： 2012年02月15日 
JST資料番号： Z0778B  ISSN： 1882-7837  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本研究では,ソフトウェアの保守性・再利用性の向上を目的としたカスタマイズ性の高いコーディングチェッカCX-Checkerを提案する。CX-Checkerはルールの複雑さに合わせて,XPathを用いたルール,DOMを用いたルール,ラッパを用いたルールの3つのルールの実装方法を持つ。本論文では,CX-Checkerの詳細を説明するとともに,MISRA-Cと企業における実際のコーディングルールに対して適用した実験をもって実現可能性を評価し,その有用性を示す。(著者抄録)

シソーラス用語： *プログラム検査 ,  *カスタム化 ,  コーディング ,  規則 ,  計算機プログラム ,  C言語 ,  評価試験 ,  実現可能性 ,  再利用 ,  *プログラムメンテナンス ,  ラッパー
準シソーラス用語： *コーディングチェッカ ,  ルール ,  C言語プログラム

分類 (2件)： 計算機システム開発  (JD02010R) ,  人間機械系  (IB03000G)

引用文献 (21件)：

• [1] Goodliffe, P.:Code Craft-エクセレントなコードを書くための実践的技法,毎日コミュニケーションズ(2007).
• [2] GNU Coding Standard, available from (http://www.gnu.org/prep/standards/).
• [3] MISRA-C研究会:組込み開発者におくるMISRA-C-組込みプログラミングの高信頼化ガイド,日本規格協会(2004).
• [4] 大須賀俊憲,小林隆志,間瀬順一,渥美紀寿,山本晋一郎,鈴村延保,阿草清滋:CX-checker:C言語プログラムのためのカスタマイズ可能なコーディングチェッカ,ソフトウェアエンジニアリング最前線2009,pp.119-126(2009).
• [5] Atsumi, N., Yamamoto, S., Kobayashi, T. and Agusa, K.: An XML C source code interchange format for CASE tools, Proc. IEEE Computer Software and Applications Conference (COMPSAC2011), pp.498-503 (2011).

タイトルに関連する用語 (4件)： カスタマイズ ,  C言語 ,  コーディング ,  チェッカ