张世琨
- 作品数：116 被引量：1,254H指数：14
- 供职机构：北京大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学天文地球航空宇航科学技术更多>>
- 分级多特征的代码同源分析方法及系统
- 本发明涉及软件代码分析领域，公开了一种分级多特征的代码同源分析方法及系统，使用值依赖分析技术，脱离了特征提取对于结构的依赖，更准确地发现代码中的不可达路径、并更精确地计算变量常量值和变量之间的依赖关系，从而更加全面、准确...
- 高庆张世琨李玫孙基男
- 面向业务单元的企业级应用基础平台
- 张世琨赵文张君福相松林高留杰冯志明娄娟霞李树强吴宇鹏王崧郜成胜王伟胡文蕙刘学洋叶蔚
- 该项目属于计算机软件领域。近年来，企业级应用软件市场发展迅猛，进入了“随需应变”的时代，要求具有高灵活性、动态演化、数据共享和过程协作等特点，这对应用系统的开发和集成提出了新的挑战，并带动了应用平台类产品的发展。针对互联...
- 关键词：
- 关键词：计算机软件应用软件
- 基于层次消息总线的软件体系结构风格被引量：40
- 2002年
- 随着软件系统规模和复杂性的增加,系统总体结构设计的重要性已远远超过特定算法和数据结构的选择,良好的体系结构是保证系统成功的关键.以青鸟软件生产线的实践为背景,提出了一种基于层次消息总线的软件体系结构风格JB/HMB.在该风格中,构件模型由外部接口、静态结构和动态行为等3部分组成,从多个视角对构件进行刻画.在消息总线的支持下,构件通过消息相互通讯,可以较好地刻画具有分布和并发特点的系统.支持系统的逐层分解、细化,以及运行时刻的系统演化.对JB/HMB风格的特点进行了总结,并指出进一步的研究方向.
- 张世琨王立福杨芙清
- 关键词：软件体系结构层次消息总线软件工程
- 一种区间信息分析方法
- 本发明提供一种区间信息分析方法，包括：S1，对于值依赖图中任一结点，根据该结点的任一前驱结点的区间信息和该结点与该前驱结点间的守卫条件，获取该前驱结点流入该结点的区间信息；S2，根据该结点的每一前驱结点流入该结点的区间信...
- 马森张世琨邵思豪高庆
- 文献传递
- 一种基于多状态科学工作流的数据世系追溯系统和方法
- 一种基于多状态科学工作流的数据世系追溯系统和方法，以基于有向图的科学工作流过程模型为基础，对其进行扩展，得到一个扩展的科学工作流过程模型。再利用数据世系技术丰富其数据模型部分，从过程和数据两个角度全方位地描述科学工作流的...
- 黄雨井玉欣王捍贫张世琨
- 文献传递
- 一种结合动态链接库信息的崩溃输入分类方法被引量：1
- 2023年
- 软件崩溃是一种严重的软件缺陷,可导致软件终止运行.因此,对软件崩溃的测试在软件迭代的过程中极为重要.近年来,模糊测试技术(如AFL)由于可以自动化生成大量的测试输入来触发软件崩溃,被广泛用于软件测试中.然而,通过该技术产生的导致软件崩溃的测试输入中,大部分崩溃的触发原因都是重复的,因此软件开发人员需要对测试输入进行分类,带来了许多冗余工作.目前,测试输入分类已经有很多自动化方法,主要包括基于程序修复的分类算法和基于软件崩溃信息的分类算法.前者通过对程序在语义上进行分析,在运行时通过在程序中替换修复模板后重新运行测试输入,进而对输入分类.因为此方法需要人为地对于软件崩溃编写修复模板,所以其分类的效率与修复模板的质量存在很大联系;且由于需要先修复崩溃、再对崩溃做分类,影响了软件崩溃的修复效率.采用后者的思想,提出了一种轻量而高效的利用软件崩溃信息的测试输入分类算法CICELY.其在软件崩溃点堆栈信息分类的算法基础上,在分析软件崩溃点堆栈时引入了动态链接库信息,通过区分系统动态链接库与用户动态链接库,结合用户代码位置信息,得到用户关注的函数集合,以在分类时以用户函数为基准对崩溃进行界定.最后,分别将CICELY与几种基于程序修复的分类算法和基于软件崩溃信息的流行分类工具进行了比较,实验测试的数据集共计19个项目、42组测试集.在与基于软件崩溃信息的分类工具Honggfuzz, CERT BFF在相同数据集上比较时, CICELY在分类结果的组数上比上述二者减少了2112.89%和135.05%,说明CICELY在同类算法上的实验效果有较大提升,具有更高的精确性.在与基于程序修复的分类算法“语义崩溃分类”用其论文中提供的测试数据集进行比较时, CICELY比“语义崩溃分类”的分组结果差4.42%;在由对应了
- 王文祥高庆许可张世琨
- 关键词：动态链接库
- 项目上下文增强的自动代码摘要
- 2023年
- 通过生成源代码片段的简短自然语言描述,可帮助开发人员理解代码并减少文档工作.近期,关于代码摘要的研究工作主要采用深度学习模型,这些模型中的大多数都在由独立代码摘要对组成的大型数据集上进行训练.尽管取得了良好的效果,这些工作普遍忽略了代码片段和摘要的项目级上下文信息,而开发人员在编写文档时往往高度依赖这些信息.针对该问题,研究了一种与开发者行为和代码摘要工具实现更加一致的代码摘要场景——项目级代码摘要,其中,创建了用于项目特定代码摘要的数据集,该数据集包含800k方法摘要对及其生命周期信息,用于构建特定时刻准确的项目项目上下文;提出了一种新颖的深度学习方法,利用高度相关的代码片段及其相应的摘要来表征上下文语义,并通过迁移学习整合从大规模跨项目数据集中学到的常识.实验结果表明:基于项目级上下文的代码摘要模型不仅能够比通用代码摘要模型获得显著的性能提升,同时,针对特定项目能够生成更一致的摘要.
- 胡天翔谢睿叶蔚张世琨
- 一种基于双随机数的RFID发现服务安全通信机制被引量：1
- 2013年
- RFID发现服务没有得到广泛应用,相关标准也没有正式颁布,主要原因之一就是存在诸多安全问题.本文首先分析了存在的典型安全问题,并给出了相应的安全需求,例如RFID私密性保护、RFID编码授权访问、供应链节点不可追踪性、节点认证、消息正确性等.针对这些安全需求,本文提出了一种基于双随机数的RFID发现服务安全通信机制.双随机数主要用来对参与通信的双方进行节点认证和消息认证,并给出了相应的查询生成和处理转发流程及算法.本文提出的安全通信机制已经在PKU RFID3S系统中得到实现.实验结果表明,系统在实现安全需求的基础上,有较好的查询命中率和查询响应时间.
- 赵文刘学洋张世琨王立福
- 关键词：RFID安全通信机制
- 基于体系结构的软件开发模式被引量：78
- 1999年
- 随着软件规模和复杂性的不断增加，系统总体结构设计和说明的重要性远远超过了特定算法和数据结构的选择，软件体系结构作为描述系统高层设计的手段，已成为软件工程领域研究的一个热点。本文讨论了体系结构的研究背景，研究内容，同其他相关领域，包括面向对象和软件设计模式的关系，以及基于体系结构的软件开发模式所包括的主要活动。
- 张世琨王立福杨芙清
- 关键词：软件体系结构设计模式软件开发模式
- 网络数据延迟控制方法
- 本发明公布了网络数据延迟控制方法，涉及网络化数据控制技术。本发明提供的技术方案通过设置大小数据包对来检测网络的延迟差异，分析得到延迟与数据包大小无关分量和与数据包相关分量，能够检测出延迟和数据包大小的关系，从而实现通过设...
- 黄雨李俊涛张世琨
