• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Software Security and Reliability >Traceability-Based Formal Specification Inspection
【24h】

Traceability-Based Formal Specification Inspection

机译：基于可追溯性的正式规范检查

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Transforming informal specifications to formal specifications is an effective approach to clarifying user's requirements. However, how to keep the consistency between the informal specification and the formal specification is a major challenge. In this paper, we propose an inspection method for verifying whether all requirements described in an informal specification are formalized in the corresponding formal specification. Inspection is a static analysis technique based upon a checklist containing questions that should be answered. Our proposed inspection method advocates the principle that the checklist is created based on the trace ability of specifications and animation is used as a reading technique for checking through the formal specification. The trace ability reflects connections between informal and formal specifications, which can facilitate the inspector to check whether all requirements have been realized. The animation provides an intuitive way to guide the inspector in reading the formal specification. We use a case study to demonstrate how an inspection is performed.
机译：将非正式规范转换为正式规范是澄清用户需求的有效方法。然而，如何保持非正式规范和正式规范之间的一致性是一个重大挑战。在本文中，我们提出了一种检查方法，用于验证非正式规范中描述的所有要求是否都在相应的正式规范中正式化。检查是一种基于包含应回答问题的清单的静态分析技术。我们提出的检查方法提倡以下原则：根据规格的可追溯性创建检查表，并使用动画作为通过正式规格进行检查的阅读技术。跟踪能力反映了非正式规范和正式规范之间的联系，这可以使检查员检查是否已满足所有要求。动画提供了一种直观的方式来指导检查员阅读正式规格。我们使用案例研究来演示如何执行检查。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号