• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Model driven engineering languages and systems >Towards Test-Driven Semantics Specification
【24h】

Towards Test-Driven Semantics Specification

机译：走向测试驱动的语义规范

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

摘要

Behavioral models are getting more and more important within the software development cycle. To get the most use out of them, their behavior should be denned formally. As a result, many approaches exist which aim at specifying formal semantics for behavioral languages (e.g., Dynamic Meta Modeling (DMM), Semantic Anchoring). Most of these approaches give rise to a formal semantics which can e.g. be used to check the quality of a particular language instance, for instance using model checking techniques.rnHowever, if the semantics specification itself contains errors, it is more or less useless, since one cannot rely on the analysis results. Therefore, the language engineer must make sure that the semantics he develops is of the highest quality possible. To help the language engineer to achieve that goal, we propose a test-driven semantics specification process: the semantics of the language under consideration is first informally demonstrated using example models, which will then be used as test cases during the actual semantics specification process. In this paper, we present this approach using the already mentioned specification language DMM.
机译：在软件开发周期中，行为模型变得越来越重要。为了充分利用它们，应正式拒绝其行为。结果，存在许多旨在指定行为语言的形式语义的方法（例如，动态元建模（DMM），语义锚定）。这些方法中的大多数产生了形式语义，例如例如，使用模型检查技术来检查特定语言实例的质量。但是，如果语义规范本身包含错误，则它或多或少地无用，因为不能依赖分析结果。因此，语言工程师必须确保他开发的语义具有最高的质量。为了帮助语言工程师实现该目标，我们提出了一个测试驱动的语义规范过程：首先使用示例模型非正式地说明所考虑语言的语义，然后在实际的语义规范过程中将其用作测试用例。在本文中，我们使用已经提到的规范语言DMM提出了这种方法。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号