[論文レビュー] A Practical Approach for Detecting Logical Error in Object Oriented Environment

Ghassan Samara|arXiv (Cornell University)|Dec 12, 2017

Software Reliability and Analysis Research参考文献 1被引用数 3

ひとこと要約

本論文では、Xceed、Alsing、Mind Fusionコンポーネントを統合したツールを用いて正しいオブジェクト動作を強制することで、オブジェクト指向プログラムにおける論理的エラーを検出する実用的なフレームワーク、Object Behavior Environment (OBEnvironment) を提案する。このフレームワークは、状態図を用いた状態遷移の可視化を可能にし、文法的正しさを保証することで、開発段階で論理的エラーを顕著に削減し、ソフトウェア品質を向上させる。

ABSTRACT

A programming language is a formally constructed language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs to control the behavior of a machine or to express algorithms. Most programs that are written by programmers are often compiled correctly with no syntax or semantic errors. However, some other errors appear after the execution of the program (logical error). Logical Errors (LE) are errors that remain after all syntax errors have been removed. Usually, the compiler does not detect LE, so the produced results are different from what the programmer is expecting. For this reason, discovering and fixing the logical error is very hard and proposes a good topic for research and practice. Some LE are resulted from the misuse of classes' objects, and in Software Development Life Cycle (SDLC), it is considered that the software with LE is low-quality software with high maintenance cost. In this paper, an object-oriented environment that allows the programmer to detect and discover LE to avoid it. This environment will be called Object Behavior Environment (OBEnvironment) will enforce the correct use of objects according to their predefined behaviors by using tools like Xceed Component (that appeal .Net windows form developers for building better applications), Alsing Component (that provides an area to programmer that allows writing correct syntax code by C# language) and, Mind Fusion Component (that provides an area to programmer that allows drawing State Diagrams to show object state).

研究の動機と目的

• コンパイル後にも検出されない論理的エラーの問題に対処すること。
• ソフトウェア開発ライフサイクル（SDLC）の初期段階で論理的エラーを特定することで、保守コストを削減すること。
• 事前に定義された動作に基づいて正しいオブジェクト使用を強制する実用的で統合された開発環境を提供すること。
• 状態図によるオブジェクトの状態遷移の可視化を可能にすることで、ソフトウェア品質を向上させること。
• 開発者フレンドリーなツール（Xceed、Alsing、Mind Fusion）を統合し、リアルタイムでのエラー検出を実現する一貫性のある環境を構築すること。

提案手法

• OBEnvironmentは、拡張されたUIと検証機能を備えたXceedコンポーネントを統合し、.NET Windows Forms開発を支援する。
• C#開発者が文法的に正しいコードを記述しやすくするために、Alsingコンポーネントを活用する。
• Mind Fusionコンポーネントを用いて、オブジェクトの時間的動作をモデル化する状態図を生成・可視化する。
• 事前に定義された動作仕様に対する状態遷移の検証を通じて、正しいオブジェクト使用を強制する。
• コード構造の静的解析と動的状態モデリングを組み合わせ、実行時以前に論理的不一致を検出する。
• フレームワークを開発ライフサイクルに埋め込み、コーディング中にリアルタイムフィードバックを提供する。

実験結果

リサーチクエスチョン

• RQ1 開発段階の初期段階でオブジェクト指向プログラムの論理的エラーをどのように早期に検出できるか？ その結果、保守コストがどのように低減されるか？
• RQ2 視覚的な状態図は、開発者が正しいオブジェクト動作を理解し、それを強制するのにおいて、どのような役割を果たすか？
• RQ3 統合された開発ツールは、コーディングワークフローを乱さずに論理的エラーの検出をどのように改善できるか？
• RQ4 文法検証と状態モデリングを組み合わせたアプローチは、論理的エラーの特定においてどの程度効果的か？
• RQ5 事前に定義されたオブジェクト動作を強制することで、ソフトウェア品質とエラー低減にどのような影響を与えるか？

主な発見

• OBEnvironmentは、視覚的な状態図を用いて事前に定義された状態遷移と照合することで、論理的エラーの検出に成功した。
• Xceed、Alsing、Mind Fusionコンポーネントの統合により、文法的正しさと動作的正しさに関するリアルタイムフィードバックが可能になった。
• 開発者は論理的不整合の早期検出のおかげで、コード品質の向上とデバッグ時間の短縮を報告した。
• 状態図の使用により、オブジェクトのライフサイクルと動作の理解が向上し、オブジェクトの誤用が最小限に抑えられた。
• フレームワークは実世界の開発環境でも実用的であることが実証され、SDLCへの統合に最小限のオーバーヘッドで対応した。
• コンパイラが見逃す論理的エラー、特にオブジェクトの状態遷移に関連するエラーを効果的に検出できたことが判明した。