检索结果-南通市图书馆

版本失配和数据泄露对基于缺陷报告的缺陷定位模型的影响

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

软件学报 2023年第5期34卷 2196-2217页

作者：周慧聪郭肇强梅元清李言辉陈林周毓明计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学计算机科学与技术系江苏南京210023

为了降低缺陷定位过程中的人力成本,研究者们在缺陷报告的基础上提出了许多基于信息检索的缺陷定位模型,包括使用传统特征和使用深度学习特征进行建模的定位模型.在评价不同缺陷定位模型时设计的实验中,现有研究大多忽视了缺陷报告所属... 详细信息

为了降低缺陷定位过程中的人力成本,研究者们在缺陷报告的基础上提出了许多基于信息检索的缺陷定位模型,包括使用传统特征和使用深度学习特征进行建模的定位模型.在评价不同缺陷定位模型时设计的实验中,现有研究大多忽视了缺陷报告所属的版本与目标源代码的版本之间存在的“版本失配”问题或/和在训练和测试模型时缺陷报告的时间顺序所引发的“数据泄露”问题.致力于报告现有模型在更加真实的应用场景下的性能表现,并分析版本失配和数据泄露问题对评估各模型真实性能产生的影响.选取6个使用传统特征的定位模型(BugLocator、BRTracer、BLUiR、AmaLgam、BLIA、Locus)和1个使用深度学习特征的定位模型(CodeBERT)作为研究对象.在5个不同实验设置下基于8个开源项目进行系统性的实证分析.首先,CodeBERT模型直接应用于缺陷定位效果并不理想,其定位的准确率依赖于目标项目的版本数目和源代码规模.其次,版本匹配设置下使用传统特征的定位模型在平均准确率均值(MAP)、平均序位倒数均值(MRR)两个指标上比版本失配实验设置下最高可以提高47.2%和46.0%,CodeBERT模型的效果也受到数据泄露和版本匹配的双重影响.使用传统特征的缺陷定位模型的性能被低估,而使用深度学习特征的CodeBERT模型在应用于缺陷定位任务时还需要更多的探索和验证.

关键词：缺陷定位缺陷报告版本失配数据泄露信息检索

在线全文

学校读者我要写书评

暂无评论

自承认技术债的研究:问题、进展与挑战

软件学报 2022年第1期33卷 26-54页

作者：郭肇强刘释然谭婷婷李言辉陈林周毓明徐宝文计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 北京字跳网络技术有限公司北京100086

技术债是一个指以牺牲长期代码质量为代价来实现短期项目目标的隐喻.其中,那些由开发者有意引入项目中的技术债被称为自承认技术债(self-admitted technical debt,SATD),通常以代码注释的形式存在于软件项目中.SATD的存在给软件质量和... 详细信息

技术债是一个指以牺牲长期代码质量为代价来实现短期项目目标的隐喻.其中,那些由开发者有意引入项目中的技术债被称为自承认技术债(self-admitted technical debt,SATD),通常以代码注释的形式存在于软件项目中.SATD的存在给软件质量和鲁棒性带来了巨大挑战.为了识别并且及时地偿还SATD来保障代码质量,研究者从特性分析和识别模型两方面进行了大量研究并且取得了较大的进展.与此同时,相关研究工作中仍存在一些亟待解决的挑战.对近年来国内外学者在该领域的研究成果进行系统性的总结.首先,描述自承认技术债的研究问题.然后,分别从特性分析和识别模型两方面总结相关的研究进展,并对具体的理论和技术途径进行梳理.接着,简要介绍技术债的其他相关技术.最后,指出目前该领域研究过程中面临的挑战并给出建议的研究方向.

关键词：技术债自承认技术债代码注释软件维护质量保障

面向对象软件度量阈值的确定方法:问题、进展与挑战

在线全文

学校读者我要写书评

暂无评论

软件学报 2023年第1期34卷 50-102页

作者：梅元清郭肇强周慧聪李言辉陈林卢红敏周毓明计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023

面向对象软件度量是理解和保证面向对象软件质量的重要手段之一.通过将面向对象软件的度量值与其阈值比较,可简单直观评价其是否有可能包含缺陷.确定度量阈值方法主要有基于数据分布特征的无监督学习方法和基于缺陷相关性的有监督学习方... 详细信息

面向对象软件度量是理解和保证面向对象软件质量的重要手段之一.通过将面向对象软件的度量值与其阈值比较,可简单直观评价其是否有可能包含缺陷.确定度量阈值方法主要有基于数据分布特征的无监督学习方法和基于缺陷相关性的有监督学习方法.两类方法各有利弊:无监督学习方法无需标签信息而易于实现,但所得阈值的缺陷预测性能通常较差;有监督学习方法通过机器学习算法提升所得阈值的缺陷预测性能,但标签信息在实际过程中不易获得且度量与缺陷链接技术复杂.近年来,两类方法的研究者不断探索并取得较大进展.同时,面向对象软件度量阈值确定方法研究仍存在一些亟待解决的挑战.对近年来国内外学者在该领域的研究成果进行系统性的总结.首先,阐述面向对象软件度量阈值确定方法的研究问题.其次,分别从无监督学习方法和有监督学习方法总结相关研究进展,并梳理具体的理论和实现的技术路径.然后,简要介绍面向对象软件度量阈值的其他相关技术.最后,总结当前该领域研究过程面临的挑战并给出建议的研究方向.

关键词：面向对象软件度量阈值缺陷预测

我国民营快递行业市场准入制度的立法完善研究 ——基于新《邮政法》的考察

在线全文

学校读者我要写书评

暂无评论

我国民营快递行业市场准入制度的立法完善研究 ——基于新《邮政...

作者：李言辉西南政法大学

学位级别：硕士

进入21世纪以来，我国民营快递行业发展迅速，尤其是近几年随着网购数量的增多，民营快递行业获得了更大的发展空间。但是，由于快递行业的市场准入制度存在缺陷，比如，注册资本额过高，准入模式过于严格，致使进入市场中的快递服务提... 详细信息

进入21世纪以来，我国民营快递行业发展迅速，尤其是近几年随着网购数量的增多，民营快递行业获得了更大的发展空间。但是，由于快递行业的市场准入制度存在缺陷，比如，注册资本额过高，准入模式过于严格，致使进入市场中的快递服务提供者的数量严重不足，造成了快递市场供需失衡，在快递服务提供者一切以效率优先的原则下，快递损毁、延误及暴力分拣等问题就不可避免地暴露出来，使民营快递行业的进一步发展受到了制约。因此，如何实现市场的充分竞争，进而实现民营快递的可持续发展、保障社会公众利益不受侵害就成为了亟待解决的现实问题。基于此，本文立足于现行《邮政法》所构建的准入制度，在借鉴国外相关制度的基础上提出一些完善民营快递行业市场准入制度的立法建议。本文正文（除引言和结论外）共分为五个部分：第一部分，申通快递暴力分拣事件及其引发的思考。该部分通过对实践中暴力分拣事件的介绍与分析，挖掘出其背后隐含着的快递行业市场准入制度的缺陷问题，即过高的准入门槛限制了企业的数量增加，进而造成了快递企业的数量不能满足人们对于快递服务的需求，在追求效率的大环境中，不可避免地出现了一系列的市场乱象。第二部分，我国民营快递的市场现状分析。该部分首先对国内外的快递概念进行了比较，然后介绍了我国民营快递的产生、发展及其现状。第三部分，我国民营快递市场准入制度的现状及分析。该部分以新《邮政法》为研究对象，从审查主体、准入条件、准入模式三个方面对新《邮政法》设立的准入制度进行了介绍，在此基础上对市场准入制度存在的不足进行分析。第四部分，国外快递行业市场准入制度的概况及其借鉴。该部分对美国、欧盟、日本的准入模式及相关制度进行了比较研究，揭示出其对我国的借鉴意义。第五部分，我国民营快递行业市场准入制度的立法完善。该部分首先指出了《邮政法》关于市场准入制度的应然定位：既不是为了行业利益，也不是为了部门利益，而应当注重保护社会公众利益;然后从具体层面入手，阐述通过修改现行《邮政法》关于市场准入的规定解决市场的乱象，主要包括五个方面，第一，建立以业务为基准的准入模式，提出除经营信件类业务的企业外，其设立一律采取工商登记制，并且在有关邮政专营范围方面提出了自己的建议，即“50克以下的普通信件和国家机关公文只能由国家邮政经营，50克以上200克以下的信件允许快递投递，但资费必须在同等重量邮政资费的10倍以上，200克以上500克以下的，资费必须在同等重量邮政资费的3倍以上，500克以上的资费没有限制”;第二，设立独立的市场准入许可主体，只有市场准入许可主体独立了，才能实现市场的可持续发展;第三，改变注册资本额制度，民营快递企业一律实行公司制，遵循公司的注册资本额制度，这样有利于促进市场的公平竞争;第四，放宽外资限制，具体是取消《邮政法》第五十一条第二款，贯彻国民待遇原则，国内快递企业与外资企业实行统一规定;第五，规范加盟商准入制度，以提高企业的服务能力。

关键词：民营快递市场准入竞争许可制度

胸怀“国之大者” 心系“民之小事” 004

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

胸怀“国之大者” 心系“民之小事”

人民法院报

作者：郑红军王希玉李言辉

“出发！” 8月17日上午，随着杨斌院长的一声令下，山东省莘县人民法院“小案惠民生”专项执行行动拉开帷幕，32名执行干警兵分两路，乘7辆警车驶出大门。经过一天奋战，该院共拘传被执行人7人，达成和解案件1件，执行完毕案件9件，... 详细信息

“出发！” 8月17日上午，随着杨斌院长的一声令下，山东省莘县人民法院“小案惠民生”专项执行行动拉开帷幕，32名执行干警兵分两路，乘7辆警车驶出大门。经过一天奋战，该院共拘传被执行人7人，达成和解案件1件，执行完毕案件9件，执行到位金额51万余元。今年以来，莘县法

关键词：胜诉当事人被执行人

来源： cnki报纸评论

在线全文

cnki报纸

学校读者我要写书评

暂无评论

一种面向用户需求的Web服务测试方法

计算机学报 2014年第3期37卷 512-521页

作者：许蕾李言辉陈林宫敏颜友军徐宝文南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023

Web服务对外只提供接口文档,可利用生成测试用例的信息不够充分,现有方法所生成的用例冗余度高、查错能力有限.文中基于现有Web服务功能和用户协同推荐构建用户需求模型,再使用领域知识和使用场景生成测试用例,并通过实验演示过程,实验... 详细信息

Web服务对外只提供接口文档,可利用生成测试用例的信息不够充分,现有方法所生成的用例冗余度高、查错能力有限.文中基于现有Web服务功能和用户协同推荐构建用户需求模型,再使用领域知识和使用场景生成测试用例,并通过实验演示过程,实验结果表明该文方法生成组合Web服务测试用例的有效性.以用户需求驱动组合Web服务测试,既能保证所选服务真正符合用户需求,又可根据用户使用场景来丰富测试需求信息,结合领域知识启发式生成测试用例.

关键词：组合Web服务用户需求测试用例生成使用场景软件测试中图法

在线全文

学校读者我要写书评

暂无评论

支持模糊隶属度比较的扩展模糊描述逻辑

软件学报 2008年第10期19卷 2498-2507页

作者：康达周徐宝文陆建江李言辉东南大学计算机科学与工程学院江苏南京210096 江苏省软件质量研究所江苏南京210096 解放军理工大学指挥自动化学院江苏南京210007

语义Web模糊知识的表示和应用常常涉及模糊隶属度比较,但现有描述逻辑的模糊扩展缺乏描述模糊隶属度比较的能力.提出支持模糊隶属度比较和描述逻辑ALCN(attributive concept description language with complements and number restrict... 详细信息

语义Web模糊知识的表示和应用常常涉及模糊隶属度比较,但现有描述逻辑的模糊扩展缺乏描述模糊隶属度比较的能力.提出支持模糊隶属度比较和描述逻辑ALCN(attributive concept description language with complements and number restriction)概念构造子的扩展模糊描述逻辑FCALCN(fuzzy comparable ALCN).FCALCN引入新的原子概念形式以支持模糊隶属度比较.给出FCALCN的推理算法,证明了在空TBox约束下FCALCN的推理问题复杂性是多项式空间完全的.FCALCN能够表达语义Web上涉及模糊隶属度比较的复杂模糊知识并实现对它们的推理.

关键词：语义Web 知识表示描述逻辑模糊比较推理

一般术语公理下的模糊描述逻辑FALCN推理

在线全文

学校读者我要写书评

暂无评论

软件学报 2008年第3期19卷 594-604页

作者：李言辉徐宝文陆建江康达周东南大学计算机科学与工程系解放军理工大学指挥自动化学院江苏南京210007

分析了一般术语公理下推理的主要难点:在模糊解释中的隶属度不是离散值,而是区间[0,1]上的连续值.为解决该难点,提出了模糊描述逻辑FALCN下的模糊解释离散化方法,从而使解释中的隶属度都属于一个特殊的有限离散集合.基于该离散化方法,... 详细信息

分析了一般术语公理下推理的主要难点:在模糊解释中的隶属度不是离散值,而是区间[0,1]上的连续值.为解决该难点,提出了模糊描述逻辑FALCN下的模糊解释离散化方法,从而使解释中的隶属度都属于一个特殊的有限离散集合.基于该离散化方法,给出一般术语公理下FALCN推理问题的离散Tableau推理技术,包括离散Tableau的定义以及离散Tableau的构造算法,并证明了算法的正确性、完备性和复杂度.

关键词：模糊描述逻辑语义Web 一般术语公理知识表示

在线全文

学校读者我要写书评

暂无评论

支持数量约束的扩展模糊描述逻辑复杂性研究

软件学报 2006年第5期17卷 968-975页

作者：李言辉徐宝文陆建江康达周东南大学计算机科学与工程系江苏省软件质量研究所江苏南京210096 解放军理工大学指挥自动化学院江苏南京210007

扩展模糊描述逻辑EFALCN(extendedfuzzyattributiveconceptdescriptionlanguagewithcomplementsandunqualifiednumberrestriction)是支持数量约束的描述逻辑ALCN的模糊扩展,但该逻辑的推理问题缺乏相应的算法和复杂性证明.提出EFALCN推理问题基于约束传播的Tableau算法,并证明该算法可在PSPACE(polynomialspace)约束下执行.由ALCN(attributiveconceptdescriptionlanguagewithcomplementsandunqualifiednumberrestriction)的推理问题可多项式时间归约到EFALCN推理问题,且ALCN的推理问题是PSPACE-complete问题.所以,EFALCN推理问题是PSPACE-hard问题.综上所述,EFALCN推理问题是PSPACE-complete问题.

关键词：模糊描述逻辑语义Web 数量约束知识表示