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

可信软件代码中程序标注的使用及类型验证

引用

武汉大学学报（信息科学版） 2010年第5期35卷 570-573页

作者：赵洋徐晓刚张功萱张容南京理工大学计算机科学与技术学院南京市孝陵卫200号210094 南京大学计算机软件新技术国家重点实验室南京市汉口路22号210093

程序标注技术能够勾勒程序代码中的各种数据属性和软件行为,提出了使用许可类型系统作为沟通程序标注和程序代码的桥梁,从程序代码的角度分析和验证了程序的安全性,进而提升了整个软件系统的可靠性和可维护性。

关键词：可信代码程序标注程序验证

来源：评论

学校读者我要写书评

暂无评论

多层可信软件代码中程序标注准确性验证仿真

引用

计算机仿真 2018年第4期35卷 250-253,381页

作者：陶虹平同济大学浙江学院浙江嘉兴314051

对多层可信软件代码中程序标注的准确性的验证,能够有效保证多层可信软件的正常运行。对程序标注准确性进行验证,需要建立软件不同程序行为切分的超平面,区分不同的标注错误类型,完成可信软件代码程序标注准确性的验证。传统方法结合机... 详细信息

对多层可信软件代码中程序标注的准确性的验证,能够有效保证多层可信软件的正常运行。对程序标注准确性进行验证,需要建立软件不同程序行为切分的超平面,区分不同的标注错误类型,完成可信软件代码程序标注准确性的验证。传统方法结合机器学习算法,提取可以反映程序标注准确性行为的特征,但忽略了对标注错误类型的区分,导致验证精度偏低。提出基于支持向量机的多层可信软件代码中程序标注准确性验证方法。通过构建不准确标注的行为特征空间,建立不同程序行为切分的超平面,从而对不同的标注错误类型进行区分,对多层可信软件代码程序标注中所有权标注、效果标注、唯一性标注、恒定和只读标注、保护锁标注的内容准确性进行验证,从而实现程序标注准确性验证。实验结果表明,所提方法能够准确对多层可信软件代码中程序标注进行检测,保证了验证的准确性。

关键词：多层可信软件程序标注准确性验证

来源：评论

学校读者我要写书评

暂无评论

可信软件代码中程序标注的使用及类型验证

可信软件代码中程序标注的使用及类型验证

引用

2010年第四届中国可信计算与信息安全学术会议

作者：赵洋徐晓刚张功萱张容南京理工大学计算机科学与技术学院南京市孝陵卫200号210094 南京大学计算机软件新技术国家重点实验室南京市汉口路22号210093 南京大学计算机软件新技术国家重点实验室南京市汉口路22号210093 南京理工大学计算机科学与技术学院南京市孝陵卫200号210094

程序标注技术能够勾勒程序代码中的各种数据属性和软件行为,提出了使用许可类型系统作为沟通程序标注和程序代码的桥梁.从程序代码的角度分析和验证了程序的安全性,进而提升了整个软件系统的可靠性和可维护性.

关键词：可信软件代码程序标注程序验证

来源：评论

学校读者我要写书评

暂无评论

人工智能下复杂软件源代码缺陷精准校正

引用

计算机仿真 2023年第8期40卷 389-392,407页

作者：刘楷正乔阳阳董涛王丽娟郑州工商学院信息工程学院河南郑州451400 华北水利水电大学电力学院河南郑州450046

缺陷校正可以保证复杂软件源代码的稳定运行,为了提高源代码缺陷校正性能,提出基于人工智能的复杂软件源代码缺陷校正方法。利用语法分析器,建立源代码语言的文本分析树,通过定义源代码语言文本中间转换执行流的延续,分析复杂软件源代... 详细信息

缺陷校正可以保证复杂软件源代码的稳定运行,为了提高源代码缺陷校正性能,提出基于人工智能的复杂软件源代码缺陷校正方法。利用语法分析器,建立源代码语言的文本分析树,通过定义源代码语言文本中间转换执行流的延续,分析复杂软件源代码语义。引入人工智能领域的计算机科学技术,计算复杂软件的后验概率,利用模糊矩阵计算源代码缺陷的贴近度,验证复杂软件源代码的程序标注。根据复杂软件源代码的缺陷密度,利用人工智能聚类算法预处理源代码缺陷特征,依据人工智能的数据依赖性分析理论,提取出源代码分区的依赖关系,结合代码转换,实现复杂软件源代码缺陷的校正。仿真结果表明,所研究方法可以提高复杂软件程序的运行效率,并将源代码缺陷校正准确率和召回率提高至90%以上。

关键词：语义分析人工智能缺陷校正源代码复杂软件程序标注

来源：评论

学校读者我要写书评

暂无评论

基于多样化对象所有权的软件可信性质研究

基于多样化对象所有权的软件可信性质研究

引用

作者：文胶朝南京理工大学

学位级别：硕士

计算机软件在快速发展给人们带来方便,但同时由于软件规模日趋庞大、形态日趋复杂,而使得许多软件本身的可信性变得越来越脆弱。传统的软件工程方法已经无法满足当今社会对软件可信性的迫切需求,软件研究面临可信性的重要科学挑战。在... 详细信息

计算机软件在快速发展给人们带来方便,但同时由于软件规模日趋庞大、形态日趋复杂,而使得许多软件本身的可信性变得越来越脆弱。传统的软件工程方法已经无法满足当今社会对软件可信性的迫切需求,软件研究面临可信性的重要科学挑战。在研究可信软件的过程中,如何抽象地表述软件的各种可信性质与具体的代码相互印证成为构建可信软件的关键技术之一。研究可信软件关键技术,设计、推理和验证程序中的各种对象依赖和保护关系是本论文研究的目的。\n 在实验方法上,从研究软件的可信性质出发,重点关注对象间的依赖和保护关系,在现有的单所有权和多所有权的基础上研究多样化对象所有权对象,将程序标注、程序静态分析和可信软件的研究相结合,理论与实践相结合。\n 在多样化对象所有权相关的研究中,第一:设计研究所需的程序标注,并人为地在面向对象程序中嵌入这些体现各种对象所有权设计意图的程序标注,要求程序可以自动获得源代码中的程序标注对一段给定的源代码;第二,对给定的java程序代码,程序可以自动显式地生成与之对应的控制流图;第三:检查程序中添加了程序标注的代码,并对违反标注定义的程序代码给出警告。

关键词：可信软件程序标注对象所有权控制流图程序静态分析

来源：评论

学校读者我要写书评

暂无评论

基于多样化对象所有权的软件可信性质研究

基于多样化对象所有权的软件可信性质研究

引用

作者：文家朝南京理工大学

学位级别：硕士

计算机软件在快速发展给人们带来方便,但同时由于软件规模日趋庞大、形态日趋复杂,而使得许多软件本身的可信性变得越来越脆弱。传统的软件工程方法已经无法满足当今社会对软件可信性的迫切需求,软件研究面临可信性的重要科学挑战。在研究可信软件的过程中,如何抽象地表述软件的各种可信性质与具体的代码相互印证成为构建可信软件的关键技术之一。研究可信软件关键技术,设计、推理和验证程序中的各种对象依赖和保护关系是本论文研究的目的。在实验方法上,从研究软件的可信性质出发,重点关注对象间的依赖和保护关系,在现有的单所有权和多所有权的基础上研究多样化对象所有权对象,将程序标注、程序静态分析和可信软件的研究相结合,理论与实践相结合。在多样化对象所有权相关的研究中,第一：设计研究所需的程序标注,并人为地在面向对象程序中嵌入这些体现各种对象所有权设计意图的程序标注,要求程序可以自动获得源代码中的程序标注对一段给定的源代码；第二,对给定的java程序代码,程序可以自动显式地生成与之对应的控制流图；第三：检查程序中添加了程序标注的代码,并对违反标注定义的程序代码给出警告。

关键词：可信软件程序标注对象所有权控制流图程序静态分析

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：