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

计算机科学 2009年第5期36卷 121-123,180页

作者：王平涛许满武刘志军南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

软件在长期运行过程中由于资源消耗、数据损坏、数值错误累积而引起性能下降的现象被称为软件老化。在软件失效前选择合适时机通过预反应的技术来保持软件性能的方法称作软件抗衰。由于构件软件常常应用在结构复杂、规模庞大的网络环境... 详细信息

软件在长期运行过程中由于资源消耗、数据损坏、数值错误累积而引起性能下降的现象被称为软件老化。在软件失效前选择合适时机通过预反应的技术来保持软件性能的方法称作软件抗衰。由于构件软件常常应用在结构复杂、规模庞大的网络环境中,软件老化现象就更为突出。提出了一种针对构件软件的抗衰策略,通过对构件软件进行可靠性分析,构造了一种结合失效性和泊松失败分布的马尔可夫模型,并根据模型进行软件抗衰来保持构件软件的性能。

关键词：软件老化软件抗衰可用性可靠性马尔科夫模型泊松分布

来源：评论

学校读者我要写书评

暂无评论

一种高效、容错的通用量子计算机体系结构

引用

计算机学报 2009年第1期32卷 161-168页

作者：吴楠宋方敏南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

通用量子计算机(universal quantum computer)在求解某些在经典计算机上具有超多项式复杂度的问题方面存在着潜在的巨大优势.通用量子计算机体系结构在很大程度上影响量子计算功效和量子程序设计风格.文中提出一种通用量子计算机的体系... 详细信息

通用量子计算机(universal quantum computer)在求解某些在经典计算机上具有超多项式复杂度的问题方面存在着潜在的巨大优势.通用量子计算机体系结构在很大程度上影响量子计算功效和量子程序设计风格.文中提出一种通用量子计算机的体系结构,并考虑了在该体系结构下计算能力的扩展和容错性能等问题.

关键词：通用量子计算机体系结构量子存储器可扩展性容错

来源：评论

学校读者我要写书评

暂无评论

微内核完整性保障研究与应用

引用

计算机科学 2009年第1期36卷 247-251页

作者：于淑英黄皓刘国斌南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

为了避免安全操作系统中访问控制机制被篡改、绕过,提出利用微内核多服务器结构为安全核完整性提供保障。微内核提供的进程隔离和消息传递机制使得各个服务进程独立运行,通过受控的消息机制进行交互,有效保证了各个模块的完整性。微内... 详细信息

为了避免安全操作系统中访问控制机制被篡改、绕过,提出利用微内核多服务器结构为安全核完整性提供保障。微内核提供的进程隔离和消息传递机制使得各个服务进程独立运行,通过受控的消息机制进行交互,有效保证了各个模块的完整性。微内核结构的简单性和模块化为形式化验证奠定了基础。原型系统Nutos利用Flask安全体系结构为用户提供灵活多策略的强制访问控制,由微内核多服务器结构为Flask中的安全服务器和引用监控器提供完整性保障,确保安全策略的正确实施。

关键词：完整性安全保障微内核多服务器结构进程隔离消息通信操作系统

来源：评论

学校读者我要写书评

暂无评论

基于权重的Jaccard相似度度量的实体识别方法

引用

北京交通大学学报 2009年第6期33卷 141-145页

作者：潘磊雷钰丽王崇骏谢俊元南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

社会网络分析方法将社会行动者映射为图的节点,社会行动者之间的关系映射为图的边,然后利用图论的相关知识来解决社会网络问题.将数据挖掘方法应用于社会网络分析是数据挖掘研究领域的一个新方向.本文主要在算法改进和系统实现层面展开... 详细信息

社会网络分析方法将社会行动者映射为图的节点,社会行动者之间的关系映射为图的边,然后利用图论的相关知识来解决社会网络问题.将数据挖掘方法应用于社会网络分析是数据挖掘研究领域的一个新方向.本文主要在算法改进和系统实现层面展开数据挖掘在社会网络分析中的应用,提出了基于权重的Jaccard相似度度量的方法及处理多链接属性的实体识别算法.最后基于电信分析系统平台,使用上述算法在电信数据集上进行测试,实验结果表明上述算法的有效性和实用性.

关键词：社会网络分析数据挖掘实体识别

来源：评论

学校读者我要写书评

暂无评论

面向路径覆盖的演化测试用例生成技术(英文)

引用

软件学报 2009年第12期20卷 3117-3136页

作者：谢晓园徐宝文史亮聂长海东南大学计算机科学与工程学院江苏南京210096 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学计算机科学与技术系江苏南京210093 微软中国研发集团北京100190

为了解决目前结构性演化测试主要集中于面向语句、分支等覆盖标准,缺乏面向路径覆盖标准的问题,提出了基于相似性度量的适应值函数构造方法,以用于生成覆盖指定路径的测试用例.首先给出适应值函数构造基本模型,即利用测试数据的真实执... 详细信息

为了解决目前结构性演化测试主要集中于面向语句、分支等覆盖标准,缺乏面向路径覆盖标准的问题,提出了基于相似性度量的适应值函数构造方法,以用于生成覆盖指定路径的测试用例.首先给出适应值函数构造基本模型,即利用测试数据的真实执行轨迹来评估它相对于指定路径的适应值.该模型的核心在于度量执行轨迹与指定路径之间的相似度,为此给出了3种不同的相似度度量算法.该模型可以完全自动化地为每一条目标路径构造出特定的适应值函数.实验结果表明,相对于其他路径测试方法,该方法在针对复杂路径的情况下具有一定的优势.此外,实验结果还指出了该方法的适用性范围和局限所在.

关键词：软件测试演化测试路径覆盖测试适应值函数设计相似性度量

来源：评论

学校读者我要写书评

暂无评论

基于客户程序度量包内聚性(英文)

引用

软件学报 2009年第2期20卷 256-270页

作者：周天琳徐宝文史亮周毓明东南大学计算机科学与工程学院江苏南京210096 南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093 微软中国研发集团北京100190

为了一致而高效地计算包内聚性,许多研究者提出了大量的包内聚性度量方法.然而,这些方法主要依赖于包内部的数据流关系,常导致度量结果与实际开发经验相悖.为了解决这一问题,首先以包的职责为基础将包划分为4类.然后,提出了共同重用内聚... 详细信息

为了一致而高效地计算包内聚性,许多研究者提出了大量的包内聚性度量方法.然而,这些方法主要依赖于包内部的数据流关系,常导致度量结果与实际开发经验相悖.为了解决这一问题,首先以包的职责为基础将包划分为4类.然后,提出了共同重用内聚CRC,并根据包的分类框架讨论了CRC的适用性.CRC的核心思想是若多个类总被共同重用,则它们之间存在紧密耦合.最后,提出了度量CRC的海明内聚度HC.与现有方法相比,HC同时考虑了包内和包间的数据依赖.因而,该方法能够有效地反映包内部类间的语义关系.此外,HC利用包的使用模式提高了度量结果的可区分性.实验研究表明HC能够有效评估包的内聚程度.充分说明了作为HC基础的CRC具有较高的合理性.

关键词：软件度量内聚性包

来源：评论

学校读者我要写书评

暂无评论

基于分类树的随机测试用例生成

引用

计算机科学 2009年第1期36卷 263-266,285页

作者：徐伟王林章李宣东南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

随机测试(RT)已被用于在基于模型的测试中自动生成满足一定模型覆盖准则的测试用例集合。然而,完全随机的测试用例产生方法可能会导致大量冗余的测试用例。因此,在研究基于UML(Unified Modeling Language)活动图产生测试用例的基础上,... 详细信息

随机测试(RT)已被用于在基于模型的测试中自动生成满足一定模型覆盖准则的测试用例集合。然而,完全随机的测试用例产生方法可能会导致大量冗余的测试用例。因此,在研究基于UML(Unified Modeling Language)活动图产生测试用例的基础上,提出了一种基于分类树的随机测试用例产生方法(CT-RT),运用分类树分析已运行测试用例的输入域,从而指导产生新的测试用例,并通过实验案例说明了对于UML活动图中的简单路径覆盖。该方法较之完全随机的方法大大减少了冗余测试用例的数量。

关键词：随机测试自动生成测试用例分类树 UML活动图

来源：评论

学校读者我要写书评

暂无评论

运行时刻的地址空间重复随机化方法

引用

计算机工程 2009年第10期35卷 139-141,144页

作者：陆明王小黎谢立南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

针对现有的地址空间随机化技术实施随机化时机有限的问题,提出一种在运行时刻能重复随机化部分地址空间对象的方法。通过修改动态连接器,在不重新启动受保护进程的情况下,重复随机化地址空间中的动态共享库。分析结果表明,该方法可成功... 详细信息

针对现有的地址空间随机化技术实施随机化时机有限的问题,提出一种在运行时刻能重复随机化部分地址空间对象的方法。通过修改动态连接器,在不重新启动受保护进程的情况下,重复随机化地址空间中的动态共享库。分析结果表明,该方法可成功地将攻击概率从O(pT)降低到O(pT2),进一步增强地址空间随机化技术的防御能力。

关键词：地址空间随机化细粒度随机化静态随机化动态随机化重复随机化

来源：评论

学校读者我要写书评

暂无评论

重构C++程序物理设计(英文)

引用

软件学报 2009年第3期20卷 597-607页

作者：周天琳史亮徐宝文周毓明东南大学计算机科学与工程学院江苏南京210096 微软中国研发集团北京100190 南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

整合重构的基本思想和物理设计的基本技术,提出了物理重构的概念.它是对软件物理结构的再设计,目的是在不改变软件外在行为的前提下,调整软件组织结构,从而提高软件的开发效率和可维护性等.在此基础上,提出用"识别-重构-评估"... 详细信息

整合重构的基本思想和物理设计的基本技术,提出了物理重构的概念.它是对软件物理结构的再设计,目的是在不改变软件外在行为的前提下,调整软件组织结构,从而提高软件的开发效率和可维护性等.在此基础上,提出用"识别-重构-评估"的迭代过程来实施物理重构,并介绍了常用的物理重构方法.实例研究表明,物理重构能够有效地优化系统的物理结构,使开发者从多个角度持续改善软件质量.

关键词： C++ 软件演化软件重构物理设计软件再工程

来源：评论

学校读者我要写书评

暂无评论

一种软件可靠性增长模型选择与综合方法

引用

计算机科学 2009年第9期36卷 135-138页

作者：冯光成顾庆陈翔陈道蓄南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

软件可靠性增长模型可以预测软件在将来某个时刻的可靠性,以此作为软件是否发布的依据。而目前常见的各种模型对不同失效数据集的预测能力并不一致。提出了一种软件可靠性增长模型选择和应用的框架,利用可靠性模型评价准则,对特定的失... 详细信息

软件可靠性增长模型可以预测软件在将来某个时刻的可靠性,以此作为软件是否发布的依据。而目前常见的各种模型对不同失效数据集的预测能力并不一致。提出了一种软件可靠性增长模型选择和应用的框架,利用可靠性模型评价准则,对特定的失效数据集选择优选模型集,根据优选模型集利用神经网络较好的学习预测能力计算可靠性。利用此方法对实际软件项目中的失效数据进行了分析,并验证了它的有效性。

关键词：软件可靠性可靠性增长模型模型选择与综合神经网络

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：