异构系统的集成测试
摘要：组合具有基于根本不同方法的组件（例如硅片和wetware）构成一个单一的一贯系统的最佳方法尚不清楚，对此我们还知之甚少。尤其是，虽然针对单一技术组件的测试策略已经得到广泛发展，但将基于根本不同技术的组件组合到单一系统中时如何进行集成测试还不清楚：当基于根本不同技术的组件在单一系统中结合时，我们能否开发一种测试集生成策略，检查特定行为是否出现（并且不出现不希望的行为）。 本文中，我们描述了一种使用Eilenberg的计算X机器模型为基础的通用形式规范策略来对多技术heterotic系统进行建模的方法。我们展示了如何将不同技术表示为单一框架，并提出一种使用这些形式模型进行自动heterotic测试集生成的策略。我们通过展示如何推导出一个heterotic系统的测试集，其中该系统由基于X机器的设备与基于细胞的P系统（膜系统）组合而成，来说明我们的方法。
作者：Marian Gheorghe and Mike Stannett
论文ID：1408.2674
分类：Emerging Technologies
分类简称：cs.ET
提交时间：2014-08-13