• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文OA文献 >Experiments towards model-based testing using Plan 9: Labelled transition file systems, stacking file systems, on-the-fly coverage measuring
【2h】

Experiments towards model-based testing using Plan 9: Labelled transition file systems, stacking file systems, on-the-fly coverage measuring

机译：使用plan 9进行基于模型的测试的实验：标记的过渡文件系统，堆叠文件系统，即时覆盖测量

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

摘要

We report on experiments that we did on Plan 9/Inferno to gain more experience with the file-system-as-tool-interface approach. We reimplemented functionality that we earlier worked on in Unix, trying to use Plan 9 file system interfaces. The application domain for those experiments was model-based testing.ududThe idea we wanted to experiment with consists of building small, reusable pieces of functionality which are then composed to achieve the intended functionality. In particular we want to experiment with the idea of 'stacking' file servers (fs) on top of each other, where the upper fs acts as a 'filter' on the data and structure provided by the lower fs.ududFor this experiment we designed a file system interface (ltsfs) that gives fine-grained access to a labelled transition system, and made two implementations of it.udWe developed a small fs that, when 'stacked' on top of the ltsfs, extends it with additional files, and an application that uses the resulting file system.ududThe hope was that an interface like the one offered by ltsfs could be used as a general interface between (specification language specific) programs that give access to state spaces and (specification language independent) programs that use (walk) those state spaces like simulators, model checkers, or test derivation programs.ududInitial results (obtained on a less-than-modern machine) suggest that, although the approach by itself is definitely feasible in principle, in practice the fine-grained access offered by ltsfs may involve many file (9p) transactions which may seriously affect performance. In Unix we used a more conservative approach where the access was less fine-grained which likely explains why there we did not suffer from this problem.ududIn addition we report on experiments to use acid to obtain coverage information that is updated on-the-fly while the program is running. This worked quite well. The main observation from those experiments is that the basic block notion of this approach, which has a more 'semantical' nature, differs from the more 'syntactical' nature of the basic block notion in Unix coverage measurement toolsudlike tcov or gcov.
机译：我们报告了我们在Plan 9 / Inferno上进行的实验，目的是获得更多使用文件系统工具界面方法的经验。我们重新实现了我们先前在Unix中使用的功能，试图使用Plan 9文件系统接口。这些实验的应用程序域是基于模型的测试。 ud ud我们要尝试的想法包括构建小的可重用功能块，然后组合这些功能块以实现预期的功能。特别是，我们要尝试将文件服务器（fs）彼此堆叠的想法，其中较高的fs充当较低的fs提供的数据和结构的“过滤器”。 ud ud实验中，我们设计了一个文件系统接口（ltsfs），可以对标记的转换系统进行细粒度的访问，并对其进行了两种实现。 ud我们开发了一个小型fs，当将其“堆叠”在ltsfs顶部时，可以扩展它。 ud ud希望可以将ltsfs提供的接口等接口用作（特定于规范语言的）程序之间的通用接口，这些程序可以访问状态空间，并且（使用（遍历）这些状态空间（如模拟器，模型检查器或测试派生程序）的独立于规范语言的程序。 ud ud初始结果（在不太现代的机器上获得）表明，尽管这种方法本身肯定是原则上可行实际上，ltsfs提供的细粒度访问可能涉及许多文件（9p）事务，这可能会严重影响性能。在Unix中，我们使用了一种较为保守的方法，即访问的粒度较差，这可能解释了为什么我们没有遭受此问题的困扰。 ud ud此外，我们还报告了使用酸来获取覆盖率信息的实验，这些信息会在以下时间更新：程序运行时实时运行。这工作得很好。从这些实验中得出的主要观察结果是，这种方法的基本块概念具有更多的“语义”性质，与Unix覆盖率测量工具 udco tcov或gcov中的基本块概念的“语法”性质有所不同。

著录项

  • 作者

    Belinfante Axel;

  • 作者单位
  • 年度 2006
  • 总页数
  • 原文格式 PDF
  • 正文语种 {"code":"en","name":"English","id":9}
  • 中图分类

相似文献

  • 外文文献
  • 中文文献
  • 专利

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号