【摘 要】
：
论文首先介绍了时间输入／输出自动机(TIOA)模型，及该模型的测试序列的概念。然后介绍了栅格自动机，并给出对于时间输入／输出自动机进行黑盒一致性测试所需的测试组的产生算法。该
论文部分内容阅读
论文首先介绍了时间输入／输出自动机(TIOA)模型，及该模型的测试序列的概念。然后介绍了栅格自动机，并给出对于时间输入／输出自动机进行黑盒一致性测试所需的测试组的产生算法。该算法是第一个从稠密的实时系统得到一个有穷且完整的测试集的算法，但它产生的测试序列的数量太大，所以不具有实用价值。针对这一点，本文引入了可最小化的时间自动机(MTA)模型，并用该模型去描述上述算法中的规格说明自动机和执行自动机。接着用递归算法实现了对测试序列的首部即转换覆盖T的构造，从而证明使用MTA模型后，对于非最小状态的自动机，使用该算法产生的测试序列的数量将大大减少，从而在不影响其完整性的情况下使该算法更具实用性。
其他文献
该文分析了Internet信息资源的特点及其存在的问题,引入了作为Internet信息资源组织和检索方式的虚拟图书馆概念,在此基础上提出了知识类这一作为虚拟图书馆构建模块的工具.I
冷冲模是机械生产行业的重要工艺设备，而模具的设计是一个很繁杂的检索和绘图过程，采取计算机辅助技术可以加速这一过程，产生良好的经济效益。本文首先以建立面向具体领域的三维
作为替代、修复人体硬组织的生物材料，骨修复材料广泛应用。当人体发生意外时，要想找到合适的骨修复材料，必须了解骨组织本身的的材料性质，以及对骨机械性能更好的理解。本论文主
在基于内容的图像检索技术中,颜色、纹理及形状是应用最广泛的图像特征,本文主要围绕图像纹理特征提取方法展开研究,具体地说,就是研究如何有效地利用纹理谱来描述图像纹理特
该文的主要工作：1.在深入调研了嵌入式系统及其设计方法的基础上,总结了嵌入式系统软硬件协同设计方法中软硬件分配问题的发展历史和现状,阐述了软硬件功能分配的未来研究方向
在Internet时代,在世界日渐变小、信息交流和资源共享的需要日渐增强的时代,智能建筑也迫切需要冲破“信息孤岛”,与大厦外更广阔更开放的世界获得交流和沟通.这需要Inernet
随着移动互联网向多媒体信息应用方向发展,再加上移动终端处理芯片正朝着高效、低功耗、小体积方向发展,移动平台上也增加了更多的多媒体业务功能需求。在处理公共场所发生意
该文主要内容如下：1）针对大多数聚类算法只根据一个固定的原则来识别簇,因而往往只能处理某种特定的数据集合,而对其它数据集合的处理则效果不佳的缺点,提出了综合考虑距离和密
CSCW的概念诞生于1984年，历经不到二十年的发展，它已成为计算机科学中一个重要的研究领域。特别是随着INETERNET和WEB技术的发展，各种网上协同系统应运而生，CSCW的研究以其广阔的
该课题——制药企业GMP生产基地微机监控系统来源于一个实际工程项目,旨在提高企业自动化水平,使企业整体素质能达到国家GMP认证的要求.该文主要论述系统的设计与实现.作者在