-
公开(公告)号:CN115658470A
公开(公告)日:2023-01-31
申请号:CN202211151863.X
申请日:2022-09-21
Applicant: 中国科学院软件研究所
IPC: G06F11/36
Abstract: 本发明公开了一种面向分布式系统的失效恢复机制自动化测试方法及装置,所述方法包括:将初始故障序列注入分布式系统,获取目标系统运行信息;基于所述目标系统运行信息、系统特定约束和用户特定约束,生成和变异故障序列seq′,以更新故障序列队列;从所述故障序列队列选择一故障序列seq;使用所述故障序列seq对所述分布式系统进行测试,获取缺陷报告或更新所述故障序列队列之后,返回至从所述故障序列队列选择一故障序列seq;基于所述缺陷报告,得到所述分布式系统的测试结果。本发明可以覆盖更多系统代码,暴露失效恢复缺陷。
-
公开(公告)号:CN101957753A
公开(公告)日:2011-01-26
申请号:CN201010279066.0
申请日:2010-09-10
Applicant: 中国科学院软件研究所
Abstract: 本发明公开了一种软件生产线构造方法及系统,属于计算机软件领域。本方法为:1)客户端创建软件生产线模型文件并将其保存到服务器端;2)客户端装配模块从服务器端下载并解析该软件生产线模型文件,获得该软件生产线中的角色信息;3)客户端装配模块依据客户端的角色和软件生产线模型文件获得该客户端所需的工具集地址,并从服务器端下载工具集装配该客户端;4)客户端任务管理模块轮询服务器端任务管理模块,下载与所在客户端相关的任务信息;5)客户端制品管理模块根据下载的任务信息完成该任务,并将该任务状态改为完成。本发明弥补了软件开发中生产过程、工具、制品、开发者之间关系的缺失,实现工具之间数据集成、控制集成、过程集成。
-
公开(公告)号:CN118093414A
公开(公告)日:2024-05-28
申请号:CN202410273156.0
申请日:2024-03-11
Applicant: 中国科学院软件研究所
IPC: G06F11/36 , G06F16/242 , G06F16/2453 , G06F16/2455
Abstract: 本发明公开了一种元数据导向的逻辑缺陷自动化检测方法及装置,涉及软件技术领域。本发明针对目标数据库系统,基于数据定义语言语句和数据操纵语言语句构造初始数据库;根据初始数据库构造原始数据库,该原始数据库与初始数据库具有相同表数据但不具有相同元数据;根据初始数据库生成测试目标数据库系统的查询语句;在初始数据库和原始数据库中分别执行查询语句,获取初始数据库和原始数据库返回的结果;通过判断初始数据库和原始数据库返回的结果之间的关系,来确认目标数据库系统是否发生了元数据相关的逻辑缺陷。本发明不局限于关系型数据库系统,而是适用于所有使用数据库元数据进行查询优化的数据库系统。
-
公开(公告)号:CN116860658A
公开(公告)日:2023-10-10
申请号:CN202310739729.X
申请日:2023-06-21
Applicant: 中国科学院软件研究所
Abstract: 本发明涉及一种面向大数据处理框架的高效半自动垃圾回收方法和系统,通过区分大数据框架中的普通对象与数据对象,本发明消除了垃圾收集过程中数据对象不必要的标记和复制开销。本发明包括:数据对象分析器为大数据框架开发者提供两个注解,分别表示数据对象的创建和释放,Java虚拟机可以根据注解跟踪数据对象的生命周期,并优化数据对象的管理;基于标签的分配器可以有效地区分数据对象和普通对象,并将它们分开存储在堆空间中;基于消息的垃圾收集器可以消除数据对象不必要的标记和复制开销。与同类产品相比,本发明可以有效地减少大数据应用的垃圾收集时间和运行时间,提高Java虚拟机在大数据环境下的内存管理效率。
-
公开(公告)号:CN112527388B
公开(公告)日:2022-10-11
申请号:CN201910875960.5
申请日:2019-09-17
Applicant: 中国科学院软件研究所
IPC: G06F8/75 , G06F16/903
Abstract: 本发明提供一种面向GitHub大规模开源代码的快速代码文件溯源方法和装置。该方法包括:读取需要溯源的文件,构造符合GitHub代码搜索API标准的初始查询;执行查询并获取GitHub返回的查询结果;提取查询结果中的文件路径及所在的代码仓库;通过GitHub的代码仓库API获取代码仓库的属性;根据代码仓库的属性对代码仓库排序,并返回排序后的结果,与文件路径一起作为代码文件溯源结果。进一步地,对代码文件溯源结果进行人工验证,如果人工验证后认为准确性不符合要求,则重新构造代码搜索查询,并迭代溯源。本发明能够使用较小的代价辅助大规模代码仓库中的代码溯源。
-
公开(公告)号:CN113064628B
公开(公告)日:2022-06-17
申请号:CN202110367226.5
申请日:2021-04-06
Applicant: 中国科学院软件研究所
Abstract: 本发明提供一种可追溯可验证的软件工程数据归档方法,涉及软件工程数据领域,基于数据单元和数据卷组织软件工程数据,保存数据单元间的衍生关系及衍生环境构建脚本和数据衍生脚本,提供自动化的数据再衍生和一致性验证机制。本发明实现了对准备归档和已归档的软件工程数据的自动化追溯和验证,能够帮助相关开发者、研究者获得高可靠的软件工程数据。
-
公开(公告)号:CN116482978A
公开(公告)日:2023-07-25
申请号:CN202310418869.7
申请日:2023-04-19
Applicant: 中国科学院软件研究所
IPC: G05B13/04
Abstract: 本发明公开一种面向云原生集群智能运维的自适应控制方法及装置,涉及云原生应用技术领域。本发明通过YAML格式文件描述K8s集群的运维需求,并通过对YAML格式文件进行解析获取运维需求;根据规则触发条件和集群支持的运维操作生成规划控制逻辑和指标分析器;再根据指标类型和指标参数确定指标收集器类型,并按照模板生成对应的指标收集器;根据解析的运维需求确定要创建的指标监测器,将指标收集器和指标分析器结合得到指标监测器,通过指标收集器自动化采集指标,通过指标分析器确定运维需求对应的运维规划逻辑;将指标监测器和规划控制逻辑进行整合,并生成K8s控制器的代码并部署到K8s集群内,实现面向云原生集群智能运维的自适应控制。
-
公开(公告)号:CN115344500A
公开(公告)日:2022-11-15
申请号:CN202211046253.3
申请日:2022-08-30
Applicant: 中国科学院软件研究所
IPC: G06F11/36
Abstract: 本发明公开了一种面向关系型数据库中SQL语句执行的自动化测试方法及装置,涉及软件技术领域。所述方法包括:针对目标关系型数据库,基于创建数据表以及填充数据的SQL语句构建至少一个数据表,以得到目标数据库;生成目标数据表;生成测试所述目标数据库的SQL语句组;其中,所述目标数据表是一个数据表或者JOIN连接的多个数据表或者逗号连接的多个数据表;所述SQL语句组是由包含相同谓词且操作在相同目标数据表上的SELECT、UPDATE和DELETE语句组成;获取所述SQL语句组中每一SQL语句在所述目标关系型数据库中的执行结果;通过分析所述执行结果是否符合所述目标关系型数据库的SQL语句执行策略,得到测试结果。本发明支持检测所有包含谓词的SQL语句中的逻辑错误。
-
公开(公告)号:CN110286880A
公开(公告)日:2019-09-27
申请号:CN201910519306.0
申请日:2019-06-17
Applicant: 中国科学院软件研究所
Abstract: 本发明提供一种面向GitHub与Travis CI的完整持续集成数据收集方法,持续监控目标项目在Travis CI上的构建活动,下载并保存新的构建记录,根据新的构建记录从GitHub上精准收集对应的未被收集的代码提交记录。相比于现有技术,本发明能够完整地收集面向GitHub与Travis CI的持续集成数据。
-
公开(公告)号:CN105868110A
公开(公告)日:2016-08-17
申请号:CN201610186177.4
申请日:2016-03-29
Applicant: 中国科学院软件研究所
IPC: G06F11/36
CPC classification number: G06F11/3636
Abstract: 本发明涉及一种基于内存数据网格的流式数据处理程序错误的数据溯源定位方法,其核心思想是通过运行在分布式处理程序中的代理,监控处理的数据溯源信息即数据的输入与输出,并把这些信息发送给协调者,当程序出现错误、异常或者不一致的时候,开发人员或者用户可以利用这些溯源信息进行程序的调试,实现程序错误的分析与定位。
-
-
-
-
-
-
-
-
-