-
公开(公告)号:CN105843744B
公开(公告)日:2018-10-16
申请号:CN201610256250.0
申请日:2016-04-22
Applicant: 中国矿业大学
IPC: G06F11/36
Abstract: 用于并行程序蜕变测试的蜕变关系优先级排序方法。应用蜕变测试技术于并行程序的软件测试,先对构造的蜕变关系进行优先级排序,旨在尽早地发现程序中的错误,从而提高解决存在于软件测试中的Oracle问题的效率。该优先级排序策略利用蜕变关系产生的衍生测试用例及原始测试用例,以它们之间的相似度为依据估计其执行程序所覆盖路径的相似度,进而估计蜕变关系基于已有测试用例的检错范围,并基于此对蜕变关系进行优先级排序。具体步骤如下:(1)评估蜕变关系的各个进程检错能力;(2)设置各个进程的权值,以反映蜕变关系的各个进程检错能力,对评估其对整个程序检错能力所占的权重;(3)评估蜕变关系的程序检错能力,并确定各个蜕变关系的优先级;(4)检测程序。
-
公开(公告)号:CN105930272A
公开(公告)日:2016-09-07
申请号:CN201610257126.6
申请日:2016-04-22
Applicant: 中国矿业大学
IPC: G06F11/36
CPC classification number: G06F11/3684
Abstract: 本发明公布了一种基于重要语句的分支覆盖测试数据生成方法,旨在可以高效地生成覆盖目标分支的测试数据。具体步骤如下:(1)利用弱变异测试转化方法对原程序进行转化;(2)根据语句重要度指标体系对原程序语句进行排序;(3)基于以重要度排序后的原程序语句序列,确定相应的变异分支优先级;(4)建立以分支覆盖为准则的测试数据生成问题的数学模型;(5)设计适应度函数,以优先级最高的变异分支为目标;(6)设置相关遗传操作,采用遗传算法生成覆盖目标分支的测试数据。
-
公开(公告)号:CN105843744A
公开(公告)日:2016-08-10
申请号:CN201610256250.0
申请日:2016-04-22
Applicant: 中国矿业大学
IPC: G06F11/36
CPC classification number: G06F11/3688
Abstract: 用于并行程序蜕变测试的蜕变关系优先级排序方法。应用蜕变测试技术于并行程序的软件测试,先对构造的蜕变关系进行优先级排序,旨在尽早地发现程序中的错误,从而提高解决存在于软件测试中的Oracle问题的效率。该优先级排序策略利用蜕变关系产生的衍生测试用例及原始测试用例,以它们之间的相似度为依据估计其执行程序所覆盖路径的相似度,进而估计蜕变关系基于已有测试用例的检错范围,并基于此对蜕变关系进行优先级排序。具体步骤如下:(1)评估蜕变关系的各个进程检错能力;(2)设置各个进程的权值,以反映蜕变关系的各个进程检错能力,对评估其对整个程序检错能力所占的权重;(3)评估蜕变关系的程序检错能力,并确定各个蜕变关系的优先级;(4)检测程序。
-
公开(公告)号:CN105930272B
公开(公告)日:2018-10-02
申请号:CN201610257126.6
申请日:2016-04-22
Applicant: 中国矿业大学
IPC: G06F11/36
Abstract: 本发明公布了一种基于重要语句的分支覆盖测试数据生成方法,旨在可以高效地生成覆盖目标分支的测试数据。具体步骤如下:(1)利用弱变异测试转化方法对原程序进行转化;(2)根据语句重要度指标体系对原程序语句进行排序;(3)基于以重要度排序后的原程序语句序列,确定相应的变异分支优先级;(4)建立以分支覆盖为准则的测试数据生成问题的数学模型;(5)设计适应度函数,以优先级最高的变异分支为目标;(6)设置相关遗传操作,采用遗传算法生成覆盖目标分支的测试数据。
-
公开(公告)号:CN109522646A
公开(公告)日:2019-03-26
申请号:CN201811360149.5
申请日:2018-11-15
Applicant: 中国矿业大学
IPC: G06F17/50
Abstract: 本发明公开了一种可实现图像范围内全部岩体交叉裂隙图像自动分离及其矢量化表达的数字照相量测方法。本发明通过分析裂隙点邻域范围内的像素点分布情况识别裂隙点性质,并基于交叉裂隙图像特征,通过设计追踪存储算法实现了图像内全部交叉裂隙的单独存储。本发明克服了现有数字照相量测方法在识别图像裂隙过程中无法进行全部交叉裂隙自动分离及其矢量化的缺陷,并可在裂隙矢量化的基础上实现单条具体裂隙的形态参数分析。
-
公开(公告)号:CN109522646B
公开(公告)日:2022-12-16
申请号:CN201811360149.5
申请日:2018-11-15
Applicant: 中国矿业大学
IPC: G06F30/20
Abstract: 本发明公开了一种可实现图像范围内全部岩体交叉裂隙图像自动分离及其矢量化表达的数字照相量测方法。本发明通过分析裂隙点邻域范围内的像素点分布情况识别裂隙点性质,并基于交叉裂隙图像特征,通过设计追踪存储算法实现了图像内全部交叉裂隙的单独存储。本发明克服了现有数字照相量测方法在识别图像裂隙过程中无法进行全部交叉裂隙自动分离及其矢量化的缺陷,并可在裂隙矢量化的基础上实现单条具体裂隙的形态参数分析。
-
公开(公告)号:CN205725693U
公开(公告)日:2016-11-23
申请号:CN201620319583.9
申请日:2016-04-15
Applicant: 中国矿业大学
IPC: H03K17/567 , H03K17/08
Abstract: 本实用新型公开了一种SiC‑MOSFET的高速隔离驱动保护电路,包括高速CMOS数字隔离电路、高速驱动电路、栅源极过压保护电路和负压产生电路。高速CMOS数字隔离电路可以实现输入端和驱动电路的严格电位隔离,并能保证驱动的快速性;高速驱动电路可提供强大的驱动电流;栅源极过压保护电路可以防止栅源极出现过电压;负压产生电路给栅源极间提供一个负电压,使SiC‑MOSFET可靠关断。本实用新型可用在高频电路中快速驱动SiC‑MOSFET,兼具快速性、隔离性,以及可靠的保护功能。
-
-
-
-
-
-