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

解放军理工大学学报（自然科学版） 2009年第4期10卷 318-323页

作者：丁洪达王伟光曾庆凯南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

基于形式化描述的验证测试是高安全系统的有效评估方法,而如何生成测试案例是基于形式化测试中的关键问题。针对形式化方法生成测试案例的不足,在分析形式化描述语言Z结构特点的基础上,提出了一种基于形式化描述的测试案例生成方法。从... 详细信息

基于形式化描述的验证测试是高安全系统的有效评估方法,而如何生成测试案例是基于形式化测试中的关键问题。针对形式化方法生成测试案例的不足,在分析形式化描述语言Z结构特点的基础上,提出了一种基于形式化描述的测试案例生成方法。从分析Z语言描述的输入空间、前置条件和后置条件出发,对前置条件适当重写,然后根据前置条件利用更改的判定条件覆盖准则来生成测试案例集,该方法引入了控制流覆盖准则,克服了经验方法输入空间划分不完整的缺点,降低了形式化描述的难度,并可以使测试案例生成过程自动化。

关键词：安全评估安全测试形式化方法测试案例生成覆盖准则

来源：评论

学校读者我要写书评

暂无评论

基于语义抽象的内存访问错误检测

引用

解放军理工大学学报（自然科学版） 2009年第3期10卷 262-268页

作者：蒋剑琴黄达明曾庆凯南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

为了检测内存访问错误,提出了一种基于语义抽象的内存访问错误检测方法,通过对程序具体语义的完备近似抽象,对相关约束变量操作的精确检验,以及控制流图遍历中的函数信息收集,能够在过程间完备地静态检测C程序源代码中的内存访问边界错... 详细信息

为了检测内存访问错误,提出了一种基于语义抽象的内存访问错误检测方法,通过对程序具体语义的完备近似抽象,对相关约束变量操作的精确检验,以及控制流图遍历中的函数信息收集,能够在过程间完备地静态检测C程序源代码中的内存访问边界错误。通过将程序分析和程序验证相结合,提高内存检查的自动化和准确性。原型实现表明了方法的有效性。

关键词：软件安全程序静态分析语义抽象内存访问错误

来源：评论

学校读者我要写书评

暂无评论

网络安全管理技术研究

引用

计算机科学 2009年第2期36卷 15-19,54页

作者：伏晓蔡圣闻谢立南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

针对新的安全形势,网络安全管理作为一类更全面、更智能化的综合技术业已得到越来越多的关注,不少相关产品也已经出现在市场上。网络安全管理的作用是通过对各种安全技术和安全产品的统一管理和协同来实现整体的安全。首先总结比较了现... 详细信息

针对新的安全形势,网络安全管理作为一类更全面、更智能化的综合技术业已得到越来越多的关注,不少相关产品也已经出现在市场上。网络安全管理的作用是通过对各种安全技术和安全产品的统一管理和协同来实现整体的安全。首先总结比较了现有的网络安全管理实现体系结构。然后,回顾了在网络安全管理中占重要地位的安全策略研究的进展,介绍了信息集成、智能分析引擎、协同及通信规范这3种网络安全管理的关键实现技术。最后,分析了网络安全管理当前的不足以及未来的发展趋势。

关键词：网络安全管理安全管理体系结构安全管理协议协同安全本体

来源：评论

学校读者我要写书评

暂无评论

基于复杂网络的Java程序分析工具设计与实现

引用

计算机科学 2009年第4期36卷 145-150页

作者：陈焘李孔文王树森顾庆陈道蓄南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

随着软件产业的迅速发展,软件系统的功能和结构日益复杂,有必要有效地理解复杂软件系统的结构,理解其在生命周期里的变化规律。开发了一个基于复杂网络的Java程序分析工具,分析Java代码,为Java软件系统结构构建复杂网络,并进行复杂网络... 详细信息

随着软件产业的迅速发展,软件系统的功能和结构日益复杂,有必要有效地理解复杂软件系统的结构,理解其在生命周期里的变化规律。开发了一个基于复杂网络的Java程序分析工具,分析Java代码,为Java软件系统结构构建复杂网络,并进行复杂网络特征的统计和分析,为更好地研究和理解复杂软件系统的结构及其演化规律提供了有力的支持。

关键词：软件系统结构程序分析复杂网络

来源：评论

学校读者我要写书评

暂无评论

电信系统可靠性评估方法案例研究

引用

计算机科学 2009年第1期36卷 273-278页

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

为了保证一个系统的质量,有必要对其可靠性进行评估。使用平均值方法、定数截尾试验、定时截尾试验、曲线拟合回归分析等常用的可靠性评估方法对目标系统进行可靠性评估,并比较几种可靠性评估方法的准确程度。最后提出使用曲线拟合改进... 详细信息

为了保证一个系统的质量,有必要对其可靠性进行评估。使用平均值方法、定数截尾试验、定时截尾试验、曲线拟合回归分析等常用的可靠性评估方法对目标系统进行可靠性评估,并比较几种可靠性评估方法的准确程度。最后提出使用曲线拟合改进的评估方法,使得可靠性评估结果更加准确。目标系统是4个电信运营中重要的系统设备,使用残差分析R2检验来比较评估结果的优劣。

关键词：可靠性定数截尾试验定时截尾试验曲线拟合 R^2检验电信系统

来源：评论

学校读者我要写书评

暂无评论

基于内存更新记录的漏洞攻击错误定位方法

引用

计算机科学 2009年第1期36卷 252-255页

作者：葛毅茅兵谢立南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

软件漏洞攻击威胁日益严重。其中基于内存腐败漏洞的攻击最为普遍,如缓冲区溢出和格式化串漏洞。提出一种针对内存腐败漏洞攻击的自动错误定位方法。基于内存更新操作记录,可以回溯找到程序源代码中腐败关键数据的语句,从而提供有益的... 详细信息

软件漏洞攻击威胁日益严重。其中基于内存腐败漏洞的攻击最为普遍,如缓冲区溢出和格式化串漏洞。提出一种针对内存腐败漏洞攻击的自动错误定位方法。基于内存更新操作记录,可以回溯找到程序源代码中腐败关键数据的语句,从而提供有益的信息修复漏洞并生成最终补丁。

关键词：内存腐败攻击软件安全错误定位程序源代码

来源：评论

学校读者我要写书评

暂无评论

基于复杂网络的大型软件系统度量

引用

计算机科学 2009年第2期36卷 287-290,302页

作者：王树森顾庆陈焘陈道蓄南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

随着软件系统规模的不断增大,如何度量面向对象大规模软件系统成为一个亟待解决的问题。近年来迅速发展的复杂网络理论为解决该问题提供了一个新的视角。介绍了大规模软件系统中的复杂网络现象,从元素级、模块级、网络级3个不同的粒度... 详细信息

随着软件系统规模的不断增大,如何度量面向对象大规模软件系统成为一个亟待解决的问题。近年来迅速发展的复杂网络理论为解决该问题提供了一个新的视角。介绍了大规模软件系统中的复杂网络现象,从元素级、模块级、网络级3个不同的粒度提出基于复杂网络的软件系统的各种度量;实现了大型Java程序复杂网络描述和度量工具JPAC。JPAC可用于分析大型Java系统的结构,并计算基于复杂网络的各度量值。

关键词：复杂网络软件系统软件度量 JPAC

来源：评论

学校读者我要写书评

暂无评论

基于回归的传感器网络数据抑制方案

引用

计算机应用研究 2009年第1期26卷 253-255页

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

提出了三种基于回归模型的数据抑制方案:其中两种利用了无线传感器网络中数据的时序相关性;另一种利用了感知数据的时序—地理位置相关性。模拟实验表明,相对于简单的数据抑制方案,基于回归的数据抑制方案的通信代价更低。

关键词：无线传感器网络回归数据抑制近似查询

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于构件软件的抗衰策略分析

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：