コーディング規約違反の局所性に着目した自動検出不可能な違反の検出に向けて

スポンサーリンク

概要

• 論文の詳細を見る

• ソフトウェア開発の現場では,コーディング時に守るべきルールであるコーディング規約が利用される事が多い.コーディング規約には,自動検出可能なコーディング規約と不可能なコーディング規約がある.自動検出不可能なコーディング規約の検出は,レビューにより検出されるが,高コストのため,コスト削減が必要である.そこで,違反の局所性を利用した自動検出不可能な違反の検出に向けた調査を行った.本研究では,自動検出可能な違反に局所性がある事を確認し,違反とバグに関係があることを示した.

• 一般社団法人電子情報通信学会の論文
• 2013-02-27

著者

• 山本 晋一郎

  愛知県立大学情報科学部

• Agusa Kiyoshi

  Graduate School of Information Science, Nagoya University

• 阿草 清滋

  名古屋大学大学院情報科学研究科

• 渥美 紀寿

  南山大学情報理工学部

• 阿草 清滋

  名古屋大学工学部電気工学第二

• 山本 晋一郎

  愛知県立大学

• 渥美 紀寿

  名古屋大学大学院情報科学研究科

• 小林 隆志

  東京工業大学

• 阿草 清滋

  名古屋大学情報科学研究科

• 阿草 清滋

  京都大学学術情報メディアセンター

• 高井 康勢

  名古屋大学大学院情報科学研究科

• 渥美 紀寿

  名古屋大学 大学院 情報科学研究科

関連論文

• 拡張可能ソフトウェアの動作情報を用いたプラグイン開発支援(開発支援(学生セッション))
• 通信プロセスモデルによるAIBO OPEN-Rプログラムのデッドロックフリー解析手法(検証/テストとデバッグ,組込みシステム工学)
• ウインターワークショップ2008・イン・道後開催報告
• 4. ソフトウェアエンジニアリング領域(J07-SE)(情報専門学科カリキュラム標準J07)
• 例外処理付きオブジェクト指向プログラムにおける情報流の安全性解析のための型システム(ディペンダブルコンピューティング)
• Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes
• Recognizability of Redexes for Higher-Order Rewrite Systems
• Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証
• Haskellのための非同期局所化π計算に基づくネットワークプログラミングフレームワーク
• 細粒度リポジトリに基づくVHDLツールプラットフォーム(ツール,開発環境)
• プログラムの正規化に基づいた差分抽出法の提案
• 意味を考慮した差分抽出ツール
• On the Job Learning : 産学連携による新しいソフトウェア工学教育手法
• 高精度なデータ依存解析に基づくシーケンス図スライシング手法(モデリング(学生セッション))
• ソフトウェア理解支援のための多粒度ソフトウェアマップ(インタフェース・ナビゲーション(学生セッション))
• ソフトウェアの大局的可視化のための組織化メトリクス
• 知識基盤社会を支える情報技術論文特集の発行にあたって
• StrutsLint : Web アプリケーションコーディングチェッカ
• 7.高信頼WebWare生成技術 : WebWareのテスト・解析・作成支援(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
• 要求定義支援のための要求適合度を用いた事例検索(要求工学(学生セッション))
• 設計工程に合わせたビュー生成を可能にするソフトウェア文書管理手法の提案
• 歴代理事長座談会「日本ソフトウェア科学会の20年とこれから」(20周年記念特集)
• 要求フレームに基づいたソフトウェア要求仕様化技法
• ウインターワークショップ2008・イン・道後開催報告
• 制御ソフトウェアの固定小数点演算化ツールの設計と実装
• 飛行船制御を題材としたプロジェクト型ソフトウェア開発実習
• 4M-4 細粒度マークアップに基づくカスタマイズ可能なコーディング規約検査器(リーディングプロジェクト e-society:高信頼ソフトウェア・WebWare開発支援システム,一般セッション,リーディングプロジェクト e-society)
• アマゾンバグ防止フレームワークのためのWebアプリケーション双実行モデル
• NEXCESS : 社会人組込みソフトウェア技術者教育におけるスキル育成
• 社会人に対する組込みソフトウェア技術の再教育の取り組み
• GUI抽象化規則を用いたモデル生成手法(開発支援(2)(学生セッション))
• Web抽象プログラムを用いたリファクタリング(開発支援(2)(学生セッション))
• メタ情報とコンテキスト情報を用いた入力補完機能とXPath入力への応用
• デ-25 CX-Checker : 柔軟なカスタマイズが可能なC言語コーディングルールチェッカー(デモセッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
• メタ情報とコンテキスト情報を用いた入力補完機能と XPath 入力への応用
• バリエーション並行開発のための版管理ツールと統合開発環境
• 細粒度リポジトリに基づいたCASEツール・プラットフォームSapid(並列処理)
• 「SEC journal」創刊記念論文 優秀賞受賞論文 大学における社会人向け組込みソフトウェア技術者人材養成の実施と分析 (「SEC journal」創刊記念論文 優秀賞受賞論文発表)
• 社会人に対する組込みソフトウェア技術の再教育の取り組み
• 付箋による一時的情報の管理とその応用
• 例外処理付きオブジェクト指向言語における情報流の安全性解析
• 例外処理付きオブジェクト指向言語における情報流の安全性解析
• 形式的手法に基づく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向けテストプログラム生成ツールにおけるプロセッサ間同期の実現
• 例外処理を持つ関数型プログラムの停止性・非停止性証明法
• OJL:産学連携による新しい人材育成の試み (特集 高度IT人材育成の軌跡--ITトップガン構想から先導的ITスペシャリスト育成まで)
• 項集合書換え系の完備化について
• 産業技術系専門職大学院の認証評価--大学評価制度はどうあるべきか? (ぺた語義(第7回))
• Preliminary Assessment of Software Metrics based on Coding Standards Violations
• CX-Checker:柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ
• 高度IT資格制度座談会 (特集 高度IT資格制度)
• IT好き放題:面白さは突然に
• Reticella : An Execution Trace Slicing and Visualization Tool Based on a Behavior Model
• APIの使用状況に基づくイディオムの抽出とそれを用いたソフトウェア自動分類
• 大規模ソフトウェアの概要把握の支援を目的とした構造体型の特徴付け
• 実行トレース解析のためのデザインパターンに基づくオブジェクトグルーピング
• B-024 Webサイト群の構造分析による典型的構造の抽出法(デジタルドキュメント・ソフトウェアサイエンス,B分野:ソフトウェア)
• サブシステム境界情報に着目したSimulinkモデルの構造評価手法(学生及び若手(パラレルセッション:実装))
• サブシステム境界情報に着目したSimulinkモデルの構造評価手法(学生及び若手(パラレルセッション:実装))
• A Session Type System with Subject Reduction
• ソフトウェア開発支援基盤のためのソースプログラムのXML表現(ソフトウェア工学,ソフトウェア基礎・応用論文)
• データ依存の伝播確率に基づく欠陥箇所特定支援
• コーディング規約違反の局所性に着目した自動検出不可能な違反の検出に向けて
• プリプロセス命令の制御構造を利用したフィーチャ間の依存性解析(プログラム解析と開発支援)
• コーディング規約違反の局所性に着目した自動検出不可能な違反の検出に向けて
• 成果物アクセスの時間的局所性を考慮した変更コンテキストモデル
• データ依存の伝播確率に基づく欠陥箇所特定支援
• 成果物アクセスの時間的局所性を考慮した変更コンテキストモデル
• ソフトウェア理解支援のためのデータ構造の重要度評価手法

もっと見る 閉じる

スポンサーリンク