-
公开(公告)号：CN112732583B
公开(公告)日：2022-02-18
申请号：CN202110051670.6
申请日：2021-01-14
Applicant: 徐州工程学院
Abstract: 本发明公布了一种基于聚类和多种群遗传算法的软件测试数据生成方法，目的是将模糊聚类方法和遗传算法应用于软件测试中，提高软件缺陷检测的效率。首先，在弱变异测试准则下，基于统计分析计方法计算变异体之间的相似度和变异体的杀死难度，进而排序变异体；接着基于排序好的变异体序列，选择难杀死的变异体为聚类中心，模糊聚类变异体。然后，针对每个簇，建立基于分支覆盖约束的测试数据生成数学模型；最后，对于多个变异体簇，基于强变异测试准则，采用多种群遗传算法生成测试数据，其中对于每个簇中变异体，优先生成杀死聚类中心的变异体，聚类中心动态调整。
-
公开(公告)号：CN112699054A
公开(公告)日：2021-04-23
申请号：CN202110051697.5
申请日：2021-01-14
Applicant: 徐州工程学院
Abstract: 本发明公布了一种软件测试用例有序生成方法，该方法区别于原有方法的特色在于，将模拟真实缺陷的变异体植入程序，作为程序的缺陷；基于变异体之间的杀死相关性选出重要变异体，并基于遗传算法优先生成重要变异体的测试用例，有利于提高软件缺陷检测的效率；首先，基于弱变异测试准则采用统计分析的方法，计算变异体之间的杀死相关度和相关数目，并基于变异体之间的杀死相关度和相关数目，排序变异体；然后，基于强变异测试准则，采用遗传算法有序生成测试数据；本方法深入研究变异体它们之间内在关联，排序变异体，并采用遗传算法有序生成测试数据，有利于高效生成缺陷检测能力强的测试用例，对于变异测试在产业界的广泛应用提供有益补充。
-
公开(公告)号：CN112699052A
公开(公告)日：2021-04-23
申请号：CN202110051669.3
申请日：2021-01-14
Applicant: 徐州工程学院
Abstract: 本发明公布了一种基于相关输入变量的软件测试用例进化生成方法，目的采用静态确定输入变量与变异分支相关性，缩减搜索域的范围，采用遗传算法高效生成具有缺陷检测能力的测试用例；该方法首先将确定变异体与输入变量的相关性，转化为可达变异分支的路径与输入变量的相关性，采用静态分析确定变异分支与输入变量的相关性；然后，建立变异测试用例生成数学模型，决策变量为相关输入变量；最后，利用遗传算法求解该模型，进化生成测试用例。
-
公开(公告)号：CN105808867B
公开(公告)日：2018-11-23
申请号：CN201610148464.6
申请日：2016-03-16
Applicant: 徐州工程学院
IPC: G06F17/50
Abstract: 本发明公布了一种基于模拟退火算法的建筑高度优化设计的方法，旨在提供一种采用模拟退火算法，求解组合优化问题的方法及程序设计的思路，并应用到实际建筑规划优化设计中。本发明首先将拟建建筑区域均匀分为若干小格，并将这些小格向上拉伸为小柱，基于小柱与被遮挡窗口的位置关系，对窗口进行日照分析，确定窗口日照累计时间；然后，基于窗口最小日照时间约束，构建拟建建筑最佳高度的数学模型；最后，针对该数学模型，设计模拟退火算法的步骤并进行求解。本发明针对特定数学模型，设计更合理的模拟退火算法，与传统手工方式相比，软件的自动化分析计算，更加快速，准确和高效，为实现节约型用地的设计提供一种有效方法和途径。
-
公开(公告)号：CN105824258B
公开(公告)日：2018-07-10
申请号：CN201610253267.0
申请日：2016-04-22
Applicant: 徐州工程学院
IPC: G05B19/04
Abstract: 本发明公开了一种智能闸门开度测控系统，包括闸门开度测量单元（1）、闸门控制单元（2）、输入键盘（3）、显示单元（4）、处理器（5）、闸门状态检测单元（6）；所述闸门开度测量单元（1）测量闸门开度并发送给处理器（5）；处理器（5）通过闸门控制单元（2）控制闸门运行，通过输入键盘（3）接收工作人员的控制信息，通过显示单元显示（4）闸门开度信息；处理器（5）通过闸门状态检测单元（6）检测闸门处于正常悬挂状态或卡滞状态，并将该状态信息发送给显示单元（4）。本发明能够实时检测闸门缆绳的拉力，判断闸门处于正常状态还是处于卡滞状态，停止闸门运行，避免过度用力，造成缆绳断裂或者其他严重事故。
-
Patent Agency Ranking
公开(公告)号：CN112699052B
公开(公告)日：2022-04-15
申请号：CN202110051669.3
申请日：2021-01-14
Applicant: 徐州工程学院
Abstract: 本发明公布了一种基于相关输入变量的软件测试用例进化生成方法，目的采用静态确定输入变量与变异分支相关性，缩减搜索域的范围，采用遗传算法高效生成具有缺陷检测能力的测试用例；该方法首先将确定变异体与输入变量的相关性，转化为可达变异分支的路径与输入变量的相关性，采用静态分析确定变异分支与输入变量的相关性；然后，建立变异测试用例生成数学模型，决策变量为相关输入变量；最后，利用遗传算法求解该模型，进化生成测试用例。
-
公开(公告)号：CN112699045A
公开(公告)日：2021-04-23
申请号：CN202110028395.6
申请日：2021-01-14
Applicant: 徐州工程学院
Abstract: 本发明公布了一种基于多种群遗传算法的软件测试用例生成方法，目的依据相同输入分量分组变异分支，对于多个组的变异分支，采用多种群遗传算法并行高效生成具有高缺陷检测能力的软件测试用例。首先基于静态分析确定输入变量与变异分支，并基于相同相关输入分量分组变异分支；然后基于多个变异分支的组，构建多任务测试数据生成优化模型，以相关输入变量作为决策变量；最后，利用个体共享的多种群遗传算法，通过并行方式生成变异测试用例。本发明移除不相关变量，有助于减少搜索域；采用多种群遗传算法有利于，以并行方式处理测试用例生成，提高软件测试的效率。
-
公开(公告)号：CN105824258A
公开(公告)日：2016-08-03
申请号：CN201610253267.0
申请日：2016-04-22
Applicant: 徐州工程学院
IPC: G05B19/04
CPC classification number: G05B19/04
Abstract: 本发明公开了一种智能闸门开度测控系统，包括闸门开度测量单元（1）、闸门控制单元（2）、输入键盘（3）、显示单元（4）、处理器（5）、闸门状态检测单元（6）；所述闸门开度测量单元（1）测量闸门开度并发送给处理器（5）；处理器（5）通过闸门控制单元（2）控制闸门运行，通过输入键盘（3）接收工作人员的控制信息，通过显示单元显示（4）闸门开度信息；处理器（5）通过闸门状态检测单元（6）检测闸门处于正常悬挂状态或卡滞状态，并将该状态信息发送给显示单元（4）。本发明能够实时检测闸门缆绳的拉力，判断闸门处于正常状态还是处于卡滞状态，停止闸门运行，避免过度用力，造成缆绳断裂或者其他严重事故。
-
公开(公告)号：CN112732583A
公开(公告)日：2021-04-30
申请号：CN202110051670.6
申请日：2021-01-14
Applicant: 徐州工程学院
Abstract: 本发明公布了一种基于聚类和多种群遗传算法的软件测试数据生成方法，目的是将模糊聚类方法和遗传算法应用于软件测试中，提高软件缺陷检测的效率。首先，在弱变异测试准则下，基于统计分析计方法计算变异体之间的相似度和变异体的杀死难度，进而排序变异体；接着基于排序好的变异体序列，选择难杀死的变异体为聚类中心，模糊聚类变异体。然后，针对每个簇，建立基于分支覆盖约束的测试数据生成数学模型；最后，对于多个变异体簇，基于强变异测试准则，采用多种群遗传算法生成测试数据，其中对于每个簇中变异体，优先生成杀死聚类中心的变异体，聚类中心动态调整。
-
公开(公告)号：CN105808867A
公开(公告)日：2016-07-27
申请号：CN201610148464.6
申请日：2016-03-16
Applicant: 徐州工程学院
IPC: G06F17/50
CPC classification number: G06F17/5004
Abstract: 本发明公布了一种基于模拟退火算法的建筑高度优化设计的方法，旨在提供一种采用模拟退火算法，求解组合优化问题的方法及程序设计的思路，并应用到实际建筑规划优化设计中。本发明首先将拟建建筑区域均匀分为若干小格，并将这些小格向上拉伸为小柱，基于小柱与被遮挡窗口的位置关系，对窗口进行日照分析，确定窗口日照累计时间；然后，基于窗口最小日照时间约束，构建拟建建筑最佳高度的数学模型；最后，针对该数学模型，设计模拟退火算法的步骤并进行求解。本发明针对特定数学模型，设计更合理的模拟退火算法，与传统手工方式相比，软件的自动化分析计算，更加快速，准确和高效，为实现节约型用地的设计提供一种有效方法和途径。
-
-
-
-
-
-
-
-
-
Search Results
17
records
(took 0.032 seconds)
