【摘 要】
：
模块化推理在程序分析和程序验证领域得到了广泛的关注与应用，其应用范围涵盖了程序静态分析、程序进化、程序验证等方面。由于面向方面程序设计(aspect-oriented programming,AOP)存在量化和易忘性等特点，违反了传统程序方法学中的模块化原则，从而容易引起方面干扰问题，使对面向方面程序进行模块化推理更加困难，严重影响了AOP的应用前景。本文阐述了面向方面程序的模块化推理目标和类型，
【机 构】
：
贵州大学计算机科学与信息学院，贵州贵阳 550025 贵州师范大学数学与计算机科学学院，贵州贵阳 550001
【出 处】
：
2011年第五届中国可信计算与信息安全学术会议(CTCIS2011)
论文部分内容阅读
模块化推理在程序分析和程序验证领域得到了广泛的关注与应用，其应用范围涵盖了程序静态分析、程序进化、程序验证等方面。由于面向方面程序设计(aspect-oriented programming,AOP)存在量化和易忘性等特点，违反了传统程序方法学中的模块化原则，从而容易引起方面干扰问题，使对面向方面程序进行模块化推理更加困难，严重影响了AOP的应用前景。本文阐述了面向方面程序的模块化推理目标和类型，描述了常用的面向方面程序的模块化推理方法，总结了面向方面程序的模块化推理尚存在的一些问题，指出了可能的研究方向。
其他文献
在回归测试中，原有测试用例集往往不能满足软件修改带来的新需求而需要新增测试用例。与传统测试用例生成相比，测试用例集扩增在分析软件修改影响的基础上有针对性地产生新测试用例以提高测试效率。提出了一种基于谓词自适应随机测试(Predicate-Adaptive-Random-Testing，P-ART)技术的测试用例集扩增方法。该方法的主要创新在于结合软件修改分析的白盒测试技术与自适应随机测试(Adap
为了提高Web服务组合的可靠性，提出了一种时间异步Web服务交互的失配检测方法。首先采用基于时序逻辑的软件体系结构描述语言XYZ/ADL描述Web服务组合，并建立了一个可以精确刻画异步交互行为和时间属性的时间异步服务模型(TASM)，然后将XYZ/ADL描述转换为TASM，最后利用模型检测工具UPPAAL实现了异步Web服务的交互失配检测。
提出了基于体系结构失效传播的软件安全性分析方法。建立了新的面向失效传播的组件故障和失效特征模型，从组件层面对软件安全性进行量化分析；在体系结构设计早期从用户角度评估潜在失效的严重程度，并确定系统的安全性敏感点。
针时AUTOSAR OS在定时保护方面的功能需求，分析确定了定时保护的若干监测对象以及需要采取的保护性操作。为了避免基于OSEK OS报警机制的实现方案的缺陷，降低操作系统在执行监测时对CPU的额外开销，基于特定的嵌入式微处理器，充分利用其系统定时器模块的硬件特性，设计实现了一种改进的定时保护策略。应用实例证明，该实现能够有效运行，满足AUTOSAR OS对于定时保护的功能需求，并能有效降低对CP
随着传感网络以及嵌入式系统等的发展，集计算、通信、控制于一体的信息CPS逐渐成为人们关注的热点。未来CPS将会应用到社会生活的各个方面，随着应用的越来越普及，CPS能否满足设计需求对系统设计实施显得至关重要。验证技术在保障和提高系统安全性、可靠性等方面起到了关键的作用，对CPS关键属性的验证也成为研究的焦点。将通用的模型转换为形式化模型进行验证是常用的验证手段，采用HybridUML对CPS进行建
基于相变存储(PCM)的相变随机存储器(PRAM)具有高密度、非易失、低功耗等优点，被认为是传统的动态随机存储器(DRAM)的替代品。目前研究人员从体系结构的角度提出了很多种基于PCM的混合内存架构方案，但很少从操作系统的角度来深入分析这项技术带来的影响。从操作系统的角度来分析和研究新型混合内存带来的变化，从而提出了一种支持新型混合内存的物理内存管理方法。该方法主要包括基于程序段信息的分配策略和具
白盒测试技术是软件测试高级课程中的重要内容，学好白盒测试技术(如基本路径测试和条件测试)，掌握测试理论是一个方面。而对于学习该课程的软件工程研究生来说，如何把这些理论技术变成有效的工具才是更具挑战性的。把这些原理转化为工具需要整个软件工程的相关技术和理论来支持：首先要对被测源码进行解析，构建模型并从中抽取测试相关的实体，设计覆盖这些实体的路径，基于搜索技术生成高效的测试教据，通过一定的方式对程序执
随着客户个性化需求以及企业专业化分工的发展，企业通常需借助外部的资源和能力给客户提供整合的一站式集成服务，而目前成功应用的基于云计算技术的第三方服务平台无法适应于服务模式、过程与内容均不同的复杂的企业。给出的基于双边资源整合智慧服务平台可整合客户需求和企业资源，并且支持任意第三方企业建立基于互联网服务型企业——云企业，通过分析平台的特性与功能，设计出了符合其服务模式的平台体系结构，最后通过系统的演
近年来，安全保障作为操作系统安全的一个重要方面越来越受到研究者的重视。对于高安全级别操作系统，体系结构层次的结构化是必须要达到的安全保障要求，是其区别于低安全级别系统的本质特征。本文首先分析了传统信息流模型在解决安全保障问题方面的不足，然后以传统无干扰模型为基础， 研究了安全保障在其中的描述和体现，提出了能够满足引用监视器假设的结构化规则。其次，提出可信管道的概念，将其应用到无干扰模型的结构化保障
随着COM构件技术的广泛使用，COM构件暴露出越来越多的缓冲区溢出安全漏洞。为进一步提高COM构件的安全性，本文设计实现了COM构件栈缓冲区溢出漏洞检测系统CSDS(component stack-overflow detecting system)，并在其中实现了一个栈溢出检测算法。CSDS主要有接口分析、函数定位、栈溢出静态分析和结果输出4个模块，接口分析模块分析被测COM构件得到构件的对象、