基于蓝牙Profiles的互连测试系统的研究和实现

对蓝牙通信软件的互连性测试进行了研究,提出了测试模型和测试方法.     

路径测试设计用例的设计与分析

探讨了组合数学法和BRO策略法两种不同的设计测试用例的方法在路径测试中的应用。     

业务流程建模与测试方法研究

针对复杂业务流程设计测试效率低、自动化程度不高、测试用例正确性难以保证的问题,在研究接口自动机模型的基础上,提出了一种基于模型的业务流程测试方法。该方法首先采用扩展带约束的接口自动机对业务流程设计进行形式化描述,并给出了从业务流程设计模型到带约束的接口自动机模型的转换算法;然后基于模型完成了对业务流程设计与需求的一致性验证,将验证后的接口自动机模型作为业务流程的测试模型,通过其特有的"乐观方法"和博弈思想实现了流程间的嵌套调用组合;最后定义了业务流程的测试覆盖准则,并在满足活动约束条件组合覆盖准则的前提下,设计了相应的测试用例生成算法。实例分析表明:该方法能够简化测试过程,可用于业务流程设计的测试用例自动化生成,有效保证了测试用例的正确性,提高了测试效率。     

一种提高错误定位效率的测试用例选择方法

为提高错误定位的效率,提出了多种测试用例约简与选择的方法,然而,过度的约简与不适的选择造成了部分测试信息丢失,引起了错误定位有效性的损失。本文提出了一种相似测试用例选择方法,用以约简测试集。该方法能消除偶然测试用例对错误定位准确性造成的偏差,通过为每个失败测试用例选择执行轨迹与其相似的成功测试用例的方式,最大限度地保留测试的全部信息;基于选择出的测试用例信息,利用已有的错误定位方法输出程序语句的可疑值列表。以Siemens程序集作为实验对象,证明了本文测试用例选择方法能显著提高错误定位的有效性。     

面向5G通信基站管理系统性能评估的测试用例分布规律研究

针对通信基站管理系统目前多采用融合人工经验的测试方法，无法模拟长周期且发生时间合理的测试用例问题，提出了一种基于基站告警日志的测试用例建模方法。首先，以基站日志产生时间间隔为研究对象，从数据整体、设备类型、日志类型、设备和日志类型等维度分析发现日志产生时间间隔服从幂律分布的规律；然后，对比分析最小二乘法、极大自然估计与最大后验估计3种不同的参数估计算法，以估算误差为依据，发现最小二乘法的拟合度更高且残差最小，拟合优度与平均绝对百分误差的平均值分别为0.96和3.5%;最后，采用最小二乘法对日志时间间隔进行幂指数估算，保留局点拟合优度大于0.7的告警组成测试用例。该模型应用于全国多个不同城市通信基站的告警日志间隔分布估算，实验结果表明：所提模型可以实现85%以上日志分布规律计算，为编排贴近实际运行环境的测试用例奠定基础，进一步提升测试结果的可靠度。     

划分测试中测试用例最优分配问题研究

研究了划分测试中每个子域错误率已知，测试资源受约束时，测试用例如何合理分配的优化问题．主要考虑了两类测试用例分配问题：测试资源受约束的测试用例分配及测试资源受约束且各个子域的可靠性要达到一定要求时测试用例的分配，证明了带约束的测试用例最优分配问题是一个NPC问题．给出了动态规划求解方法，从理论上证明了该方法是最优的，并通过随机模拟将该方法与其它常见的测试用例分配策略进行分析比较，用实验数据验证了该办法能合理利用有限测试资源，有效地提高缺陷检测能力．     

基于编码的生僻汉字输入方法理论与测试研究

在BNF范式编码的基础上，深入讨论了生僻汉字数字化处理问题。根据对生僻汉字部件的统计和分析，本文提出了基于编码的生僻汉字输入方法，建立了相应的生僻汉字部件库，实现了生僻汉字的数字存储和显示。此外，应用测试用例自动生成的方法，对输入方法进行了测试，表明该方法具有造字速度快，应用范围广，与现有字体兼容性强等优点，从而为生僻汉字的数字化提出了一个新的解决方案。     

基于模型的有限状态机软件动态测试方法

介绍了一种基于模型的软件动态测试方法，该方法通过将被测程序抽象成有限状态机，将测试程序及测试用例的编写集中到单个状态上。在软件结构或逻辑发生改变时，能够通过对旧状态测试程序的重新组合进行新的测试。无需大量修改测试程序从而保存了先前的测试用例。     

基于UML活动图的测试用例生成

本文首先给出了形式化的UML活动图生成测试场景的覆盖准则,然后依据覆盖准则提出UML活动图转化测试场景的算法(ATOS)将活动图转化为测试场景,最后使用算法(STOT)将测试场景转化为测试用例,有效地解决了UML活动图到测试用例的自动生成,减少了编写测试用例的时间。     

基于可视化编程环境的软件测试

结合传统软件测试与面向对象软件测试的方法和技术，针对现代管理信息系统软件的新特性，讨论基于可视化编程环境的软件测试模型，同时提出了窗口控件交互执行因果图（Control Interaction Cause-Effect Graph）及其测试覆盖准则，并进一步阐述了其测试用例生成策略。