郑丽伟 作品数:36 被引量:39 H指数:3 供职机构: 北京信息科技大学 更多>> 发文基金: 国家自然科学基金 人才培养模式创新实验区项目 北京市教委科技计划面上项目 更多>> 相关领域: 自动化与计算机技术 文化科学 经济管理 更多>>
基于OBE的软件工程课程改革与探索 被引量:10 2021年 针对软件工程课程OBE教学改革过程中出现的问题,依据专业培养目标和毕业要求,结合实际教学情况,提出OBE在实际教学工作中的有效落地方案,从教学目标、教学内容、考核方式等方面介绍改进措施,给出课程教学改进策略,形成以能力产出为导向的教学、评价及反馈体系。 郑丽伟 刘建宾 崔展齐关键词:软件工程课程 教学改革 QueTy:支持时间边际效益的云服务协同框架 2017年 在不断衍化的互联网环境下,云服务呈现出异构分散,动态多变,数据规模庞大等特征,结合具有自主决策能力的多agent系统(MAS)来实现云服务的分配和管理近年来逐渐成为研究热点。为追踪整体效用随时间的衰减趋势从而进一步优化协同策略,在云服务Saa S层基础上,提出基于时间边际效益的协同框架——Que Ty。该框架为云服务的broker(代理)、provider(提供商)和executor(服务执行者)之间引入时间边际效益概念,并在此基础上提出通信衰减算法和选播算法,实现了对服务流程的控制,并进一步平衡了整体效用,降低了通信损耗。 闫萌 刘建宾 郑丽伟关键词:云服务 多AGENT系统 基于GitHub数据的安全性需求用户故事生成 2022年 在开发类社交平台上针对特定软件项目的讨论中往往蕴含着许多潜在的软件需求,针对GitHub中的Issues模块数据尝试对其进行安全性需求挖掘。通过抓取特定软件项目Issues中带有安全相关标签的讨论数据形成初选数据集,借助实体识别方法对句子中包含的连接实体进行识别,提取出用户需求,提出一种CreUS用户故事生成方法,将提取到的用户需求以用户故事的形式表示出来。实验结果表明,该方法生成的用户故事集可以有效支持项目开发,对于需求发现起到重要的辅助作用。 张晓妘 郑丽伟关键词:安全需求 议题 程序蓝图模型重构操作实例研究 2016年 重构可以改善软件系统的内部结构,提高软件可理解性、可维护性,而又不改变软件的外部行为。传统的源码层次的重构虽有很多重构工具的支持,但是对于复杂软件的重构难度大,容易出错。针对这种情况,提出基于程序蓝图模型层次的重构。考虑到UML模型直观性的特点,给出UML类图模型在系统体系结构上的重构操作和实例,为重构在软件框架结构上的实施提供有力的支持。深入研究过程蓝图模型使用树形结构来描述程序的方法,定义过程蓝图相关重构操作并给出具体操作实例及过程,最后从过程蓝图模型生成新的源码。实验结果表明,UML模型和过程蓝图模型层次上的重构,提高了重构的抽象级别和效率。该方法能有效支持复杂软件的重构,并减少出错率。 梁朋举 刘建宾 郑丽伟关键词:UML模型 程序模型 一种基于多候选程序的软件缺陷修复方法及装置 本发明公开了一种基于多候选程序的软件缺陷修复方法及装置,方法具体包括:S1:在待修复程序中定位缺陷单元,将缺陷单元存放至缺陷集合中,对缺陷单元生成对应的补丁单元,同时将补丁单元存放至补丁集合;S2:将补丁集合添加到待修复... 王浩仁 崔展齐 郑丽伟 刘建宾 刘秀磊JAVA蓝图模式的结构匹配 2014年 在Java蓝图开发时,挖掘出一些常用的过程模式、算法模式等,这些模式可能在开发中会经常用到,所以,将发掘出来的模式存储到模型库中。在用Java蓝图进行建模时,对未知的模型与模型库中的已有模式进行匹配,若匹配成功,则用已有模式替换模型中的匹配部分,可以达到简化模型的效果。Java蓝图的模式匹配包含结构匹配、参数匹配、语义匹配三部分。结构匹配是参数匹配和语义匹配的前提和基础,本文主要研究基于Java蓝图模式的结构匹配。 姚铎 刘建宾 郑丽伟隐式编程规则过滤方法及装置 本发明实施例提供的一种隐式编程规则过滤方法及装置,通过获取目标隐式编程规则,对所述目标隐式编程规则进行提取获得规则信息,根据所述规则信息获得向量化规则信息,根据所述向量化规则信息进行过滤判断,获得过滤结果,做到不需要使用... 崔展齐 郑丽伟 马旭 谢章伟文献传递 基于软件度量的Solidity智能合约缺陷预测方法 被引量:3 2022年 随着区块链技术的兴起,智能合约安全问题被越来越多的研究者和企业重视,目前已有一些针对智能合约缺陷检测技术的研究.软件缺陷预测技术是软件缺陷检测技术的有效补充,能够优化测试资源分配,提高软件测试效率.然而,目前还没有针对智能合约的软件缺陷预测研究.针对这一问题,提出了面向Solidity智能合约的缺陷预测方法.首先,设计了一组针对Solidity智能合约特有的变量、函数、结构和Solidity语言特性的度量元集(smart contract-Solidity,SC-Sol度量元集),并将其与重点考虑面向对象特征的度量元集(code complexity and features of object-oriented program,COOP度量元集)组合为COOP-SC-Sol度量元集.然后,从Solidity智能合约代码中提取相关度量元信息,并结合缺陷检测结果,构建Solidity智能合约缺陷数据集.在此基础上,应用了7种回归模型和6种分类模型进行Solidity智能合约的缺陷预测,以验证不同度量元集和不同模型在缺陷数量和倾向性预测上的性能差异.实验结果表明,相对于COOP度量元集,COOP-SC-Sol能够让缺陷预测模型的F1-score指标提升8%.此外,进一步研究了智能合约缺陷预测中的类不平衡问题,实验结果表明,通过采样技术对数据集进行预处理能够提升缺陷预测模型的性能,其中随机欠采样技术能够使模型的F1-score指标提升9%.在特定缺陷倾向性预测问题上,模型的预测性能受到数据集类不平衡的影响,在缺陷模块百分比大于10%的数据集中能取得较好的预测性能. 杨慧文 崔展齐 陈翔 贾明华 郑丽伟 刘建宾关键词:软件缺陷预测 SOLIDITY 一种社交网络数据时效性及可信度度量方法 被引量:1 2015年 立足于社交网络数据质量度量问题,提出了一种社交网络数据时效性与可信度的度量方法。其中时效性度量分别对有时间戳社交数据和无时间戳社交数据给出两种计算模型。基于对社交数据时效性的度量,提出一种社交数据可信度度量的计算模型。对两个维度的计算模型进行了分析和讨论。 范小将 郑丽伟关键词:社交网络 数据质量 基于过程蓝图的Web服务建模 2013年 基于模型驱动架构(MDA,model driven architecture)为Web服务开发提供了一个有效途径,但在使用统一建模语言(UML,unified modeling language)建模过程中缺乏严格的语义描述。对Web服务建模进行了研究,给出了新的web服务开发流程。利用过程蓝图对UML中的用例图、顺序图和类图进行了扩展,使得建模过程中包含了严格的语义信息。通过实例对新的服务开发流程进行验证,证明了其可行性。实验结果表明,这一开发流程具有较强的实用价值,有效提高了软件的开发效率。 张海浪 刘建宾 郑丽伟关键词:模型驱动架构