搜索结果: 1-15 共查到“计算机软件 中国科学院软件研究所”相关记录130条 . 查询时间(1.195 秒)
中国科学院软件研究所智能软件研究中心团队在国产开源操作系统OpenHarmony的关键模块研发中取得进展。该项研究针对OpenHarmony异构设备互联特性设计了日志系统模型规范，并开发了首个面向OpenHarmony的高性能日志系统HiLog。实现了OpenHarmony日志系统从无到有，从有到强的突破。相关成果以“OpenHarmony高性能日志系统HiLog的设计与实现”为题被《软件学报》录...
近日，中国科学院软件研究所互联网软件技术实验室在移动应用程序质量保障方面喜提ICSE·2023国际会议三篇论文。研究成果聚焦移动应用程序质量保障方向，涉及移动应用程序的自动化测试输入生成、活动转移图自动补全、缺陷自动复现等方面，可赋能质量保障活动，多角度提升移动应用程序的质量。
近日，中国科学院软件研究所智能软件研究中心团队基于“源图”开源软件供应链重大基础设施平台开展的开源许可证（Open Source License）合规性分析工作取得进展。该项研究提出了基于人工智能技术的开源软件许可证风险分析方法与工具，实现了许可证声明条款自动提取，条款倾向智能判断以及条款冲突精准识别。该成果论文“An Empirical Study of License Conflict in ...
近日，中国科学院软件研究所软件工程中心数据库系统可靠性保障团队的两篇论文被ICSE·2023接收。ICSE（International Conference on Software Engineering）是软件工程领域的顶级国际会议，迄今已经举办45届。研究成果聚焦数据库系统在SQL语句、事务执行方面的正确性，是该研究团队在数据库系统可靠性保障方向的新探索。
中国科学院软件研究所和云南省寄生虫病防治所组成的专家组一行四人，自9月5日出发至11月6日，历时63天，在老挝8省12地顺利完成中老重大虫媒传染病智能化监测预警平台现场部署和人员培训工作。目前平台运行平稳，专家组已顺利返回国内。
中国科学院软件研究所量子计算编程软件isQ正式开源
量子计算 编程软件 isQ
2022/9/21
近日，中国科学院软件研究所开发的量子计算编程软件isQ正式开源发布。isQ将持续为国内外从事量子计算研究和应用的单位及个人提供服务。
中国科学院软件研究所在图数据库系统测试方面取得进展（图）
图 数据库 系统测试
2023/3/15
近日，中国科学院软件研究所软件工程技术研究开发中心团队在图数据库系统测试方法研究方面取得进展。该研究提出了模型驱动的图数据库系统查询生成方法和随机差分测试方法，能够有效的检测图数据库系统中存在的逻辑错误，帮助开发人员定位代码缺陷，为提升图数据库系统自动化测试能力起到重要支撑作用。
近日，中国科学院软件研究所互联网软件技术实验室在代码注释数据治理方面取得研究进展。该研究针对当前代码注释大数据质量治理难的问题，通过分析4个大规模代码注释基准数据集，归纳出12种类型的噪声数据并研发了基于规则的代码注释数据噪声清理工具，能够高效、精准地自动治理代码注释数据质量，为代码注释自动生成模型形成高质量数据提供保障，有效促进现有的代码注释自动生成模型提升性能。
中国科学院软件研究所等提出代码审查意见自动生成新方法（图）
代码审查意见 自动生成 预训练模型
2022/9/14
近日，中国科学院软件研究所软件发展研究部智能化软件系统工程团队与中国科学院大学等单位研究人员合作，在代码审查意见自动生成方法研究方面取得进展。该研究提出了基于代码审查标记和预训练模型的代码审查意见自动生成方法，能够高效地对代码片段自动生成有意义的代码审查意见，帮助开发人员提高代码质量，缓解现有软件开发过程中严重依赖少数高水平程序员进行代码审查的难题，为提升软件开发过程中代码审查自动化能力起到重要支...
中国科学院软件研究所提出代码审查意见自动生成新方法
代码审查 意见 自动生成
2023/3/15
近日，中国科学院软件研究所软件发展研究部智能化软件系统工程团队在代码审查意见自动生成方法研究方面取得进展。该研究提出了基于代码审查标记和预训练模型的代码审查意见自动生成方法，能够高效地对代码片段自动生成有意义的代码审查意见，帮助开发人员提高代码质量，缓解现有软件开发过程中严重依赖少数高水平程序员进行代码审查的难题，为提升软件开发过程中代码审查自动化能力起到重要支撑作用。
近日，中国科学院软件研究所团队开发和维护的区块链开源项目RepChain，在众多开源项目中脱颖而出,荣获“Gitee最有价值开源项目(GVP：Gitee Most Valuable Project)”。
近日，中国科学院软件研究所软件工程技术研究开发中心在微信小程序缺陷理解与检测研究方面取得进展。该研究从代码层次全面分析微信小程序缺陷的特性，帮助开发人员理解微信小程序缺陷产生的根本原因、后果及修复策略等，提出了面向微信小程序的缺陷检测方法及工具，将大副提高开发人员设计研发微信小程序的可靠性，对推动微信小程序缺陷检测与测试研究起到重要作用。
近日，中国科学院软件研究所软件工程技术研究开发中心在Python程序构建中的依赖分析推断方面取得研究进展，该研究提出了知识驱动的Python程序依赖推断方法及工具,帮助开发人员提高代码复用效率，减少依赖缺失和依赖版本错误导致的Python程序构建和运行错误，为提升开发运维一体化中的应用构建自动化能力起到重要支撑作用。
近日，中国科学院软件研究所在支持编程语言中正则表达式非经典特性的字符串约束求解研究方面取得进展，提出了带权重的流字符串转换器的新自动机模型，对正则表达式的非经典特性进行形式建模，并根据该模型设计了新的字符串约束求解算法，研制了国际上第一个支持对编程语言中正则表达式非经典特性进行推理的字符串约束求解器OSTRICH，其研究成果被编程语言国际顶级会议POPL 2022录用。
中国科学院软件研究所在开源社区群智挖掘研究中获进展（图）
中国科学院软件研究所 开源社区 群智挖掘
2021/10/25
近日，中国科学院软件研究所互联网软件技术实验室在开源社区群智挖掘研究中取得进展。该研究面向开源社区中的开发者，针对开发者实时聊天内容中大量有价值的“问题-解决方案”信息，提出了一种多层次模型——面向群智的问题及解决方案自动提取技术（ISPY），有效构建了“问题-解决方案”（Issue-Solution）知识库，实现了当前“问题-解决方案”信息提取性能最优，在促进开源社区知识共享、提升问题解决效率等...