オブジェクト指向ソフトウェアの複雑さに関する研究

面向对象软件复杂性研究

• 批准号: 05780247
• 负责人: 辻野 嘉宏
• 金额: $ 0.58万
• 依托单位: Osaka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1993
• 资助国家: 日本
• 起止时间: 1993 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-05780247/
• 关键词: 複雑度尺度; オブジェクト指向; プログラミングスタイル; デメテルの規則

本研究の目的は,オブジェクト指向ソフトウェアの複雑さを測定するための方法を見つけることである.オブジェクト指向ソフトウェアの複雑さの要因にはいろいろなものがあるが,オブジェクト指向ソフトウェア特有なものとしては.オブジェクト間の依存関係が挙げられる.しかしオブジェクトは動的なものであり,ソフトウェアの実行ごとに状況が変化しうるものであるので,実際には評価が困難である.従って,本研究では,オブジェクトの静的な姿であるクラスの相互依存関係に着目した.クラスの相互依存関係については,不必要なそれを制限するよう求めたデメテルの規則(The Law of Demeter)が知られている.この規則は実際への適用例もあり,また,この規則に違反するプログラムを違反しないように変換する手法も知られている.しかし,この規則は曖昧であり,実際にもいくつかのバ-ジョンが存在している.また,適用例を検証してみても,実際への適用例ごとに規則の細部が異なっていることがわかった.本研究では,このデメテルの法則を取り上げ,正確な議論を行うための土台を構築することを試みた.まず,プログラムを静的に解析することによって得られる情報を定式化し,それらに基づいてオブジェクト指向プログラムの性質を記述するための枠組みを与えた.次にこの枠組みの上で,デメテルの規則の一つのバ-ジョン(strict version)を定式化した.また,それを用いて,オブジェクト指向プログラムがデメテルの規則を満足しているかを判定するアルゴリズムを与えた.この定式化の結果,従来より知られていた前述の変換手法がいくつかの前提の下でのみ有効であることが明らかになり,この変換手法が有効であるための十分条件を与えることができた.さらに,この枠組みの中で,いくつかのオブジェクト指向プログラムのための複雑度尺度の定式化を行った.

は の purpose, this study オ ブ ジ ェ ク ト pointing ソ フ ト ウ ェ ア の complex 雑 さ を determination す る た め の way を see つ け る こ と で あ る. オ ブ ジ ェ ク ト pointing ソ フ ト ウ ェ ア の complex 雑 さ の by に は い ろ い ろ な も の が あ る が, オ ブ ジ ェ ク ト pointing ソ フ ト ウ ェ ア な unique も の と し て は. オ ブ ジ ェ ク among ト の dependent masato が 挙 げ ら れ る. し か し オ ブ ジ ェ ク ト は moving な も の で あ り, ソ フ ト ウ ェ ア の line be ご と に condition が variations change し う る も の で あ る の で, be interstate に は review 価 が difficult で あ る. 従 っ て, this study で は, オ ブ ジ ェ ク ト の static pose で な あ る ク ラ ス の interdependence に masato department with mesh し た. ク ラ ス の interdependence masato is に つ い て は, unnecessary な そ れ limitations を す る よ う o め た デ メ テ ル の rule (The Law of Demeter) が know ら れ て い る. こ は の rules be interstate へ の applicable example も あ り, ま た, こ に の rules violation す る プ ロ グ ラ ム を violation し な い よ う に variations in す る gimmick も know ら れ て い る. し か し, こ の rules は ambiguous で あ り, be interstate に も い く つ か の バ - ジ ョ ン が exist し て い る. ま た, for example を 検 card し て Youdaoplaceholder0 みて, practical へ, <s:1> applicable examples ごとに, detailed rules が, なって, る, とがわ, った, った. This study で は, こ の デ メ テ ル の law げ を take り, correct な comment line を う た め の TuTai を build す る こ と を try み た. ま ず, プ ロ グ ラ ム を static に resolution す る こ と に よ っ て must ら れ る intelligence を demean し, そ れ ら に base づ い て オ ブ ジ ェ ク ト pointing プ ロ グ ラ ム の nature を account す る た め の 枠 group み を and え た. In the に み 枠 枠 group み み で,デメテ バ <s:1> rule of rule one 枠 バ バ-ジョ ジョ (strict. Version) を demean し た. ま た, そ れ を with い て, オ ブ ジ ェ ク ト pointing プ ロ グ ラ ム が デ メ テ ル を の rules against foot し て い る か を determine す る ア ル ゴ リ ズ ム を and え た. こ の demean の results, 従 to よ り know ら れ て い た aforesaid の variations in technique が い く つ か の under the premise の で の み have sharper で あ る こ と が Ming ら か に な り, こ の variations in technique が have sharper で あ る た め を の very conditions and え る こ と が で き た. さ ら に, こ の 枠 group み の で, い く つ か の オ ブ ジ ェ ク ト pointing プ ロ グ ラ ム の た め の complex 雑 degree scale の demean を line っ た.

项目成果

黄錫炯: "オブジェクト指向プログラミングにおけるデメテル法則の定式化" 情報処理学会研究報告. Vol.94,No.6. 33-40 (1994)

黄锡亨：“面向对象编程中德米特定律的表述”日本信息处理学会研究报告第 94 卷，第 33-40 期（1994 年）。