【摘 要】
：
计算机软件在快速发展给人们带来方便,但同时由于软件规模日趋庞大、形态日趋复杂,而使得许多软件本身的可信性变得越来越脆弱。传统的软件工程方法已经无法满足当今社会对软
论文部分内容阅读
计算机软件在快速发展给人们带来方便,但同时由于软件规模日趋庞大、形态日趋复杂,而使得许多软件本身的可信性变得越来越脆弱。传统的软件工程方法已经无法满足当今社会对软件可信性的迫切需求,软件研究面临可信性的重要科学挑战。在研究可信软件的过程中,如何抽象地表述软件的各种可信性质与具体的代码相互印证成为构建可信软件的关键技术之一。研究可信软件关键技术,设计、推理和验证程序中的各种对象依赖和保护关系是本论文研究的目的。
在实验方法上,从研究软件的可信性质出发,重点关注对象间的依赖和保护关系,在现有的单所有权和多所有权的基础上研究多样化对象所有权对象,将程序标注、程序静态分析和可信软件的研究相结合,理论与实践相结合。
在多样化对象所有权相关的研究中,第一:设计研究所需的程序标注,并人为地在面向对象程序中嵌入这些体现各种对象所有权设计意图的程序标注,要求程序可以自动获得源代码中的程序标注对一段给定的源代码;第二,对给定的java程序代码,程序可以自动显式地生成与之对应的控制流图;第三:检查程序中添加了程序标注的代码,并对违反标注定义的程序代码给出警告。
其他文献
虚拟人的情感交互是近年来计算机动画、计算机视觉、人机交互以及模式识别等领域的研究热点。按照情感的复杂程度划分，用户的情感状态可分为单一情感状态和混合情感状态，如何让
信贷管理信息系统(CMIS)是银行信贷管理的重要支撑，其信息的安全使用、传输和存储是保障业务正常进行和降低银行金融风险的重要技术手段。论文依据密码学的基础理论和信息安全
数据挖掘是一种融合了包括人工智能、统计学、数据库、模式识别、模式可视化等多种学科知识的信息整合分析技术,是计算机科学与网络技术迅速发展和使用所提出的重要科研课题,
由于RFID应用系统日益扩大的规模以及企业信息集成剧增的复杂性,RFID数据处理相关技术被提上重要日程；在这种背景下,RFID复杂事件处理技术和RFID数据世系管理技术应运而生；前者
数据库中储存着大多数机构赖以生存的重要信息,是信息系统的核心和基础,因此数据库的安全性越来越受到人们的重视。目前,大部分都采用了一定的安全保护措施来保护数据库的安
随着无线通信技术、低功耗传感器技术和嵌入式系统技术的快速发展,无线传感网成为一种全方位采集感应信息和处理数据的技术,它正在影响和改变我们的生活。在监测区域内部署大
椭圆曲线密码(ECC,Elliptic Curve Cryptography)是一种杰出的公钥密码体制,但在实现时仍有一些关键的问题需要进一步研究。由于标量乘法的效率决定了 ECC的实现效率,因此标
RAID系统在架构上，采用多层次、多模块的设计，模块之间采用异步机制，并使用队列来缓存交换数据。在技术上，磁盘阵列引入了冗余技术以提高系统的性能和可靠性。这些给系统的多个模
随着电子阅读时代的到来，现有电子阅读设备与应用通过屏幕印刷、文档解析排版等技术为用户提供了与纸质书不相上下的良好阅读体验。随着对用户需求的深入研究，以及对阅读工具的
计算机网络技术的迅猛发展,使得网络协议日趋多样和复杂,协议的开发也面临着越来越多的挑战。协议一致性测试是为了验证协议实现与相应的协议标准之间的一致性,是确保各种计