智能优化算法自动生成计算机软件测试数据的方法

为了解决计算机软件数据测试中存在的问题,本文提出了一种基于智能优化算法自动生成(Automatic generation of intelligent optimization algorithm,AGIOA)的计算机软件测试数据方法。通过利用智能算法处理待测数据,并自动对计算机软件测试数据进行优化测试,以充分展示该算法的软件测试数据生成能力。最后,通过使用不同的算法对软件测试数据进行对比分析,实验结果表明:该方法可以提高计算机软件测试数据的自动生成效率,也有利于改善软件的质量。     

基于扩展的EDPN的类的交互测试用例生成技术的研究

针对类交互测试的正交阵列测试系统(OATS)生成测试用例的方法存在类的状态盲目组合而导致测试用例“爆炸”以及受标准正交阵列的影响使得选择的正交阵列不易扩充等问题，扩展了事件驱动的Petri网(EEDPN)模型，提出了类的状态组合的标记关联递推法生成交互路径，得到了扩展的正交阵列测试系统(EOATS)的类交互测试用例的生成方法，优化了OATS，分析了该方法在类的交互测试技术中的覆盖率问题，讨论了其生成扩展的正交阵列表的充分性。     

与Catalan数有关的组合问题研究

首先给出了Catalan数的4个经典组合模型：凸多边形的三角剖分问题、简单有序根树的计数问题、路径问题、乘法结合方式问题,给出了Catalan数的4种推导方法：迭代递推方法、生成函数方法、组合求差方法和一一映射方法,并综合相关文献的研究结果,列举了Catalan数的一些性质。     

标准物质在氨基酸测试中的应用

<正> 氮基酸测试的质量控制,是用现代科学管理方法来保证测试数据的质量,使误差限制在许可的范围内,保证测试数据准确可靠,并与其它实验室的测试结果有可比性。在氨基酸测试的质量控制方法中,比较简便可靠的方法是在测试样品的同时,测定     

半实物环境下嵌入式软件通用测试平台研究

嵌入式软件规模日益增大,结构也越来越复杂.当前嵌入式软件测试系统通常针对特定被测软件,从底层做起,没有一个通用平台提供支持.本文提出了一个半实物环境下嵌入式软件通用测试平台框架,采用基于Eclipse CDT/JDT的跨语言源代码分析,使用XML文档作为测试数据交换介质,结合半实物环境下目标机的可替换性,实现了测试平台的通用性,自动化程度较高.根据该框架建成的测试平台,支持对被测程序进行源代码分析、按类插桩、自动编译、测试数据分析等操作.     

基于遗传退火算法的测试序列优化研究

最优测试序列的生成是大型复杂系统可测试性设计中极为重要的一步,可利用遗传退火算法解决组合优化问题的优越性来生成最优测试序列.建立最优测试序列问题的数学模型,利用优先权布尔矩阵式编码方案来对测试序列进行编码,设计交算子和两种变异算子,并引入与或树来说明算法搜索最优序列的全过程,在MatLab上进行仿真实验.实验结果表明,该算法取得较好的效果,具有一定的参考价值.     

Statechart描述的测试语义和测试用例自动生成

研究了Statechart描述的测试语义和测试用例自动生成.基于Tretmans的从标记转换系统描述自动生成测试用例的方法,我们研究如何从Statechart描述自动生成测试用例.建立了基于Statechart描述的一致性测试和测试用例生成的形式化基础.为Statechart描述建立了形式化测试语义,测试语义和传统的验证语义不同,强调可观察性和内部细节隐藏.基于形式化测试语义和测试假设,形式化定义了系统描述和系统实现之间的一致性关系/实现关系.然后给出了基于图遍历的测试用例生成算法,对于无环测试语义该算法可以生成完全测试集,而对于带环测试语义该算法可以生成高效率的宽泛测试集.     

一站式政务环境中的服务动态组合算法

提出了一种基于语义服务链的服务动态组合算法.该算法采用面向语义的Petri网来表示政务服务,并给出了组合服务的生成实例及其控制执行的本体服务链.实验结果表明,该算法在可接受的链接时间内,自动组合出复杂政务服务的链接成功率达到80%以上,有效提高了服务组合的质量和效率.     

用C语言实现微机并行口中断方式数据采集和实时显示的研究

本文介绍了一种利用微机并行口实现测试数据实时采集和显示的方法．该方法以中断方式工作，成功地应用于由286微机所组成的一个测试系统中，取得了满意的效果．     

用输入“矢量对”进行大型组合电路分块测试生成的新方法

本文采用输入“矢量对”这一新方法，对大型组合电路的分块测试问题进行了深入研究，证明了一般电路的分块原理，分析比较了电路的分块与不分块两种情况下测试生成的差。结果表明分块后测试码数目大大减少，提高了故障诊断速度，具有很大的优越性，实验研究与理论分析完全相符，证明所提的理论是正确的，具有实用性。