测试集自动生成工具TUGEN的设计与实现

测试集自动生成工具的研究是协议一致性测试领域中比较活跃的一个分支，本文在对目前已有的各种测试集生成方法进行分析的基础上，提出了一种新的测试集自动生成方法并对它的实现ＴＵＧＥＮ作了介绍．ＴＵＧＥＮ基于一种称为ＥＢＥ的形式模型，ＥＢＥ模型只对协议的外部行为进行描述，而且可以从协议的Ｅｓｔｅｌｌｅ或ＬＯＴＯＳ描述中转化得到．ＴＵＧＥＮ以协议的ＥＢＥ－ＮＦ描述作为输入，使用我们新提出的一套测试事例生成策略，最后产生出ＴＴＣＮ．ＭＰ格式的测试集．我们用Ｘ．２５ＬＡＰＢ协议的ＥＢＥ－ＮＦ描述作为例子，对ＴＵＧＥＮ     

FMS动态调度软件自动生成研究

本文针对软件自动化方法在ＦＭＳ运控软件设计中的应用，介绍了由ＦＭＳ布局自动生成系统，ＦＭＳ动态调度软件自动生成系统，ＦＭＳ动态调度软件的仿真系统３个基本部分组成的ＦＭＳ运控软件自动生成系统。系统以输入的加工零件信息和生产计划作为推理的基础，并进行优化，自动产生较为合理的布局，在此布局的基础上，通过调用相应的调度规则，自动产生ＦＭＳ动态调度软件，通过ＦＳｉｍｕ仿真器来仿真验证，这样开发一个动态调度软件的时间大大缩短，降低了ＦＭＳ开发成本，还提高了软件的质量。     

一种基于形式化描述的测试序列生成改进方法

动生成测试序列始终是软件工程中一项极为困难的工作．国际标准化组织（ＩＳＯ）一直致力于协议一致性测试方法与形式化描述技术的研究．本文讨论了基于形式化描述的协议测试序列生成方法中的问题,特别是提出了“部分Ｔ序列叠加算法”对使用ＵＩＯ序列生成测试序列的方法做了进一步改进,大大减少了测试开销．     

RSA公开密钥密码体制的密钥生成研究

密钥生成是ＲＳＡ公钥系统中的一个重要研究课题。本文介绍了密钥生成的一般方法，即确定性素数产生方法和概率性素数产生方法，并给出了利用ＭｉｌｅｒＲａｂｉｎ测试和Ｐｏｃｋｌｉｎｇｔｏｎ定理生成强伪素数的算法实现。     

步进电机矩频特性智能集成测试系统

步进电机矩频特性智能集成测试系统ＡｎＩｎｔｅｌｉｇｅｎｔＵｎｉｆｉｅｄＴｅｓｔＳｙｓｔｅｍｆｏｒｔｈｅＲｏｔａｍｏｍｅｎｔａｎｄＦｒｅｎｑｅｎｃｙＣｈａｒａｃｔｅｒｉｓｔｉｃｏｆＳｔｅｐｐｉｎｇＭｏｔｏｒ●黄勤珍孟文ＨｕａｎｇＱｉｎｚｈｅｎＭｅｎｇＷ...     

FMS仿真程序的自动生成

本文首先分析了传统仿真系统的局限性，以及智能化仿真系统应具有的主要功能，然后介绍作者开发的一个智能化ＦＭＳ仿真系统，其中成功地利用各种知识，实现了ＦＭＳ仿真主程序的自动生成。     

YFSIM仿真软件交互子系统共享映象的生成

本文详细介绍了ＶＡＸ机上有ＶＭＳ操作系统支持下生成可共享映象的关键技术，并介绍了ＹＦＳＩＭ软件交互子系统部分共享映象的生成及使用过程中所遇到的一些问题和解决的办法。     

一个支持软件需求测试任务分析方法的工具

需求定义模型测试的任务分析方法，把需求情形实例当作需求模型的测试用例，用任务活动序列描述情形，并提供给任务分析专家和用户进行对照分析。情形实例的活动序列描述以文字的形式描述系统行为的细节，表达清晰，较需求模型更容易被用户所理解。文章介绍支持该方法的一个需求模型测试自动化工具ＳＲＤＭＴｅｓｔ．     

软件开发中的触发器设计

ＳＱＬ＊ＦＯＲＭ是ＯＲＡＣＬＥ关系数据库提供的软件生成工具。本文介绍的触发器设计是ＳＱＬ＊ＦＯＲＭ的精华之所在。正确使用和设计触发器，从而得到一个完美的ＦＯＲＭ，对于一个应用软件系统的开发是至关重要的。     

测试维护总线(TM-BUS)的研究与实现

测试维护总线是机载计算机测试技术研究的难点和关键技术之一。简要介绍了测试维护总线ＴＭ－ＢＵＳ控制器的设计,重点论述了ＴＭ－ＢＵＳ的实现方案、ＴＭ－ＢＵＳ控制管理机制及ＴＭ－ＢＵＳ应用。应用系统稳定运行表明,所提出的ＴＭ－ＢＵＳ实现方案的正确性以及芯片逻辑功能正确,稳定可靠。