-
公开(公告)号:CN112579437B
公开(公告)日:2022-11-29
申请号:CN202011378877.6
申请日:2020-12-01
Applicant: 中国科学院电子学研究所苏州研究院 , 东南大学
IPC: G06F11/36
Abstract: 本发明提出了一种程序运行过程符合性验证方法,包括动态插桩和过程验证两个环节,动态插桩工作时,接收并解析用户传入的指令,执行插桩启停过程,并回传过程数据日志;过程验证接收过程数据日志,提取日志中方法间的关系建立过程图模型,并将过程图模型与标准规则进行顺序匹配,从而验证程序运行过程的标准符合性。本发明通过插桩埋点、数据建模等方法直观、定量地展示出程序运行时内部的执行流程信息,提供了一种程序运行流程验证的方法,填补了针对软件运行过程符合性验证的空白。
-
公开(公告)号:CN112579436B
公开(公告)日:2022-11-29
申请号:CN202011378841.8
申请日:2020-12-01
Applicant: 中国科学院电子学研究所苏州研究院 , 东南大学
IPC: G06F11/36
Abstract: 本发明提出了一种微服务软件架构识别与度量方法,对待检测的原始微服务JAR包进行预处理,将JAR包进行文件目录解构和冗余项过滤;根据微服务软件架构特征体系,提取待测软件的微服务规模特征、微服务构件特征和微服务拓扑特征,其中微服务规模特征采用子服务数量作为特征项,构件特征采用服务注册与发现组件、负载均衡组件作为特征项,微服务拓扑特征采用网关组件作为特征项;构建微服务软件架构符合度模型,计算待测软件遵循微服务架构的概率,决策得到待测软件是微服务程序的可能性。本发明填补了传统软件评测在技术框架符合性评估领域的空白,能够自动恢复待测软件的技术框架,并分析软件对微服务架构的符合性。
-
公开(公告)号:CN112579436A
公开(公告)日:2021-03-30
申请号:CN202011378841.8
申请日:2020-12-01
Applicant: 中国科学院电子学研究所苏州研究院 , 东南大学
IPC: G06F11/36
Abstract: 本发明提出了一种微服务软件架构识别与度量方法,对待检测的原始微服务JAR包进行预处理,将JAR包进行文件目录解构和冗余项过滤;根据微服务软件架构特征体系,提取待测软件的微服务规模特征、微服务构件特征和微服务拓扑特征,其中微服务规模特征采用子服务数量作为特征项,构件特征采用服务注册与发现组件、负载均衡组件作为特征项,微服务拓扑特征采用网关组件作为特征项;构建微服务软件架构符合度模型,计算待测软件遵循微服务架构的概率,决策得到待测软件是微服务程序的可能性。本发明填补了传统软件评测在技术框架符合性评估领域的空白,能够自动恢复待测软件的技术框架,并分析软件对微服务架构的符合性。
-
公开(公告)号:CN112579437A
公开(公告)日:2021-03-30
申请号:CN202011378877.6
申请日:2020-12-01
Applicant: 中国科学院电子学研究所苏州研究院 , 东南大学
IPC: G06F11/36
Abstract: 本发明提出了一种程序运行过程符合性验证方法,包括动态插桩和过程验证两个环节,动态插桩工作时,接收并解析用户传入的指令,执行插桩启停过程,并回传过程数据日志;过程验证接收过程数据日志,提取日志中方法间的关系建立过程图模型,并将过程图模型与标准规则进行顺序匹配,从而验证程序运行过程的标准符合性。本发明通过插桩埋点、数据建模等方法直观、定量地展示出程序运行时内部的执行流程信息,提供了一种程序运行流程验证的方法,填补了针对软件运行过程符合性验证的空白。
-
公开(公告)号:CN112416788B
公开(公告)日:2022-11-29
申请号:CN202011365112.9
申请日:2020-11-27
Applicant: 中国科学院电子学研究所苏州研究院
IPC: G06F11/36
Abstract: 本发明提出了一种分层规范的Web应用UI自动化测试方法,源代码预处理,构建基本操作对象表;编写自动化测试用例,从基本操作对象表中匹配与每个测试用例的测试对象对应的唯一语义字符描述,在编写各测试步骤时用基本操作词汇描述对测试对象的操作;翻译自动化测试用例,按逻辑顺序,将自动化测试用例中的每个步骤对基本操作对象所做的基本操作翻译为程序原语,最终形成每个测试用例的测试程序;将测试程序中的程序原语进行扩展,形成直接驱动浏览器模拟用户操作的命令;执行测试,输出测试用例的结果。本发明解决了现有自动化测试工具脚本编写难度大、普适性差、维护成本高、项目迁移性差等问题。
-
公开(公告)号:CN112416789B
公开(公告)日:2022-11-29
申请号:CN202011366121.X
申请日:2020-11-29
Applicant: 中国科学院电子学研究所苏州研究院
Abstract: 本发明提出一种面向演化软件的过程度量元评价方法,构建过程度量元库;从软件历史仓库中提取出代码度量元,根据类模块在两个连续版本中的缺陷情况,确定后一个版本该类模块的缺陷情况变化;对于待评价的过程度量元,采用类相关性度量方法库中的类相关性度量方法,对该过程度量元的类相关性进行度量,得到该过程度量元的类相关性值;采用10次10折交叉验证方法结合分类算法库中的分类算法,计算分类模型的AUC作为该过程度量元的分类性能值。本发明通过比较分析各过程度量元对演化软件缺陷情况变化的影响程度,可以帮助理解软件缺陷产生的原因,发现软件开发过程中存在的问题,改善软件开发过程,提高后续软件开发的质量。
-
公开(公告)号:CN112416789A
公开(公告)日:2021-02-26
申请号:CN202011366121.X
申请日:2020-11-29
Applicant: 中国科学院电子学研究所苏州研究院
Abstract: 本发明提出一种面向演化软件的过程度量元评价方法,构建过程度量元库;从软件历史仓库中提取出代码度量元,根据类模块在两个连续版本中的缺陷情况,确定后一个版本该类模块的缺陷情况变化;对于待评价的过程度量元,采用类相关性度量方法库中的类相关性度量方法,对该过程度量元的类相关性进行度量,得到该过程度量元的类相关性值;采用10次10折交叉验证方法结合分类算法库中的分类算法,计算分类模型的AUC作为该过程度量元的分类性能值。本发明通过比较分析各过程度量元对演化软件缺陷情况变化的影响程度,可以帮助理解软件缺陷产生的原因,发现软件开发过程中存在的问题,改善软件开发过程,提高后续软件开发的质量。
-
公开(公告)号:CN112416788A
公开(公告)日:2021-02-26
申请号:CN202011365112.9
申请日:2020-11-27
Applicant: 中国科学院电子学研究所苏州研究院
IPC: G06F11/36
Abstract: 本发明提出了一种分层规范的Web应用UI自动化测试方法,源代码预处理,构建基本操作对象表;编写自动化测试用例,从基本操作对象表中匹配与每个测试用例的测试对象对应的唯一语义字符描述,在编写各测试步骤时用基本操作词汇描述对测试对象的操作;翻译自动化测试用例,按逻辑顺序,将自动化测试用例中的每个步骤对基本操作对象所做的基本操作翻译为程序原语,最终形成每个测试用例的测试程序;将测试程序中的程序原语进行扩展,形成直接驱动浏览器模拟用户操作的命令;执行测试,输出测试用例的结果。本发明解决了现有自动化测试工具脚本编写难度大、普适性差、维护成本高、项目迁移性差等问题。
-
公开(公告)号:CN113650621B
公开(公告)日:2022-08-12
申请号:CN202110935579.0
申请日:2021-08-16
Applicant: 东南大学
IPC: B60W40/103 , B60W50/00
Abstract: 本发明公开了一种面向复杂工况的分布式驱动电动汽车状态参数估计方法,利用分布式驱动电动汽车即时反馈的车轮转角和车轮转速等参数和标准车载传感器实时测定的汽车参数,构建适用于复杂工况的四自由度汽车动力学方程并建立自适应无迹卡尔曼滤波器进行滤波,最终实现对关键参数的估计,具有较高的估计精度。本发明可用于分布式驱动电动汽车的底盘辅助控制和主动安全控制,具有较广的适用性和较好的鲁棒性。
-
公开(公告)号:CN113650620A
公开(公告)日:2021-11-16
申请号:CN202111002707.2
申请日:2021-08-30
Applicant: 东南大学
Abstract: 本发明涉及一种四轮电驱动汽车状态预测方法,首先利用车载传感器获得汽车的纵向速度、横摆角速度、轮胎侧向力、前轮转角信号和纵向驱动力信息,利用无迹卡尔曼滤波算法获得基于模型的车辆状态估计;将车辆运行中产生的大数据进行提取获得状态输入和输出数据集,运用神经网络训练获得软件定义的车,使得其能够根据车辆控制输入自动输出车辆状态,获得基于数据的车辆状态估计;将获得的基于模型和数据的车辆估计加权融合,获得最终汽车状态估计值。本发明基于算法的持续优化,不断改善预测精度,促进了汽车主动安全控制技术的发展。
-
-
-
-
-
-
-
-
-