一种基于符号执行的带反馈测试用例生成方法

    公开(公告)号:CN102736979B

    公开(公告)日:2014-12-31

    申请号:CN201210219282.5

    申请日:2012-06-29

    Applicant: 南京大学

    Abstract: 本发明公开了一种基于符号执行的带反馈测试用例生成方法,其步骤为:(1)执行已有的测试用例并收集测试用例覆盖信息;(2)根据被测程序的控制流图确定符号执行的覆盖目标;(3)对被测试程序插桩,植入符号执行的控制代码;(4)从已有测试用例集中选择合适的种子测试用例;(5)针对覆盖目标应用符号执行方法生成新的测试用例,新生成的测试用例补充入测试用例集;(6)重复上述步骤,直至达到给定的测试用例生成目标。本发明可广泛应用于软件开发过程中的自动化测试,自动化生成测试用例,避免单纯符号执行的约束条件爆炸问题,提高效率;同时能够结合其他生成方法,缓解符号执行方法不能处理复杂数据结构的问题。

    一种大理岩显微薄片自动鉴别方法

    公开(公告)号:CN104112126A

    公开(公告)日:2014-10-22

    申请号:CN201410382323.1

    申请日:2014-08-06

    Abstract: 本发明公开了一种大理岩显微薄片自动鉴别方法,其步骤是:1)将彩色图像转换为灰度图像;2)参考二维一阶离散小波分解处理灰度图像,分解为低频、水平、垂直和对角4个系数矩阵;3)分别将四个系数矩阵的元素值梯度化到0-255之间,并统计梯度分布;4)分别基于每一个梯度分布,计算分布特征,包括:均值、中位数、方差、偏度和峰值指标,构成纹理特征值向量;5)将薄片图像视为纹理特征值向量,储备样本集,采用随机森林分类技术,自动鉴别岩石薄片是否为大理岩。本发明方法运用信息处理技术自动鉴别大理岩显微薄片,充分利用大理岩的纹理特性和岩性组成,计算简单高效,具有扩展性;可随着岩石薄片数据储备的增加而提高鉴别方法的准确性;在地质勘探和矿物研究中具有应用价值。

    一种面向Java程序的随机测试用例生成方法

    公开(公告)号:CN102736980B

    公开(公告)日:2014-10-22

    申请号:CN201210219285.9

    申请日:2012-06-29

    Applicant: 南京大学

    Abstract: 本发明公开了一种面向Java程序的随机测试用例生成方法,其步骤为:(1)解析Java程序的类定义,获取对象方法列表;(2)建立对象方法间的依赖关系图,包括方法调用图和属性依赖图;(3)确定待覆盖的目标方法列表;(4)以公有类的实例化为目的生成调用链,维护类对象库;(5)以目标方法覆盖为目的生成调用链,维护调用链库;(6)基于调用链库生成Java程序的测试用例集。本发明可广泛应用于大中型Java软件系统的自动化测试工作,可完全自动化地生成测试用例,能够以较少的测试用例数量达到更高的代码覆盖率,同时能够处理复杂的数据结构,自动生成测试断言;测试用例生成方法简单有效,具有良好的适用性和扩展性。

    xUnit框架下面向对象软件中测试目标的自动化选择方法

    公开(公告)号:CN103309805A

    公开(公告)日:2013-09-18

    申请号:CN201310146574.5

    申请日:2013-04-24

    Inventor: 顾庆 陈道蓄

    Abstract: 本发明公开了一种xUnit框架下面向对象软件中测试目标的自动化选择方法,其步骤是:1)收集软件代码,分析对象类之间的依赖关系,以类为节点、依赖关系为边构建类依赖图;2)根据测试需求和类依赖图,选择影响范围最大的关键节点集合,映射为关键类集合;3)将关键类集合中的类作为测试目标,按照xUnit框架设计和执行测试用例。本发明能够以较少的测试用例数量达到较高的软件测试覆盖率,提高软件缺陷检测的几率;适用于不同类型的面向对象编程语言以及不同规模的软件,具有扩展性和适应性;能提高软件测试的性能和效率,或者在满足测试需求的前提下,减少软件测试成本和时间。

    一种基于价格连动网络的股票数据分析方法

    公开(公告)号:CN103279805A

    公开(公告)日:2013-09-04

    申请号:CN201310157718.7

    申请日:2013-04-28

    Abstract: 本发明公开了一种基于价格连动网络的股票数据分析方法,其步骤是:1)收集股票价格数据,计算股票价格之间的连动关系,以股票为节点、连动关系为边构建价格连动网络;2)在价格连动网络中,根据股票节点的两跳以内父节点集、股票价格走势、以及连动关系的权重计算股票节点的升值期望;3)根据升值期望对股票进行排序。本发明方法充分挖掘股票价格之间的连动关系,能够根据股票市场的价格波动情况合理判定近期内各股票的升值期望,有效避免单一股票价格走势预测中可能遇到的公平博弈问题。本发明方法计算简单,具有时效性、灵活性和扩展性,对股票历史数据处理量小,适用于股票市场数据量大且价格波动频繁的特点。

    一种基于k阶混合马尔可夫模型的Web页面访问预测方法

    公开(公告)号:CN102262661B

    公开(公告)日:2013-06-12

    申请号:CN201110200145.2

    申请日:2011-07-18

    Applicant: 南京大学

    Abstract: 本发明公开了一种基于k阶混合马尔可夫模型的Web页面访问预测方法,首先收集和整理Web服务器访问日志数据,识别客户端和用户,排除无意义的访问数据;再识别用户会话,组建Web日志数据库;并根据预测目标从数据库中选取日志数据,以会话为单位组织(k+1)元组,用于训练k阶混合马尔可夫模型;采用最大期望算法学习和校准k阶混合马尔可夫模型的参数集;根据目标用户页面访问操作识别会话,应用上述模型预测用户下一步访问的Web页面。本发明可向用户推荐需要访问的页面,减少页面访问的延迟,优化用户体验;从Web服务器角度可以改善Web页面的组织结构,指导搜索引擎的结果排序,改进页面缓存机制,从而提高服务质量。

    一种基于部分多重覆盖的回归测试用例筛选方法

    公开(公告)号:CN101908017B

    公开(公告)日:2012-10-03

    申请号:CN201010187488.5

    申请日:2010-06-01

    Applicant: 南京大学

    Inventor: 顾庆 唐宝 陈道蓄

    Abstract: 本发明公开了一种基于部分多重覆盖的回归测试用例筛选方法,首先根据软件系统特征和测试用例库的历史数据,构建测试需求覆盖矩阵;再针对修改组件,将测试需求集划分为关注集和无关集;采用HATS算法选择回归测试集;对于测试用例库的维护,采用基于风险或操作剖面定义测试需求的多重覆盖策略;根据给定的多重覆盖策略,采用MHATS算法筛选测试用例集。本发明通过多重覆盖策略来保留冗余的测试用例,从而在精简测试用例库时维持测试用例库的缺陷检测能力;另外在选择回归测试集时面向部分覆盖,同时避免覆盖不相干的测试需求,在进一步减少测试用例数量的同时,降低测试执行和分析的成本。

    一种基于反馈的自适应移动基站系统可靠性评估方法

    公开(公告)号:CN101272580B

    公开(公告)日:2011-10-19

    申请号:CN200810020416.4

    申请日:2008-03-05

    Applicant: 南京大学

    Abstract: 本发明公开了一种基于反馈的自适应移动基站系统可靠性评估方法,首先收集基站系统实际数据,根据需要预处理数据分析故障类型,抽取故障时间间隔;将故障间隔数据分成两组:一组用于方法学习和估计,另一组用于准确性验证和分析。针对第一组数据,采用多种评估方法对基站系统的可靠性进行评估和可靠性参数预估计;针对第二组数据比较多方法评估结果的准确程度,选择准确程度高的评估方法。将两组故障时间间隔数据合并,采用所选评估方法来评估基站系统在下一阶段的可靠性参数,据此确定巡检和维修周期,指导基站系统的巡检和维修。本发明可得到准确的评估结果,具有较好的开放性,适于移动基站系统按类别进行巡检和维修,且环境复杂多变的特点。

    一种基于部分多重覆盖的回归测试用例筛选方法

    公开(公告)号:CN101908017A

    公开(公告)日:2010-12-08

    申请号:CN201010187488.5

    申请日:2010-06-01

    Applicant: 南京大学

    Inventor: 顾庆 唐宝 陈道蓄

    Abstract: 本发明公开了一种基于部分多重覆盖的回归测试用例筛选方法,首先根据软件系统特征和测试用例库的历史数据,构建测试需求覆盖矩阵;再针对修改组件,将测试需求集划分为关注集和无关集;采用HATS算法选择回归测试集;对于测试用例库的维护,采用基于风险或操作剖面定义测试需求的多重覆盖策略;根据给定的多重覆盖策略,采用MHATS算法筛选测试用例集。本发明通过多重覆盖策略来保留冗余的测试用例,从而在精简测试用例库时维持测试用例库的缺陷检测能力;另外在选择回归测试集时面向部分覆盖,同时避免覆盖不相干的测试需求,在进一步减少测试用例数量的同时,降低测试执行和分析的成本。

    一种基于表单特征的Web安全漏洞动态检测方法

    公开(公告)号:CN101902470A

    公开(公告)日:2010-12-01

    申请号:CN201010226471.6

    申请日:2010-07-14

    Applicant: 南京大学

    Abstract: 本发明公开了一种基于表单特征的Web安全漏洞动态检测方法,其步骤是:1)对Web应用的待测页面、其表单及表单域的自动化特征进行提取,收集并保存数据;2)以表单为测试单位,为各个表单域赋予一组测试候选值,并初步生成全组合测试用例集;然后为每个测试用例计算一个权值,最后利用最大权值选择法生成测试用例集;3)测试用例集执行,4)针对各个测试用例的执行结果进行潜在安全漏洞分析,汇总生成测试报告。本发明方法通过对Web表单进行特征分析,运用领域知识有针对性的为表单域赋予安全漏洞检测值,并与Web服务器进行交互获取服务器响应,根据响应结果自动检测Web应用中潜在的安全漏洞。

Patent Agency Ranking