基于变异测试的错误定位研究进展

随着软件规模和复杂度的不断提高，软件的质量问题成为了关注的焦点，如何高效地找出软件中的错误成为一个亟需解决的问题。错误定位是软件质量保证的重要途径之一，近年来已经成为软件工程中一个非常重要的研究课题。基于变异测试的错误定位通过比较原程序和对应变异体的差异来计算每条语句的怀疑度，再由怀疑度大小进行排序，程序员根据排序逐个检查找出错误语句。汇总近7年（2012-2018）国内外的基于变异测试的错误定位技术的研究成果，介绍了错误定位的基本方法，介绍基于变异测试的错误定位思想，从变异算子、变异体及等价变异体3个方面对已有的研究工作进行分类归纳和总结，探讨了基于变异测试的错误定位未来可能的研究方向、机遇和挑战。     

产胞外多糖乳杆菌的筛选及多糖功能的研究

本论文从大连地区海产品消化腺中筛选产胞外多糖(EPS)的乳杆菌属菌株,并研究其所产EPS的功能特性,选出一株目标菌,对其EPS分离纯化,测定纯化后各多糖组分的相对分子量。获得EPS产量相对较高的菌株经16S r RNA序列测定鉴定为Lactobacillus plantarum subsp.plantarum-4,Lactobacillus plantarum-12,Lactobacillus plantarumsubsp.plantarum-49;对3株植物乳杆菌及其EPS进行清除DPPH自由基的测定,Lactobacillus plantarum-12的EPS浓度为0.5 mg/mL时,清除率为48.82±3.88%,显著高于另外2株菌(p0.05);测定植物乳杆菌的EPS抑制E.coli ATCC25922在HT-29细胞上的粘附效果,Lactobacillus plantarum-12的EPS浓度为0.2mg/mL时,抑制率为78.23%±2.46%,显著高于另外两株菌(p0.05);Lactobacillus plantarum-12的EPS可显著抑制E·coli ATCC25922刺激HT-29细胞产生IL-8(p0.05)。Lactobacillus plantarum-12的EPS经DEAE-Sepharose Fast Flow离子交换柱、Sepharose CL-6B凝胶柱和Sephacryl HR S200凝胶柱层析分离得到两组分,测定两组分的相对分子质量分别为8.5×10~4 u和7.4×10~4 u。     

基于UIO序列的类重要性度量

程序理解是测试和维护大规模面向对象程序的关键,选择程序的关键类优先开展分析是理解程序结构的一个有效的方法.为支持自动识别软件系统中的关键类,本文提出了一种基于UIO序列的类重要性度量方法.首先将软件系统抽象为一个以类为转换的有限自动机模型,随后求解该自动机的UIO序列,将该序列集合转化为状态转换树.通过递归计算状态转换树的节点复杂度求得类重要度.并在考虑异常传播的基础上改进了算法.最后通过实验验证了算法的有效性.     

基于对象引用关系的Java程序内存行为分析方法

本文提出一种基于对象引用关系的Java程序内存行为分析方法.与传统的通过内存消耗的大小来确定程序中数据结构的重要性并分析相关内存行为的方法不同,本文方法同时考虑内存消耗和内存支配两个因素来确定一个数据结构在程序内存行为中的重要性,通过研究数据结构之间在内存使用上的支配关系和对数据结构进行引用分析,得到程序中重要的内存行为.实验结果表明该方法能有效地分析程序的内存行为,且对比其它方法能提供更加准确的内存行为分析结果.     

基于子路径扩展的不可达路径检测方法

不可达路径是造成软件测试资源消耗的一个重要方面.在路径测试之前,检测程序中的不可达路径可以有效节约软件测试资源.提出了一种基于子路径扩展的不可达路径静态检测方法.该方法首先生成程序的子路径集,将路径的可达性问题转换为不等式组的求解问题.使用约束求解器判断子路径的可达性,可以分为:可达子路径,不可达子路径和无法判定三个部分,并对后面两部分的子路径扩展出的路径做二次可达性检测,最终获得程序中所有路径的可达性信息.可达性检测工作主要在子路径集上进行,因此有效地解决了路径爆炸问题.实验结果表明本文方法可以准确有效地检测出程序中的不可达路径.     

一种基于耦合度量的类间集成测试序的确定方法

类间测试顺序的确定是类集成测试中难以解决的一个关键问题.类的测试序列不同,构造相应的测试桩需要花费的代价也会不同.每一个测试桩复杂度度量的准确性决定最终打破环路所需构造测试桩的总体复杂度.对于类间测试顺序问题,文章提出一种基于耦合度量的类间集成测试序的确定方法.采用类间耦合度量与基于图的启发式算法相结合的方法,其中,前...     

菊粉益生素的最新研究进展

肠道茵群在人的健康和疾病中起着重要作用,与宿主具有二歧关系.大量证据表明菊粉益生素在人的肠道茵群内可选择性地发酵,引起双歧茵数量增加.动物和人体试验的大量证据显示,膳食中补充益生素菊粉,通过调节肠道茵群,可预防结肠癌、心脏病的发生和增进骨健康.这些作用机理是益生素功能食品领域未来面临的挑战.近十年来,高分辨率的生物学技术,尤其是代谢组学的出现,为阐明益生茵群调节代谢作用机理提供了有效的工具.     

软件错误定位研究综述

错误定位是软件调试中的一个热点问题,旨在高效地检测出软件错误。首先根据研究方法的不同,将已有错误定位方法从轻量级和重量级两个角度进行分类并进行比较。轻量级错误定位技术不涉及程序依赖关系分析,在程序执行覆盖信息的基础上用统计学或数据挖掘等方法找出可疑错误代码的集合来定位错误;重量级错误定位技术涉及程序依赖关系分析,主要分析数据依赖、控制依赖关系或使用程序切片等来识别可疑代码。然后,总结了常用的评测数据集和评测标准。最后,对错误定位的未来研究趋势进行了展望。