プログラミングスタイルの診断システムの構築
スポンサーリンク
概要
- 論文の詳細を見る
プログラミング教育において、プログラミングスタイルを意識させることは、良いプログラマを育てるために重要な要素である。我々は、入力されたCのソースプログラム中からプログラミングスタイルに違反する箇所を検出することにより、良形度の高いプログラムの作成を支援する、プログラミングスタイルの診断システムを試作した。本システムは、以下の特徴を持つ。(1)個々のガイドラインをプログラムパターンとして記述し検査するので、検査項目の追加が容易に行なえ、拡張性に優れている。(2)文脈に依存した項目や関数にまたがる項目など、単純なテキスト上のマッチングでは検索が難しいパターンの認識も可能である。我々は、文献等に載っている種々の悪形パターンを記述し、テキストユーティリティのプログラム群を対象とした認識実験を行ない、標準的なガイドラインが本システムにより正しく検出可能であることを確認した。さらに、初心者プログラマを対象としたスタイル検査実験により、本システムが悪形パターンの検査支援に有効に働き、本システムの利用により検査能力が向上することを実証した。Programming style plays an important role in program education for novice programmers. By obeying it, programs become readable and understandable. We aim at developing a support system for checking programming style. This system detects ill-formed patterns in a program and makes a diagnosis on programming style. This system has the following features; 1) We decided to use program patterns as description form of programming style, so it becomes easy to add the checking criteria, 2)This system can detect various patterns, for example, context dependent patterns and dispersed patterns extending two or more functions. It is difficult to detect these patterns by character based pattern matching. We checked that detection of various ill-formed patterns is possible through this system. We made experiments for detecting ill-formed patterns. As a result, we show that the system is effective for educational use.
- 教育システム情報学会の論文
- 2000-04-01
著者
関連論文
- 既存システムのユースケース図を利用したステークホルダと非機能要求の獲得法
- 類似既存システムの情報を利用した要求獲得支援システムの開発と評価 (システム開発論文特集)
- 要求変更によるソースコードへのインパクトを分析するシステムの開発と評価 (システム開発論文特集)
- 要求変更によるソースコードへのインパクトを分析するシステムの開発と評価(ソフトウェア開発支援,システム開発論文)
- 類似既存システムの情報を利用した要求獲得支援システムの開発と評価(ソフトウェア開発支援,システム開発論文)
- 要求追加によるインパクトの分析に基づく組込みソフトウェア開発の効率化(開発支援(学生セッション))
- 索引検索を用いた組み込みソフトウェアのインパクト分析支援ツール
- スペクトラム分析の実績に基づくソフトウェア品質要求評価ツールの実現と評価
- 開発後段で品質要求が反映されていることをスペクトル分析で確認する手法
- 単語-品質特性対応表を用いた品質要求スペクトルの抽出法
- ソフトウェア要求仕様書における品質要求の含有率測定ツールの設計(モデルとメトリクス,プロジェクト管理とモニタリング,一般)
- ソフトウェア品質特性を用いたアプリケーションドメインのスペクトル分析
- ソフトウェア品質特性を用いたアプリケーションドメインのスペクトル分析
- 機械学習を用いた組み込みソフトウェアのインパクト分析(要求工学教育,プロジェクト管理)
- Error-prone予測モデルの再利用
- 既存類似システムの機能比較に基づく要求定義支援ツールの実現と評価
- 要求獲得におけるドメイン知識表現の役割(要求工学,ソフトウェア工学の理論と実践)
- 情報システム開発者の理解度に基づく業務知識の提供法
- 情報システム開発者の理解度に基づく業務知識の提供法
- ドメイン知識表現が要求獲得に与える影響の分析(要求獲得・分析(学生セッション))
- 既存システムのシナリオデータベースをもとにした要求獲得法
- プロセス改善の自己観測による設計手法有効性体験コースの実施(協調開発(学生セッション))
- GUIコンポーネントの特性をトリガーとしたユーザーインタフェース要求の獲得法
- 小型モバイルコンピュータを用いたプロバイダ主体コンテンツ管理方式の提案
- コーディング規約の違反計測に基づく開発スタイルの特徴分析 (ソフトウェアサイエンス)
- オープンソース開発におけるSCMの自動分類に基づくevolutionの傾向分析と品質評価 (ソフトウェアサイエンス)
- チュータリングシステムにおける意志決定と詳細化に基くプログラム設計知識の形式化
- 意思決定に基づくプログラム設計知識の解析と設計知識のチュータリング
- 初心者プログラマーに対するプログラム設計支援と設計知識
- 意思決定に基づくプログラム設計指導システムの知識ベースの形式化と具体化について
- 意思決定に基づくプログラム設計支援について
- プログラム設計指導システムにおけるデータベース
- WEB検索によるドメインオントロジの拡充支援ツールの開発と評価
- Web検索によるドメインオントロジ拡充支援方法(オントロジー,要求分析活動)
- 既存モデルの再利用によるError-proneモジュール予測
- 既存モデルの再利用によるError-proneモジュール予測
- 測度に基づく品質予測における最適な測度の選択(ソフトウェアの品質特性)
- 情報検索を用いた組み込みソフトウェアにおけるインパクト分析
- 理解状況に適応した選択問題生成方法の検討
- マルチエージェントベースアプローチによるリスク・生産情報格差下における政府調達契約に関する一考察
- ソフトウェア規模見積もりと進捗管理手法の提案(定量化・評価)
- Eclipse 上でのコーディングスタイル診断機能の実現(学生セッション 2)
- Eclipse 上でのコーディングスタイル診断機能の実現
- WWWを利用した記録・再生型遠隔講義システム (知的教育システム研究会(第27回)テーマ:「WWW/情報ネットワークと知的教育システム」および一般)
- マルチエージェントシミュレーションによる開発をともなう政府調達の制度設計に関する一考察
- 履歴情報を用いた英単語学習ツールの開発
- ISDN通信システムの高位レイヤにおける効率的な階層化構成
- 属性つきゴール指向要求分析法
- ポータム:モバルコードアプリケーションのためのポリシー,要求,脅威分析ツール
- UMLモデル間リンクによるシステムevolutionのサポート(2)
- Javaアプリケーションの要求仕様とセキュリティポリシィのトレードオフ分析
- 新技術導入をトリガーとした面接型教育方法の変更促進
- 新技術導入をトリガーとした面接型教育方法の変更促進
- プログラミングスタイルの診断システムの構築
- プログラムパターンを利用したプログラミングスタイルの診断システム
- プログラムパターンを利用したプログラミングスタイルの診断システム
- WWWを利用した教育法に関する一考察 -現状と新方式の提案-
- プログラミングスタイルの診断システムの構築
- 第3回知能ソフトウェア工学に関する国際学術研究集会(JCKBSE'98)報告
- 第3回知能ソフトウェア工学に関する国際学術研究集会(JCKBSE'98)の報告
- プラン認識に基づくCプログラムの保守ツール
- ネットワークを利用したレポート受付 ・ 評価支援システムの実現
- プラン認識を利用したプログラミングスタイルの診断
- プログラム認識に基づく初心者プログラムの診断システム
- Z言語で記述された仕様の解釈支援に関する研究
- メールによるレポート受け付け/処理システムの研究
- 仕様プランの分類と知識表現について
- デザインパターンに基づくソフトウェアevolutionにおけるTraceability Linkの利用
- UMLモデル間リンクによるシステムevolutionのサポート
- デザインパターンを利用した、System Evolutionのパターン化
- 拡張弱順位関数
- 実行によるプログラムの診断 : Java ReflectionAPI によるプログラムのテスト(学生セッション 2)
- ダウンロード可能なソフトウェア部品の仕様化法
- 政府契約における開発リスクとコストに関する一考察
- プログラム認識における変種の認識
- PSPをもとにした形式手法有効性確認コースの設計
- デザインパターン保守のためのDPインスタンスの制約条件に関する考察
- ソフトウェアが中心でない製品における既存技術を利用したソフトウェア改訂支援
- 分析履歴を用いたソフトウェア品質要求のスペクトル分析法
- 要求獲得のためのオントロジをWebマイニングにより拡充する手法の提案と評価
- スペクトル分析を用いたソフトウェア設計工程における品質特性情報の抽出 (知能ソフトウェア工学)
- サブモデルの再利用とメトリクスによるi^*SDモデルの改訂支援
- スペクトル分析を用いたソフトウェア設計工程における品質特性情報の抽出
- ソフトウェアプロジェクトにおけるtraceabilityの確立 : 実プロジェクトへの適用
- Ajaxアプリケーションの複雑性メトリクスの提案とツールの試作
- 静的解析によるAndroidパーミッションの利用目的の可視化方法
- Ontologyを使ったTraceability確立手法の評価
- 集約的手法によるError Prone モジュール予測における最適モデル集合の選択
- 最適なError-proneモジュール予測器の識別手法の提案
- Bugzilla等へ報告されるIssueの分類手法の提案
- 意思決定に基づくプログラム設計知識の解析と設計知識のチュータリング
- 多数決手法によるError Prone予測手法の評価(一般)
- 多数決手法によるError Prone予測手法の評価(一般)
- commitログの新しい分類手法の提案と実験(ソフトウェア工学)
- Experimental Software Engineering : 予測、traceability、データマイニング(KBSE研究会20周年記念講演)
- 入力保存機能に注目したユーザビリティ評価のための画面遷移モデル(一般・学生)
- Traceability link recoveryのためのmethod miningの提案(一般・学生)
- ユーザピリティ要求確認を支援する Web プロトタイプ自動生成手法
- アセットフロー図と配置図を用いた情報システムのセキュリティ要求分析支援ツール(一般)
- 情報検索手法に基づくトレーサビリティリンク回復のための手法オプションについてのマイニングの提案と評価(ソフトウェア工学,学生論文)