...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science >UML要求分析モデルへのモデル検査技術適用による実現可能性の検証
【24h】

UML要求分析モデルへのモデル検査技術適用による実現可能性の検証

机译：通过将模型检查技术应用于UML需求分析模型来验证可行性

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

高品質なソフトウェアを開発するためには，顧客による妥当性が確認された要求仕様を少ない手戻りで実装できるように，要求仕様の実現可能性を早期に検証することが重要である．このためには，要求仕様書が開発の初期段階でその適切さを保証できる検証可能な形式性を持つことが必要であるが，一般には不正確で暖味な要求を分析している段階において，開発者が検証可能な要求仕様を定義することは困難である．本稿ではUMLを用いた開発において，早期に確認すべき基本的な性質の1つであるシステムの永続化対象データのライフサイクルをモデル検査技術を用いて保証しながら，要求仕様を洗練する手法を提案する．また，UMLの知識をもつ開発者がモデル検査技術の知識を持たなくても手法を利用できる支援ツールを開発した．
机译：为了开发高质量的软件，重要的是在早期阶段验证所需规格的可行性，以便几乎无需返工即可实施其有效性已被客户确认的所需规格。这要求需求规范必须具有可验证的形式，以保证其在开发的早期阶段就适用，但是通常处于分析不准确和热情的需求的阶段。 ，开发人员很难定义可验证的需求。本文在使用UML进行开发的过程中，使用模型检查技术在保证系统持久性目标数据的生命周期的同时细化所需规范的方法，这是早期要确认的基本属性之一。建议。我们还开发了一种支持工具，使具有UML知识的开发人员无需使用模型检查技术即可使用该方法。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号