检索结果-内蒙古大学图书馆

'98全国计算机测试与诊断学术会议

作者：李本固陈鑫朱炜陈启仁徐永森大学软件新技术国家重点实验室南京大学计算机科学与技术系

该文提出了OO软件测试中的一些问题，并简介了有助于解决这些问题的一种新的CAST工具OOAK，主要讨论了OOAK工具中动态测试分析和软件复杂度分析的设计和实现。

关键词：动态测试分析测试覆盖分析软件复杂度分析测试实例集合最小化软件

来源：评论

学校读者我要写书评

暂无评论

面向方面程序的简化动态依赖图切片方法

引用

计算机科学与探索 2011年第3期5卷 229-237页

作者：张广泉黄静章晓芳刘长林苏州大学计算机科学与技术学院江苏苏州215006 中国科学院软件研究所计算机科学国家重点实验室北京100190 南京大学计算机软件新技术国家重点实验室南京210093

程序切片是一种重要的程序分析技术,广泛应用于程序的调试、测试与维护等领域。面向方面程序设计作为一种新的软件开发范型,能够实现横切关注点的模块化,其特有的语言元素和功能为切片增加了难度。从静态切片和动态切片两种类型,讨论了... 详细信息

程序切片是一种重要的程序分析技术,广泛应用于程序的调试、测试与维护等领域。面向方面程序设计作为一种新的软件开发范型,能够实现横切关注点的模块化,其特有的语言元素和功能为切片增加了难度。从静态切片和动态切片两种类型,讨论了面向方面程序切片技术。在此基础上,提出了一种基于简化动态依赖图的面向方面程序切片方法,可以减少动态依赖图中节点和边的数量,生成准确的面向方面程序的动态切片,从而有助于人们更好地对面向方面程序进行分析和理解。

关键词：面向方面程序静态切片动态切片简化动态依赖图

来源：评论

学校读者我要写书评

暂无评论

基于代码修改的多目标有监督缺陷预测建模方法

引用

计算机科学 2018年第6期45卷 161-165页

作者：陈翔王秋萍南通大学计算机科学与技术学院江苏南通226019 南京大学软件新技术国家重点实验室南京210093 桂林电子科技大学广西可信软件重点实验室广西桂林541004

基于代码修改的缺陷预测,具有代码审查量少、缺陷定位和修复快的优点。文中首次将该问题建模为多目标优化问题,其中一个优化目标是最大化识别出的缺陷代码修改数,另一个优化目标是最小化需要审查的代码量。这两个优化目标之间存在一定... 详细信息

基于代码修改的缺陷预测,具有代码审查量少、缺陷定位和修复快的优点。文中首次将该问题建模为多目标优化问题,其中一个优化目标是最大化识别出的缺陷代码修改数,另一个优化目标是最小化需要审查的代码量。这两个优化目标之间存在一定的冲突,因此提出了MULTI方法,该方法可以生成一组具有非支配关系的预测模型。在实证研究中,考虑了6个大规模开源项目(累计227417个代码修改),以ACC和POPT作为评测预测性能的指标。实验结果表明,MULTI方法的预测性能均显著优于经典的有监督建模方法(EALR和Logistic)和无监督建模方法(LT和AGE)。

关键词：软件缺陷预测多目标优化代码修改实证研究

来源：评论

学校读者我要写书评

暂无评论

专用GPS车辆监控系统的设计与实现

引用

安防科技 2008年第2期 21-23+5页

作者：曹元张巍李俊刘茶潘金贵南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系深圳和记内陆集装箱仓储有限公司

描述了一个利用GPS、Web GIS、数传电台、RFID以及计算机网路等技术建立起来的专用GPS车辆监控系统,用于帮助海关监控运输途中的转关货物。详细阐述了工作流程、系统结构和关键技术,包括WebGIS、轨迹绘制、偏离路线判定、电台数据加密... 详细信息

描述了一个利用GPS、Web GIS、数传电台、RFID以及计算机网路等技术建立起来的专用GPS车辆监控系统,用于帮助海关监控运输途中的转关货物。详细阐述了工作流程、系统结构和关键技术,包括WebGIS、轨迹绘制、偏离路线判定、电台数据加密、电台调度、车载单元安全设计和车辆目标分组,分析了系统负载和应用效果。

关键词： GPS Web GIS 车辆监控 Map Server Post GIS

来源：评论

学校读者我要写书评

暂无评论

一种适用于机器翻译的汉语分词方法

一种适用于机器翻译的汉语分词方法

引用

第十一届全国计算语言学学术会议

作者：李博渊奚宁黄书剑张建兵陈家骏南京大学软件新技术国家重点实验室南京大学计算机科学与技术系

汉语分词是构建汉语到其他语言机器翻译系统的一项重要工作。基于单语的分词不一定完全适合机器翻译,一个适合于机器翻译所需要的分词方法,应该考虑到机器翻译所具有的双语特点。本文提出了一种单语和双语知识相结合的适应于统计机器翻... 详细信息

汉语分词是构建汉语到其他语言机器翻译系统的一项重要工作。基于单语的分词不一定完全适合机器翻译,一个适合于机器翻译所需要的分词方法,应该考虑到机器翻译所具有的双语特点。本文提出了一种单语和双语知识相结合的适应于统计机器翻译系统的分词方法。首先利用对齐可信度的概念从双语平行语料中抽取可信对齐集合,然后根据可信对齐集合对双语语料中的中文部分重新分词;接着将可信对齐分词的结果和单语分词工具的结果相结合,构建出一个新的分词训练语料,并用CRF分词模型训练出一个融合了单双语信息的分词工具。本文用该工具对机器翻译所需的训练语料、开发语料和测试语料进行分词并在基于短语的统计机器翻译系统上进行实验。实验结果表明,本文所提的方法提高了系统性能。

关键词：中文分词统计机器翻译对齐可信度

来源：评论

学校读者我要写书评

暂无评论

CWMT2013机器翻译评测技术报告

CWMT2013机器翻译评测技术报告

引用

第九届全国机器翻译研讨会

作者：黄书剑软件新技术国家重点实验室(南京大学)南京大学计算机科学与技术系

来源：评论

学校读者我要写书评

暂无评论

基于粗糙集方法的共指消解

基于粗糙集方法的共指消解

引用

第十一届全国计算语言学学术会议

作者：贾修一张亚兵陈家骏商琳南京大学软件新技术国家重点实验室南京大学计算机科学与技术系

选择合适的特征是共指消解任务中一个重要的组成部分。特征不是越多越好,反映本质的特征很重要;对于不同种类的语料,一个公共的特征集往往难以适应,为了提高特征对语料的针对性,对不同的语料应选择不同的特征。本文基于上述观点,采用粗... 详细信息

选择合适的特征是共指消解任务中一个重要的组成部分。特征不是越多越好,反映本质的特征很重要;对于不同种类的语料,一个公共的特征集往往难以适应,为了提高特征对语料的针对性,对不同的语料应选择不同的特征。本文基于上述观点,采用粗糙集理论中的属性约简方法来解决共指消解的特征选择问题,它一方面能解决特征冗余问题,另一方面可以实现针对不同语料选择具有适应性的特征。论文在特征选择之后,利用基于粗糙集的LEM2规则提取算法学习规则构建分类器进行共指消解。在ACE-2003语料库上的实验说明了粗糙集方法对共指消解任务的有效性。

关键词：共指消解粗糙集理论特征选择规则提取

来源：评论

学校读者我要写书评

暂无评论

基于MAC的数据库安全模型探讨

基于MAC的数据库安全模型探讨

引用

第十八届全国数据库学术会议

作者：徐洁磐柏文阳南京大学软件新技术国家重点实验室南京大学计算机科学与技术系

1.引言计算机网络的出现与发展引发了对网上数据的恶意破坏如病毒、黑客等行为,为防止此类问题发生,网上数据安全性已成为重要研究课题,本文即重点研究基于网络的数据库安全问题。

关键词： MAC Database security model Bell La padula model

来源：评论

学校读者我要写书评

暂无评论

针对漏洞攻击的自恢复系统

针对漏洞攻击的自恢复系统

引用

2011年全国通信安全学术会议

作者：王国栋南京大学软件新技术国家重点实验室南京大学计算机科学与技术系

文章针对程序漏洞攻击,提出程序运行时的自恢复和回退方法。方法首先识别程序的输入点作为程序回退点,其次在程序崩溃时识别并定位程序漏洞,最后分析漏洞输入和外部输入之间的依赖关系以识别触发程序漏洞的程序输入点,并将该输入点对应... 详细信息

文章针对程序漏洞攻击,提出程序运行时的自恢复和回退方法。方法首先识别程序的输入点作为程序回退点,其次在程序崩溃时识别并定位程序漏洞,最后分析漏洞输入和外部输入之间的依赖关系以识别触发程序漏洞的程序输入点,并将该输入点对应的程序回退点作为此次程序自恢复的回退状态点对程序进行回退,使得程序可以继续正常运行。试验结果表明,方法能成功识别对现实软件的漏洞攻击并完成程序自恢复回退。

关键词：计算机安全漏洞攻击漏洞定位程序自恢复回退

来源：评论

学校读者我要写书评

暂无评论

多需求驱动的测试用例集约简方法

多需求驱动的测试用例集约简方法

引用

全国第20届计算机技术与应用学术会议（CACIS·2009）暨全国第1届安全关键技术与应用学术会议

作者：孙富强王林章南京大学软件新技术国家重点实验室南京大学计算机科学与技术系

软件测试过程中,测试用例集的规模可能会随着软件的维护和修改而飞速地增长,由于测试过程中时间和资源的限制,测试用例集约简技术试图移除那些冗余的测试用例,即它们满足的测试需求已被其他测试用例所满足。现有的基于单测试目标的测试... 详细信息

软件测试过程中,测试用例集的规模可能会随着软件的维护和修改而飞速地增长,由于测试过程中时间和资源的限制,测试用例集约简技术试图移除那些冗余的测试用例,即它们满足的测试需求已被其他测试用例所满足。现有的基于单测试目标的测试用例集约简方法不仅缩小了测试用例集的规模,同时也可能削弱了缺陷检测的能力。本文提出了多需求驱动的约简方法,该方法根据瀑布模型中需求规约、设计模型和代码的关系,分别设定相应的测试目标,在多测试需求集的基础上,精简现有的测试用例集,以达到既能约简测试用例集,又能提高精简测试用例集的缺陷检测能力的目的。

关键词：多需求测试用例集约简缺陷检测能力

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：