首页> 外文期刊>Science of Computer Programming >Using source transformation to test and model check implicit-invocation systems
【24h】

Using source transformation to test and model check implicit-invocation systems

机译:使用源转换对隐式调用系统进行测试和模型检查

获取原文
获取原文并翻译 | 示例

摘要

In this paper we present a source transformation-based framework to support uniform testing and model checking of implicit-invocation software systems. The framework includes a new domain-specific programming language, the Implicit-Invocation Language (IIL), explicitly designed for directly expressing implicit-invocation software systems, and a set of formal rule-based source transformation tools that allow automatic generation of both executable and formal verification artifacts. We provide details of these transformation tools, evaluate the framework in practice, and discuss the benefits of formal automatic transformation in this context. Our approach is designed not only to advance the state-of-the-art in validating implicit-invocation systems, but also to further explore the use of automated source transformation as a uniform vehicle to assist in the implementation, validation and verification of programming languages and software systems in general.
机译:在本文中,我们提出了一个基于源转换的框架,以支持隐式调用软件系统的统一测试和模型检查。该框架包括一种新的特定于领域的编程语言,明确用于直接表达隐式调用软件系统的隐式调用语言(IIL),以及允许自动生成可执行文件和可执行文件的一组基于规则的正式源转换工具。正式的验证工件。我们提供了这些转换工具的详细信息,在实践中评估了框架,并讨论了在这种情况下正式自动转换的好处。我们的方法不仅旨在提高验证隐式调用系统的最新水平,而且还可以进一步探索将自动源转换用作统一工具来协助编程语言的实现,验证和验证的方法。和软件系统。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号