权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

高品質な要求仕様の定義に向けたモデル駆動開発手法の研究

定义高质量需求规格的模型驱动开发方法研究

基本信息

批准号：
10J09781
负责人：
小形真平
金额：
$ 0.9万
依托单位：
Shibaura Institute of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2010
资助国家：
日本
起止时间：
2010 至 2011
项目状态：
已结题

项目摘要

本年度では,前年度のシステムを操作する側面のモデル化・検証支援に引き続き,業務ロジックのモデル化と検証支援手法を研究した.具体的に,データの基本操作単位であるCRUD(Create,Read,Update,Delete)の観点から,業務ロジックの妥当性を検証する方法を提案した.本年度の研究の意義は,開発の初期段階において,不完全な要求分析モデルの欠陥を,汎用性の高いCRUDの観点から早期に発見する点である.その観点とは,例えば,データが作成または読み込まれていないにも係わらず更新されるフローといった,実現不可能なデータフローに着目した.IV.具体データとルール,または具体フローとルールの組み合わせ時の検証方法を検討し,検証ツールを改良する.実現不可能なデータフローを検出するために,アクションとオブジェクトノードのCRUDの観点から関連させる記法をルールとして提案した.検証には,モデル検査ツールであるUPPAALを用いており,要求分析モデルをUPPAALモデルに変換できるようにツールを改良した.V.開発事例を用意して,システム開発実験を行う.大学における教科書販売システムを題材とした開発事例を用意して,提案したCRUDの記法を適用した要求分析モデルを作成した.変換したUPPAALモデルを基に,実現不可能なデータフローを判定する検査式により検証を行ったところ,主に「作成されないデータが,読み込まれる想定である」誤りを発見できた.ユーザが操作を実行できるパスが無数に存在する中で,データが存在しない場合に本来想定されるべき例外フローの定義が漏れていたことによる.本事例は大学院の授業課題として学生に与えたものであり,記述者本人からは十分に洗練したとの意見があったが,本手法の適用によりこのような問題を発見できたことは本手法の有効性を示すものである.本研究の一環として提案したCRUDの記法は日本ソフトウェア科学会第28回大会にて発表し,要求分析モデルからUPPAALへの変換方法は情報処理学会第47回全国大会にて発表した.

This year, compared with the previous year, the bottom line of the system operation is to conduct research on the system operation and support methods. Specific, basic operation unit of data processing is CRUD(Create,Read,Update,Delete), and the method for verifying the appropriateness of service is proposed. The significance of this year's research is that the initial stage of development is incomplete, the analysis of requirements is incomplete, and the versatility is high. For example, if you want to make a decision, you can make a decision. If you want to make a decision, you can make a decision. If you want to make a decision, you can make a decision. It is not possible to write down the contents of the CRUD. The test results show that UPPAAL can be used in the test, and UPPAAL can be used in the test.V. The test results show that UPPAAL can be used in the test. University textbooks are subject to development and application requirements. When the UPPAAL file is changed, it is impossible to determine whether the file is correct or not. The operation of the system is carried out in such a way that there is no limit to the number of cases in which there is a limit to the number of cases in which there is a limit to the This example shows that there is a problem with this method. A proposal for CRUD notation was presented at the 28th National Conference of the Society for Science and Technology of Japan, and a request for analysis of CRUD notation was presented at the 47th National Conference of the Society for Information Processing.