• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>2019 IEEE/ACM International Conference on Software and System Processes >On the Benefits of using Dedicated Models in Validation Processes for Behavioral Specifications
【24h】

On the Benefits of using Dedicated Models in Validation Processes for Behavioral Specifications

机译：关于在行为规范的验证过程中使用专用模型的好处

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

摘要

[Background] In model-based engineering models need to be regularly validated by manual assessment. Therefore, review processes have established. This commonly means that a visual inspection of the respective models is conducted. [Aims] In this paper, we report a study that aims at investigating whether automatically generated review models can aid the manual review of model-based specifications. We investigate this for the case of embedded systems' functional design. [Method] For that purpose, we compared the manual review of the functional design with the review of an automatically generated review model. In this paper, we report on a controlled experiment to compare effectiveness, efficiency, user confidence, and subjective supportiveness of both review artifacts. [Results] The experiment results show that the use of the review model as review artifact for the functional design is significantly more effective, leads to a significantly higher user confidence in decision making and is valued as significantly more supportive than the review of the original functional design. [Conclusions] Our experiment provides evidences that reviewing a generated review model instead of the original model-based specification of the functional design increases the quality of the reviews. Our findings also indicate that the use of generated review models have the potential to improve the review of model-based specifications in general.
机译：[背景]在基于模型的工程模型中，需要定期通过人工评估来验证模型。因此，建立了审核流程。这通常意味着对各个模型进行目视检查。 [目的]在本文中，我们报告了一项旨在调查自动生成的审查模型是否可以帮助基于模型的规范进行人工​​审查的研究。我们针对嵌入式系统的功能设计进行调查。 [方法]为此，我们将功能设计的手动审核与自动生成的审核模型的审核进行了比较。在本文中，我们报告了一项受控实验，以比较两种评论工件的有效性，效率，用户信心和主观支持能力。 [结果]实验结果表明，使用审阅模型作为功能设计的审阅工件明显更有效，从而使用户对决策的信心大大提高，并且被认为比对原始功能的审阅更支持设计。 [结论]我们的实验提供了证据，即对生成的审查模型进行审查，而不是对基于功能设计的基于模型的原始规范进行审查，可以提高审查的质量。我们的发现还表明，使用生成的审阅模型通常可以改善对基于模型的规范的审阅。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号