島根大学総合理工学部紀要.シリーズA

ダウンロード数 : ?
島根大学総合理工学部紀要.シリーズA 37
2003-12-15 発行

プログラム構造と仕様追従性

Program Structure and Traceability Analysis
伊藤 貴子
門田 洋太郎
佐藤 匡正
ファイル
内容記述(抄録等)
It is important to grasp program design method characteristics such as similarity and dissmilarity among various ones, focused on a viewpoint of traceability which is one of the software design quality, giving the technological judgment for the choice among them in software development. It attempts to analyze program design method characteristics focused on traceability by an approach that it includes program implementations and analysis of them. In implementation, it is required to select a proper problem considered to keep the results to be general and correct. In analysis it is applied the program structure formalization method that enables to identify the differences among isomer programs in structures that are implemented by applying target program design methods to the same specification. It concludes that the structure can be an analysis measure of traceability, as diffrences of program structures are due to the diffrences in the program design methods' paradigms.