CX-Checker:柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ
スポンサーリンク
概要
- 論文の詳細を見る
本研究では,ソフトウェアの保守性・再利用性の向上を目的としたカスタマイズ性の高いコーディングチェッカCX-Checkerを提案する.CX-Checkerはルールの複雑さに合わせて,XPathを用いたルール,DOMを用いたルール,ラッパを用いたルールの3つのルールの実装方法を持つ.本論文では,CX-Checkerの詳細を説明するとともに,MISRA-Cと企業における実際のコーディングルールに対して適用した実験をもって実現可能性を評価し,その有用性を示す.
- 2012-02-15
著者
-
山本 晋一郎
愛知県立大学情報科学部
-
小林 隆志
名古屋大学大学院情報科学研究科
-
小林 隆志
東洋公衆衛生学院臨床検査技術学科
-
Agusa Kiyoshi
Graduate School of Information Science, Nagoya University
-
阿草 清滋
京大
-
阿草 清滋
名古屋大学大学院情報科学研究科
-
小林 隆志
沼津工業高等専門学校機械工学科
-
大須賀 俊憲
名古屋大学大学院情報科学研究科
-
鈴村 延保
アイシン精機株式会社
-
阿草 清滋
京大(現名大)
-
小林 隆志
ヘキスト・マリオン・ルセル・創薬研
-
間瀬 順一
アイシン・コムクルーズ株式会社
-
渥美 紀寿
南山大学情報理工学部
-
阿草 清滋
名古屋大学
-
阿草 清滋
名古屋大学工学部電気工学第二
-
小林 隆志
名古屋大学
-
山本 晋一郎
愛知県立大学大学
-
山本 晋一郎
愛知県立大学
-
鈴村 延保
アイシン精機
-
渥美 紀寿
名古屋大学大学院情報科学研究科
-
大須賀 俊憲
株式会社ネットレックス
-
阿草 清滋
名古屋大学情報科学研究科
-
渥美 紀寿
名古屋大学 大学院 情報科学研究科
関連論文
- 拡張可能ソフトウェアの動作情報を用いたプラグイン開発支援(開発支援(学生セッション))
- 自動車制御システムのエラーモデル記述による安全性分析手法(安全性及び一般)
- ウインターワークショップ2008・イン・道後開催報告
- BoFセッション「クラウドって正直どう?」実施報告(BoFセッション)
- ガスケットの非石綿化とシーリング技術の動向
- 例外処理付きオブジェクト指向プログラムにおける情報流の安全性解析のための型システム(ディペンダブルコンピューティング)
- データマイニング技術を応用したソフトウェア構築・保守支援の研究動向 (特集 ソフトウェア工学)
- 講義講演シーン検索におけるレーザポインタ情報の活用法(コンテンツ技術,データ工学論文)
- RFIDを用いた学会参加者ネットワーク表示システムとその利用
- 細粒度リポジトリに基づくVHDLツールプラットフォーム(ツール,開発環境)
- プログラムの正規化に基づいた差分抽出法の提案
- データマイニング技術を応用したソフトウェア構築・保守支援の研究動向
- 音声情報を統合したプレゼンテーションコンテンツ検索(情報検索,データ工学論文)
- ユースケース記述に対するフレームワーク利用法の導出(アーキテクチャ・フレームワーク(学生セッション))
- ソフトウェアパターン研究の発展経緯と最近の動向(ソフトウェア工学の動向報告)
- アクセスログに基づくWebページ推薦におけるLCSの利用とその解析(情報融合)
- WebアクセスログのLCSを用いたWebページの推薦手法(履歴応用,夏のデータベースワークショップDBWS 2006)
- WebアクセスログのLCSを用いたWebページの推薦手法(履歴応用)
- On the Job Learning : 産学連携による新しいソフトウェア工学教育手法
- 高精度なデータ依存解析に基づくシーケンス図スライシング手法(モデリング(学生セッション))
- ソフトウェア理解支援のための多粒度ソフトウェアマップ(インタフェース・ナビゲーション(学生セッション))
- 第6回アジア太平洋ソフトウェア工学国際会議(APSEC'99)報告
- ソフトウェアの大局的可視化のための組織化メトリクス
- ベイジアンネットワークを用いたソフトウェア実装技術の選択支援
- StrutsLint : Web アプリケーションコーディングチェッカ
- 7.高信頼WebWare生成技術 : WebWareのテスト・解析・作成支援(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- ファイル検索におけるアクセスログから抽出した関連度の利用(夏のデータベースワークショップ2007(データ工学,一般))
- ファイル検索におけるアクセスログから抽出した関連度の利用(情報抽出,夏のデータベースワークショップ2007(データ工学,一般))
- ファイル検索に向けたアクセスログからのファイル間関連度の導出
- 講義・講演シーン検索におけるスライドおよび音声中の検索語出現状況に基づくレーザーポインタ情報のフィルタリング(e-Learning,夏のデータベースワークショップDBWS 2006)
- 講義・講演シーン検索におけるスライドおよび音声中の検索語出現状況に基づくレーザーポインタ情報のフィルタリング
- 講義・講演シーン検索におけるスライドおよび音声中の検索語出現状況に基づくレーザーポインタ情報のフィルタリング(e-Learning)
- 講演シーン検索における検索語出現状況に基づくレーザーポインタ情報のフィルタリング
- 講義・講演シーン検索におけるスライドおよび音声中の検索語出現状況に基づくレーザーポインタ情報のフィルタリング (夏のデータベースワークショップDBWS 2006)
- ウインターワークショップ2008・イン・道後開催報告
- 制御ソフトウェアの固定小数点演算化ツールの設計と実装
- 飛行船制御を題材としたプロジェクト型ソフトウェア開発実習
- ウインターワークショップ2009・イン・宮崎開催報告
- ウインターワークショップ2009・イン・宮崎開催報告
- ウインターワークショップ2009・イン・宮崎開催報告
- 4M-4 細粒度マークアップに基づくカスタマイズ可能なコーディング規約検査器(リーディングプロジェクト e-society:高信頼ソフトウェア・WebWare開発支援システム,一般セッション,リーディングプロジェクト e-society)
- アマゾンバグ防止フレームワークのためのWebアプリケーション双実行モデル
- GUI抽象化規則を用いたモデル生成手法(開発支援(2)(学生セッション))
- Web抽象プログラムを用いたリファクタリング(開発支援(2)(学生セッション))
- メタ情報とコンテキスト情報を用いた入力補完機能とXPath入力への応用
- デ-25 CX-Checker : 柔軟なカスタマイズが可能なC言語コーディングルールチェッカー(デモセッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- メタ情報とコンテキスト情報を用いた入力補完機能と XPath 入力への応用
- バリエーション並行開発のための版管理ツールと統合開発環境
- 付箋による一時的情報の管理とその応用
- OXTHAS : Webサービスベースのワークフロー管理における障害を考慮した負荷分散手法(データ工学研究専門委員会推薦論文,コンテンツ技術,Web情報システム)
- 5ZK-9 キーワード非含有ファイルを検索可能とするファイル間関連度を用いた検索手法(情報爆発時代におけるマルチメディアデータと位置依存情報処理,学生セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- 多様な観点からのビューを提供する順序型付き多重連想コンテナ(クエリ,夏のデータベースワークショップDBWS 2006)
- 多様な観点からのビューを提供する順序型付き多重連想コンテナ(クエリ)
- 多様な観点からのビューを提供する順序型付き多重連想コンテナ
- Webサービスベースのワークフロー管理における信頼性と負荷を考慮したスケジューリングパラメタ調整法
- 柔軟なコンテンツ管理のためのルール処理への弁別ネットワークの適用
- 例外処理付きオブジェクト指向言語における情報流の安全性解析
- 例外処理付きオブジェクト指向言語における情報流の安全性解析
- 形式的手法に基づくJavaScriptプログラムの型検査系の実現
- 宣言的なプログラム解析が可能なRDFに基づく細粒度ソフトウェアリポジトリ(開発支援(2)(学生セッション))
- 宣言的なプログラム解析が可能なRDFに基づく細粒度ソフトウェアリポジトリ
- (開発支援環境)XMLを用いた汎用的な細粒度ソフトウェアリポジトリの実装(オブジェクト指向技術)
- B-017 リバースエンジニアリングによるUMLをベースとした拡張シーケンス図の生成(B分野:ソフトウェア)
- 形式的概念分析を用いたグルーピングによるCプログラム理解支援手法(学生セッション H_開発支援)
- UMLをベースとしたJavaプログラムの視覚化における手続的処理部の表現について
- イディオム検索のための関数呼出依存グラフのクラスタリング手法(ソフトウェア工学)
- XML記述によるソフトウェアリポジトリを用いたコード検索(開発支援環境)
- FCDGに基づいたコーディングパターン
- ラウンドトリップエンジニアリングを目指したWebアプリケーションのための意味モデル(産学連携論文)
- 4M-6 WebブラウザのCSSレンダリング妥当性検査手法の提案(リーディングプロジェクト e-society:高信頼ソフトウェア・WebWare開発支援システム,一般セッション,リーディングプロジェクト e-society)
- 構造に基づいたXML文書のスキーマ変換器自動生成
- モデル生成法に基づくJavaScriptプログラム型検査の機械実行(ソフトウェア,フォーマルアプローチ論文)
- 構文木に着目してXMLマークアップされたソースプログラム間の差分抽出(開発支援(1)(学生セッション))
- モデル生成に基づくJavaScriptプログラムの型検査系
- ミューテーション法を用いたテストセット構成支援に関する研究(開発支援(2)(学生セッション))
- 文脈に基づいたソースプログラムとドキュメント間の識別子対応付け手法(開発支援(2)(学生セッション))
- ミューテーション法を用いたテストセット構成支援に関する研究
- モデル生成に基づくJavaScriptプログラム型検査のためのフロントエンド
- Cプログラムの理解を支援するナビゲーション機能(開発支援(学生セッション))
- 構文解析器の開発支援環境(開発支援(学生セッション))
- 付箋によるコミュニケーション機能を備えたソフトウェアブラウザ
- オブジェクト指向言語のための細粒度システム依存グラフ
- 動作履歴を用いた焦点絞り込みによるプログラム理解
- 細粒度リポジトリに基づくVHDLツールプラットフォーム
- 前バージョンの整合性を用いた設計復元
- サンプルプログラム自動生成のためのリソースを考慮した依存グラフ
- 空欄補充問題の自動生成によるHaskellプログラミング学習支援環境
- テストプログラム生成ツールのフロントエンドプロセッサの開発
- マルチプロセッサ対応RTOS向けテストプログラム生成ツールにおけるプロセッサ間同期の実現
- テストプログラム生成ツールのフロントエンドプロセッサの開発
- マルチプロセッサ対応RTOS向けテストプログラム生成ツールにおけるプロセッサ間同期の実現
- 項集合書換え系の完備化について
- CX-Checker:柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ
- APIの使用状況に基づくイディオムの抽出とそれを用いたソフトウェア自動分類
- 大規模ソフトウェアの概要把握の支援を目的とした構造体型の特徴付け
- B-024 Webサイト群の構造分析による典型的構造の抽出法(デジタルドキュメント・ソフトウェアサイエンス,B分野:ソフトウェア)
- ソフトウェア開発支援基盤のためのソースプログラムのXML表現(ソフトウェア工学,ソフトウェア基礎・応用論文)
- コーディング規約違反の局所性に着目した自動検出不可能な違反の検出に向けて
- コーディング規約違反の局所性に着目した自動検出不可能な違反の検出に向けて
- ソフトウェア理解支援のためのデータ構造の重要度評価手法