Art

J-GLOBAL ID：201202297024534642   Reference number：12A0418641

CX-Checker: A Flexibly Customizable Coding Checker for C

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

Author (7)： OSUKA TOSHINORI (ネットレックス) ,  KOBAYASHI TAKASHI (名古屋大 大学院情報科学研究科) ,  ATSUMI NORITOSHI (名古屋大 大学院情報科学研究科) ,  MASE JUN'ICHI (アイシン・コムクルーズ) ,  YAMAMOTO SHIN'ICHIRO (愛知県大 情報科学) ,  SUZUMURA NOBUYASU (アイシン精機) ,  AGUSA KIYOSHI (名古屋大 大学院情報科学研究科)
Material： 情報処理学会論文誌ジャーナル(CD-ROM)  (情報処理学会論文誌 論文誌ジャーナル(CD-ROM))
Volume： 53  Issue： 2  Page： 590-600  Publication year： Feb. 15, 2012 
JST Material Number： Z0778B  ISSN： 1882-7837  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *program test ,  *customizing ,  coding (program) ,  rule ,  computer program ,  C language ,  evaluation test ,  feasibility ,  reuse ,  *program maintenance ,  wrapper
Semi thesaurus term： *コーディングチェッカ ,  rule ,  C言語プログラム

JST classification (2)： Computer system development  (JD02010R) ,  Man-machine system  (IB03000G)

Reference (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).

Terms in the title (4)： カスタマイズ ,  C言語 ,  コーディング ,  チェッカ