摘要：建立了高速互连系统几何结构的形式化描述,提出了串扰故障激励的主次因素原理、攻击生效原理和对称原理,深入研究了基于正交设计的主次因素分析及渐进式串扰故障激励测试模型.该模型在考虑了互连几何特征的基础上,采用了渐进式测试矢量生成及施加,对生成的测试矢量立即进行故障检测及判断,从而可以大大减少测试矢量数,并节省测试时间.最后进行了仿真验证.结果表明,该测试模型与现有的多跳变故障模型、半跳变故障模型相比,在保证故障覆盖率的情况下,紧凑性指标更小,测试时间更短,测试的故障类型更多,可以更加有效地进行非理想互连系统的串扰故障激励测试.

摘要：本文基于模型驱动测试的思想，提出一种Web应用测试模型WANM（Web Application Navigation Model），用于支持测试用例的设计与自动执行．基于WANM设计的测试用例的描述参照U2TP（UML2．0 Testing Profile）标准，使得测试建模、测试用例生成以及测试执行既紧密联系又相互独立，有助于提高测试的充分性与效室．

摘要：因第三方构件通常由不同的组织开发完成,相应的需求开发文档及源代码无法获取,传统的软件安全测试方法无法应用.通过分析构件接口信息,借鉴软件数据挖掘技术可以获取构件相应的接口方法运行序列及需求规约等信息,进而也能对测试日志信息进行分析和处理.针对第三方构件安全性难以测试的问题,本文提出了一种采用数据挖掘技术的测试模型及其测试框架.提出的方法首先形式化定义了测试模型的基本元素,然后基于此模型设计了一个测试框架,并采用单子技术对测试流程和数据挖掘算法进行了形式化描述.为了实现该测试框架,论文实现了数据挖掘相关算法并研发了一个测试第三方构件安全性的测试系统(Component Security Testing Systembasedon Data Mining,CSTS-DM),最后对测试模型及CSTS-DM进行了案例分析及实验验证,并通过对商业构件和模拟构件的分析测试,验证了CSTS-DM原型测试系统的效果和效率,也分析了提出的测试框架及测试模型的有效性及可行性。

摘要：为保证软件测试与设计的一致,分析了UML设计模型和UTP测试模型的异同点,提出了从设计模型到测试模型的映射过程。通过实例说明如何从UML设计模型转换为UTP测试模型的过程。此方法可为模型驱动体系结构中设计模型和测试模型的自动转换提供支持。

摘要：基于模型驱动测试的思想,提出一种Web应用测试模型WANM(Web Application Navigation Model),用于支持测试用例的设计与自动执行.基于WANM设计的测试用例的描述参照U2TP(UML2.0 Testing Profile)标准,使得测试建模、测试用例生成以及测试执行既紧密联系又相互独立,有助于提高测试的充分性与效率.

摘要：Web应用程序因其易于部署维护和成本低的特点,近年来在电子商务、电子政务等领域应用广泛。本文对Web应用程序性能测试进行了基础的研究,总结和完善了web应用程序访问模型、Web应用程序性能指标和性能测试场景设计模型,对于Web性能改善具有一定帮助。

摘要：为了保证Web应用的质量和可靠性,需要不断加强对Web应用软件的测试研究。Web应用软件的有效测试依赖于对其进行充分的分析和理解,提出良好的测试模型,并基于测试模型提出测试策略和测试方法。提出了一种面向对象的Web应用软件测试模型WATM,并且基于WATM提出了测试用例的设计和选择的方法,从而更好地支持Web应用软件的导航测试和状态行为测试。

摘要：针对实时操作系统内存分配的性能,分析了一个现有的测试模型,提出了模型中存在的问题,并给出了改进方法。改进后的模型比原模型可以产生更多的内存碎片,这样可以更充分地反映内存碎片对内存分配性能的影响。改进后的模型也更符合真实环境下的内存分配规律,且考虑了内存分配失败的情况对内存分配整体性能的影响。最后通过实验结果表明了改进方法的有效性和正确性。

摘要：软件升级测试是软件测试的重要方面。在分析软件升级路径数目爆炸式增长以及测试成本不断攀升的基础上,提出了一种升级路径优选方法,并在此基础上阐述了一种升级测试模型。理论和实践证明该模型是有效的;基于这种测试模型给出了软件升级架构设计的一些启示。

摘要：随着Web服务的兴起提出了SOA的软件体系架构,为Internet上的分布式计算提供了支持异构平台和多种语言的构件式程序架构,而目前几乎没有对SOA体系架构软件的集成测试方法及工具;文章利用植错测试技术,设计了在Java平台上对SOA架构下Web服务软件消息交互进行测试的JT4SOA模型。