权益分类	功能权益	普通用户	{{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回全国大会にて発表した.

In the current year and in the previous year, the operation system of the current year and the previous year has been used to support the introduction of information and the study of the methods of support. For the specific information, the basic operation information, CRUD (Create,Read,Update,Delete), and the proposed method of monitoring the appropriate information are required. The meaning of this year's research is to start the initial stage of the study, which requires incomplete analysis, high availability, high CRUD performance, and early warning. It is impossible to keep an eye on the IV because it is not possible to update it. Specific information is required, specific information is required, and the method is optimized, and the method is improved. It is not possible to tell you that you are not going to have any trouble, and that you are not in a position to make a proposal. It is not possible to tell you that you are going to have a problem with CRUD. Please tell me that you need to analyze the UPPAAL. You are asked to analyze the UPPAAL and improve the quality of the product. It is intended to open an example, and we will try to open a business trip. The purpose of this paper is to propose a method of CRUD recording, which requires analysis and analysis. It is not possible to make a decision on the basis of the UPPAAL situation. It is not possible to determine that there is an error in the mode of operation. The number of errors in the operation is not valid, and the number of errors in the operation is not valid. It was originally intended that the exception should be defined as missing information. This is an example of how to teach students and students in colleges and universities. the narrator himself is very careful to wash his opinions and opinions. This technique is used to show that there is an error in this method. In this study, we proposed the method of CRUD recording, the 28th meeting of the Japanese Academy of Science and Technology, the table of the 28th session of the General Assembly, and asked to analyze the methods of the Society of Science and Technology in the 47th session of the National Congress.