公开(公告)号：CN104461883B

公开(公告)日：2017-11-14

申请号：CN201410728471.4

申请日：2014-12-03

申请人： 中国矿业大学

发明人： 姜淑娟 ,  王兴亚 ,  刘颖祺 ,  张艳梅 ,  于巧

IPC分类号： G06F11/36

摘要： 本发明涉及一种基于程序执行轨迹的过程间动态程序切片系统，具体方法依据以下五步进行：轨迹分析，首先利用调试器的信息记录程序执行轨迹，找出该次执行中涉及的类和方法；类层次分析，对涉及的类建立类层次图；程序调用分析，在类层次图的基础上建立计算方法的调用信息；控制依赖分析，同时计算涉及方法的控制依赖；程序切片，根据求得的所有信息计算得到程序切片，该系统大大提高了算法的效率，根据调用关系、控制依赖关系提高了切片的精度。根据调用关系，过程间信息的传递称为可能，从而可以对程序进行过程间动态程序切片。

公开(公告)号：CN105243394B

公开(公告)日：2019-03-19

申请号：CN201510732754.0

申请日：2015-11-03

申请人： 中国矿业大学

发明人： 于巧 ,  姜淑娟 ,  张艳梅 ,  王兴亚

IPC分类号： G06K9/62

摘要： 本发明涉及一种类不平衡对分类模型性能影响程度的评价方法，包括下列步骤：(1)分类模型库构建；(2)新数据集构造；(3)分类模型对新数据集进行预测；(4)分类模型性能评价；(5)影响程度等级评定。本发明首先采用机器学习中典型的分类算法构建分类模型库；然后，选取类不平衡数据集作为基准数据集，并在此基础上构建一组不平衡率依次递增的新数据集，选取不同的分类模型对这组新数据集分别进行分类和预测；最后，采用变异系数来评价分类模型的性能变异程度并划分等级，从而评价类不平衡对不同分类模型性能的影响程度，对于类不平衡问题的研究具有指导意义。针对不同的分类模型，本发明提供的类不平衡对分类模型性能影响程度的评价方法具有较高的普适性。

公开(公告)号：CN105468517A

公开(公告)日：2016-04-06

申请号：CN201510759523.9

申请日：2015-11-10

申请人： 中国矿业大学

发明人： 姜淑娟 ,  王兴亚 ,  高鹏飞 ,  于巧 ,  张艳梅 ,  鞠小林 ,  王荣存

IPC分类号： G06F11/36

摘要： 本发明涉及一种基于黑盒测试用例约简的统计错误定位方法，针对给定的测试用例集合，利用距离度量方法度量测试用例间的差异程度，从而构建测试用例距离矩阵；在此基础上设置测试需求，采用贪心算法开展测试用例约简工作从而生成满足测试需求的测试用例集，同时收集约简测试用例集的程序覆盖信息和程序执行结果，进而构建测试用例覆盖矩阵；之后开展统计错误定位来度量程序中语句出错的可疑度，最终生成软件错误定位报告。本发明目的在于解决目前存在的统计错误定位方法需要花费较长时间进行测试信息收集的问题，进而大幅提升统计错误定位方法的效率和易用性，提高了程序调试工作效率，从而更好的保证软件的质量。

公开(公告)号：CN105243394A

公开(公告)日：2016-01-13

申请号：CN201510732754.0

申请日：2015-11-03

申请人： 中国矿业大学

发明人： 于巧 ,  姜淑娟 ,  张艳梅 ,  王兴亚

IPC分类号： G06K9/62

摘要： 本发明涉及一种类不平衡对分类模型性能影响程度的评价方法，包括下列步骤：(1)分类模型库构建；(2)新数据集构造；(3)分类模型对新数据集进行预测；(4)分类模型性能评价；(5)影响程度等级评定。本发明首先采用机器学习中典型的分类算法构建分类模型库；然后，选取类不平衡数据集作为基准数据集，并在此基础上构建一组不平衡率依次递增的新数据集，选取不同的分类模型对这组新数据集分别进行分类和预测；最后，采用变异系数来评价分类模型的性能变异程度并划分等级，从而评价类不平衡对不同分类模型性能的影响程度，对于类不平衡问题的研究具有指导意义。针对不同的分类模型，本发明提供的类不平衡对分类模型性能影响程度的评价方法具有较高的普适性。

公开(公告)号：CN104461883A

公开(公告)日：2015-03-25

申请号：CN201410728471.4

申请日：2014-12-03

申请人： 中国矿业大学

发明人： 姜淑娟 ,  王兴亚 ,  刘颖祺 ,  张艳梅 ,  于巧

IPC分类号： G06F11/36

摘要： 本发明涉及一种基于程序执行轨迹的过程间动态程序切片系统，具体方法依据以下五步进行：轨迹分析，首先利用调试器的信息记录程序执行轨迹，找出该次执行中涉及的类和方法；类层次分析，对涉及的类建立类层次图；程序调用分析，在类层次图的基础上建立计算方法的调用信息；控制依赖分析，同时计算涉及方法的控制依赖；程序切片，根据求得的所有信息计算得到程序切片，该系统大大提高了算法的效率，根据调用关系、控制依赖关系提高了切片的精度。根据调用关系，过程间信息的传递称为可能，从而可以对程序进行过程间动态程序切片。

公开(公告)号：CN105468517B

公开(公告)日：2018-03-02

申请号：CN201510759523.9

申请日：2015-11-10

申请人： 中国矿业大学

发明人： 姜淑娟 ,  王兴亚 ,  高鹏飞 ,  于巧 ,  张艳梅 ,  鞠小林 ,  王荣存

IPC分类号： G06F11/36

摘要： 本发明涉及一种基于黑盒测试用例约简的统计错误定位方法，针对给定的测试用例集合，利用距离度量方法度量测试用例间的差异程度，从而构建测试用例距离矩阵；在此基础上设置测试需求，采用贪心算法开展测试用例约简工作从而生成满足测试需求的测试用例集，同时收集约简测试用例集的程序覆盖信息和程序执行结果，进而构建测试用例覆盖矩阵；之后开展统计错误定位来度量程序中语句出错的可疑度，最终生成软件错误定位报告。本发明目的在于解决目前存在的统计错误定位方法需要花费较长时间进行测试信息收集的问题，进而大幅提升统计错误定位方法的效率和易用性，提高了程序调试工作效率，从而更好的保证软件的质量。

公开(公告)号：CN102981953A

公开(公告)日：2013-03-20

申请号：CN201210449481.5

申请日：2012-11-12

申请人： 中国矿业大学

发明人： 姜淑娟 ,  于巧 ,  张艳梅 ,  刘颖祺

IPC分类号： G06F11/36

摘要： 本发明涉及一种空指针异常的自动故障定位方法，分为三个步骤：（1）程序切片，（2）故障定位，包括对切片后的程序进行空指针分析和别名分析，（3）可视化。采用静态分析和实时堆栈信息相结合的方法，自动定位引发空指针异常的根源，既克服了单独使用静态分析方法导致分析结果不精确的缺陷，又弥补了实时堆栈信息过于粗糙无法单独应用的不足，同时不需要花费代价收集动态信息。

公开(公告)号：CN203015372U

公开(公告)日：2013-06-19

申请号：CN201220592346.1

申请日：2012-11-12

申请人： 中国矿业大学

发明人： 于巧 ,  姜淑娟

IPC分类号： H05K9/00

摘要： 本实用新型涉及一种能够消除电脑辐射的结构，实现该结构的设备包括外壳、导电膜和辐射体；电脑运行时能够产生电磁辐射的部件均为辐射体，包括显示器、主机、键盘和鼠标，在辐射体和外壳之间紧密吻合设有一层能够吸收电磁辐射的导电膜，导电膜和辐射体的电源线电连接，显示器、键盘和鼠标的电源线连接到主机，主机的电源线连接接地插座。使用时，辐射体产生的电磁辐射被导电膜吸收并集中处理形成导向电流，导向电流聚集到主机并通过主机的电源线接地，从而导入大地，达到从源头上吸收电磁辐射的目的，彻底解决电磁辐射危害人体健康的问题，实用有效。