• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IEEE systems journal >A Visual Tradeoff Space for Formal Verification and Validation Techniques
【24h】

A Visual Tradeoff Space for Formal Verification and Validation Techniques

机译：用于形式验证和验证技术的可视权衡空间

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

摘要

Numerous techniques exist for conducting computer-assisted formal verification and validation. The cost associated with these techniques varies, depending on factors such as ease of use, the effort required to construct correct requirement specifications for complex real-world properties, and the effort associated with instrumentation of the software under test. Likewise, existing techniques differ in their ability to effectively cover the system under test and its associated requirements. To aid software engineers in selecting the appropriate technique for the formal verification or validation task at hand, we introduce a three-dimensional tradeoff space encompassing both cost and coverage.
机译：存在用于进行计算机辅助形式验证和确认的多种技术。与这些技术相关的成本会有所不同，具体取决于多种因素，例如易用性，为复杂的现实世界属性构建正确的需求规格所需的工作以及与测试软件的仪器相关的工作。同样，现有技术在有效覆盖被测系统及其相关要求方面的能力也有所不同。为了帮助软件工程师为手头的形式验证或确认任务选择适当的技术，我们引入了一个包含成本和覆盖范围的三维折衷空间。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号