摘要：为了解决文档互操作测试中的功能点划分粒度不统一、测试覆盖率难以度量、回归测试工作量大等问题,提出了以文档格式标准为基础、建立功能点的需求模型、设计文档互操作测试评价方法,并定义了文档格式标准变更指数、测试覆盖率、测试用例之间的关联等度量指标,可将人工测试中定性的估计发展为定量的度量体系,提高了测试过程中的可视性。该方法可以提高文档互操作测试效率,保证测试质量,促进对文档互操作过程的理解、控制和预测。

摘要：软件系统开发完成后,验证其是否完成了软件设计说明书的所有功能并且与设计算法一致,是软件测试的一项重要工作.通过人工遍历分析源代码来完成实现与设计的一致性验证是复杂费力的,并且需要测试人员具备丰富的编程经验和较强的算法分析能力.论文提出了一种基于函数调用路径的软件实现自动验证方法.从设计文档和源代码两个方面出发,分别分析其函数调用关系,提取函数调用路径,生成功能簇模型.其中文档方面通过人工理解设计文档,确定函数调用关系,然后自动生成标准功能簇模型;源代码方面通过静态分析,自动获取函数调用关系,提取功能点特征,利用这些特征提取功能点的具体实现算法,自动生成软件的实际功能簇模型.对比两个功能簇模型,验证软件实现与设计的一致性.实验结果表明:算法能够准确获得软件系统的功能结构及实现算法特征,对软件实现与设计的一致性做出有效判定,为软件实现与设计的一致性自动化测试提出一种新的思路.

摘要：软件测试中关键的步骤就是设计和生成高效、准确的测试用例,通过自动生成测试用例可以有效解决这一问题。提出基于修正条件判定组合覆盖准则(MCDC)的测试用例生成方法。对程序源代码进行预处理,利用控制树模型生成路径集的控制树,基于控制树所设计的修正条件判定组合覆盖准则对控制树进行约减,分别提取控制树上的根结点到每个叶子结点的路径约束信息,根据路径约束信息生成测试用例。实验结果表明,所提方法在生成测试用例的个数及测试用例集对MCDC覆盖率方面都有一定提高。

摘要：测试用例自动生成是软件测试自动化中最为关键的组成部分之一,符号执行作为一种程序分析方法,以其可提供高覆盖率测试用例的优势被广泛应用其中,但路径爆炸和约束求解问题很大程度制约了符号执行技术在现实程序分析中的应用。将研究粒度由语句提升至函数,利用抽象语法树和字节码序列提取到的函数关键信息和控制信息得到函数调用关系模型,设计算法生成函数调用路径(函数调用路径表示程序从开始到结束之间函数的调用或执行序列)。该方法不仅减少了测试路径数目缓解了路径爆炸问题,还有效解决了控制条件中存在函数导致符号表达式难求解的问题。实验结果表明该方法可优化测试路径集,在不降低覆盖率的前提下减少测试用例数量。

摘要：针对目前软件设计与实现一致性检测方法需要大量模板集,难以一般化的问题,提出一种基于控制流的软件设计与实现一致性分析方法。首先,将设计文档伪代码和程序源代码转换为具有相同特征的中间表示,从中间表示中分别提取设计特征和实现特征,特征包括能反映系统结构的函数调用关系和能反映函数内部结构的控制流信息;然后,根据设计特征和实现特征分别建立设计特征模型和实现特征模型;最后,通过计算特征相似度来度量特征模型的相似度,进而获取一致性检测结果。实验结果表明,所提方法在软件实现的函数调用关系与设计不一致时,能够正确检测不一致函数调用关系;而在软件实现的函数调用关系与设计一致时,能够正确检测函数内部结构的不一致情况,准确度达到了92.85%。该方法可以有效获取一致性检测结果,不需要模板集,具有更优越的一般性。

摘要：完整准确提取程序变更影响范围是分析由数据变化引发程序错误的关键,能够有效缩短回归测试的周期。为此,提出一种基于多粒度的数据变更影响域分析方法。通过静态分析,结合程序局部控制信息和数据信息流规则,提取关键函数,得到影响函数调用路径,以程序影响函数调用路径为分析集,提取受变更影响的基本路径集,即从函数粒度和语句粒度对数据变更影响域进行分析,分别得到影响函数调用路径和影响基本路径集。大量实验结果表明,该方法能够完整准确提取程序影响函数调用路径和影响基本路径集,定位数据变更影响域,提高回归测试的效率。

摘要：圈复杂度是度量软件复杂程度的主要指标,在软件测试以及维护上有着重要的作用.随着Python语言在各领域的应用越来越普遍,Python程序的复杂度逐渐成为开发者所关注的问题.根据Python语言的抽象语法树,结合Python程序的字节码,通过设计相应的算法提取控制流信息,来实现程序圈复杂度的自动化计算,上述方法不需要借助于控制流图.实验结果表明,上述方法有效可靠,可以准确地计算出程序的圈复杂度.特别是在程序的设计与开发阶段,关注代码的复杂度,可以有效提高软件质量、降低维护成本.

摘要：为充分挖掘执行结果与程序频谱的潜在关系,提出基于互信息的可疑度计算公式MIStar(mutual information star)。通过分析程序在不同测试用例下的执行信息,引用互信息对传统的怀疑度公式进行优化,给每条语句赋予权重值,不断修正不确定性参数Star,获得良好的定位效果。实验结果表明,该方法较其它可疑度算法在准确度上有了明显提高,具备良好的实用价值。

摘要：提出一个便携式个人防毒墙系统模型,它是一个小型嵌入式系统,硬件自主设计,上面运行裁剪后的Linux操作系统,操作系统之上运行防病毒应用程序。文章将计算机防病毒技术与嵌入式技术结合起来,设计实现了一个简单嵌入式防毒墙系统,在外部存储设备与计算机主机之间设置一道安全屏障,可有效降低病毒传播,为二者之间的数据传输交换提供一条安全通道。

摘要：针对现有系统监测工具可扩展性的不足,提出计算机监测单元系统,实现为管理员提供批量计算机系统监测的管理平台。通过研究,设计了具有CPU监测器、系统物理/虚拟内存监测器、进程监测器和各性能指标的统计器系统。系统采用了C++语言和面向对象的分析、设计和实现方法。目前,系统已实现了一个具备可扩展性的数据采集系统架构,并基于此架构初步实现了各性能数据的实时采集;但也存在着不能根据历史记录对数据的走向作进一步智能预测的不足。