明导国际公司（纳斯达克代码：MENT）今天宣布推出智能测试台自动化工具——inFact™。

inFact工具最新版现能够自动将大量模拟程序分布于多达1000台中央处理器（CPU）上，并将非富余序列生成拓展至整个模拟服务器群。

明导的inFact工具可利用运算法则来检验多个规则图表，并在模拟过程中动态合成测试台，以实现卓越的功能覆盖率。这些规则图表源自界面描述、总线协议、功能规范或测试计划。尽管这些规则图表远不及传统测试台庞大，但却能容纳大量即将生成的序列。然而，与传统约束随机测试技术不同，规则图表能够生成非富余序列，从而避免浪费模拟时间与资源。

经过最新改进，inFact工具可将大量模拟程序分布于多台CPU上，从而生成非富余序列，充分利用现有模拟服务器群。效率的显著提高，归因于规则图表具有的内在结构，以及专门针对生产应用而调整的新高级演算法。

空间分布运算法则可避免任何已知模拟CPU上出现序列重复；而模N运算法则可避免整个模拟群中出现序列重复。一台CPU处理数百万序列的模拟工作需要花费1000个小时，而由100个相似模拟CPU组成的模拟群完成相同的工作仅需要花费10小时零几分钟。

然而，假设所有模拟CPU完全相同，均可用于分布所有时间，并且所有测试台序列都要求使用相同数量的模拟时间，规则图表的生产模拟功能便无法充分发挥出来。从更加现实的角度考虑，并非所有CPU都能获得相同配置和用于延长模拟过程，且每个测试台序列需要的模拟时间不尽相同。

为解决以上复杂问题，inFact模拟分布管理器将所有序列分割为虚拟切片，并在完成上一个切片或完成所有切片后，将新切片置于各模拟CPU上。这创造了一种自动装载平衡效应，能够防止一台模拟CPU迅速制作完毕后，闲置等待其它CPU成形的情况发生。它还可有效使用一切模拟资源，包括完成其它任务后进入可用状态的CPU。

明导国际的系统级工程部门总经理Serge Leef说："inFact的结构大大提高了系统验证生产力，并能够十分有效地利用大型模拟群。"