询问-回答模式下层次式程序表示模型的构建方法

对程序进行静态分析是程序检查的一种有效的手段,而建立程序模型是对程序进行自动分析的基础。基于对象、域和型的层次式程序表示模型(OSTPM)是以域为基础的层次式的程序信息递归表示模型。该模型侧重反映程序中对象、域和类型间的内在关系,并通过域把不同的对象和型关联起来。可扩展程序对象模型(EPOM)是用来具体刻画程序语法结构的一种抽象模型。在对程序进行词法和语法分析后得到EPOM的情况下通过询问-回答的对象控制模式可以方便的构建OSTPM。     

基于EPOM的程序可视化表示系统的设计与实现

可扩展程序对象模型是一种用来刻画高级程序的抽象模型，利用该模型可以很方便地抽取出程序中各式各样的信息，概要介绍了可扩展程序对象模型并基于该模型设计和实现了一个程序的可视化表示系统，同时给出了该系统的运行结果。     

基于询问-回答模式的对象控制模型的实现

在诸多系统设计中，系统需要管理大量具有内在关联性相似性的对象系统（通常表现为对象树或对象图的形式）。通常采用的方法是系统集中管理和控制，根据对象的互异性特征，选取指定的对象和决定对象如何访问。这种集中控制的弊端是管理复杂、成本高，容易造成错误，并且可扩充性差。文章介绍了一种基于询问-回答模式的对象控制模型，有效地解决了这个问题。     

程序静态分析中的双重模型策略

介绍了描述程序信息的两种模型(EPOM和OSTPM)以及它们之间的联系，并举例介绍了如何利用这两种模型进行程序的静态分析检测。     

程序复杂度度量系统pgrmetrics的设计与实现

介绍一种源程序度量系统的实现方法,它以可扩展程序对象模型作为其构建基础,将对源程序的信息抽取变为对抽象对象模型的信息抽取,故而无论从设计和实现系统的角度看都显得较为简洁易行。     

打造个性化的扩展BIOS程序

[编辑提示]扩展自己的BIOS程序,当然有不少人想做。但这确实不是一件轻而易举的事情。即使自己不编程,使用本文中的例程,也不是一般的爱好者可以做的。因此,如果你没有途径通过“EPROM编程器”来重写你扩展错了的BIOS,那可千万不要实验。 很多人都会用工具软件修改一下BIOS中的开机画面,事实上我们在BIOS中能做的事情远比想象中的多得多,例如在BIOS中打造一个自己的开     

使用扩展存储器的实例程序

IBMPC/AT或286以上机器一般具有多于1MB的内存．其CPU有两种工作模式：实地址模式和保护模式．在实模式下24位地址总线只用了20位，寻址空间仍只能达1MB．在保护模式下，可直接寻址16MB的存储空间，而且还提供存储保护特性．然而DOS的各种版本都不直接支持保护模式，因此目前所有286／386机型上的DOS系统均工作在实模式下．尽管系统配置了多于1MB的存储空间．用户也不能存储访问它们．一种解决的办法是利用DOS系统的BIOS提供的INT15H的子功能-87H、88H。其中，88H子功能用于扩展存储器，它返回扩展存储器的总容量，87H号子…     

基于CIDOC概念参考模型的Web服务注释

在Web服务所提供的基本功能的基础上,应用语义注释的思想,给出一种对Web服务进行语义说明的方法。应用CIDOCCRM标准对Web数据规范进行注释,可为该规范加入语义信息,反映数据的含义,并揭示出数据之间的层次关系,从而使web服务使用者更好地理解数据,并将所获取的数据准确地应用到数据处理中。     

基于扩展对象模型的界面自动生成

根据界面工程设计和自动化的需要,本文提出了基于FMP模型中的扩展对象模型的自动生成方法。界面自动生成是根据扩展对象模型中的对象描述信息,通过指定不同的布局策略在界面的特定区域中实现的不同界面布局。实验结果表明本文提出的方法具有相当的应用价值。     

一种基于控制流的程序行为扩展模型

提出一种基于控制流的程序行为扩展模型EMPDA(extended model based on push down automaton).对控制流模型加入不变性约束扩展,该模型能够表达程序正常运行时所应保持的不变性质约束,增强了模型的监控能力;通过以实际应用区分系统调用重要性,将模型划分为核心模型和辅助模型,以降低模型整体消耗,提高模型学习效率.实验结果表明,该扩展模型较之原模型有更好的覆盖速度、误报率以及检测能力.     

基于程序图的McCabe结构复杂性度量

程序复杂性度量是软件工程的一个研究领域 ,不同的软件设计方法可导致不同的程序复杂性。本文讨论了利用程序图进行 Mc Cabe结构复杂性度量的方法。     

一种基于模型检验程序分析技术的前端工具研究

提出了一种用模型检验技术对程序进行分析的方法,其主要思想是将C/C++源代码转换为与控制流图等价的Kripke结构,用CTL公式描述待验证的源程序性质,使用NuSMV模型检验工具实施具体的程序分析。基于这一思想,设计并实现了一个自动将C/C++源代码转换为NuSMV输入的工具。所做的实验验证表明,该方法能够有效地对程序进行分析。     

基于Return-Oriented Programming的程序攻击与防护

随着w⊕x等技术的引入,传统的代码注入攻击几乎被消除,return-to-lib攻击受到很大程度的抑制。在此 背景下,Hovav Shacham提出了Return-Oriented Programming(ROP)的思想,该思想基于栈溢出的原理,通过使用程 序库中有效的以ret指令结尾的短指令序列构建gadget集合,使之具有图灵完备特性,来完成计算和攻击。讲述ROP 思想自提出以来的一些研究成果和其实际的攻击能力,阐述ROP自动化的当前成果与未来可能的发展方向,进而分 析和预测ROP自动化的下一步的研究方向。同时,也将从ROP的几个特征分析消除这种攻击的策略和方法,并介绍 目前已有的防护思想和成果,论述这些方法的优缺点和改进方向。综合阐述ROP攻击与ROP防护这一矛与盾的问 题,力争使读者理解ROP的思想,知悉当前的发展状态,并在此基础上能够进一步推进ROP攻击及其防范的研究。     

基于分布式认知理论的扩展资源模型

分布式认知理论通过协调人机对话,结合人和计算机各自的优势解决问题,在人机交互研究中扮演了指导者的角色.尽管分布式认知理论支持的资源模型在分析人机交互时取得了成功,但模型存在不能提供复杂用户任务支持、缺乏对模型中元素的准确定义等问题,在一定程度上导致了表现形式上的混乱.使用分布式认知理论构造了扩展资源模型,建立人机交互活动中的动作和表征之间的联系,从而指导界面的设计和实现.扩展资源模型从静态结构和交互策略两个方面对界面交互动作提供支持,在交互中减少人的认知负担.该研究对设计符合人的认知特点的界面具有一定的指导作用.     

一种基于Java程序分层模型的方法内切片生成算法

程序切片作为软件理解领域的一种重要的分析技术,可以将程序分解为独立的程序线程。系统依赖图的概念及两阶段图形可达性算法的出现,则有效解决了程序切片的过程调用问题。文章介绍了程序切片的基本概念,并给出了在面向对象程序中进行静态分层切片的思想。作为分层切片思想的应用,文章给出了在一种Java程序切片工具模型JSTM(JavaSlicingToolsModel)中运用系统依赖图进行方法内切片的具体算法。     

一种基于分层切片模型思想的源程序信息分析方案

作为软件理解的手段之一,程序切片技术通过寻找程序内部的相关性来分解程序,再通过对分解所得程序切片的分析达到对整个程序的分析和理解。程序切片算法必须建立在对源程序信息正确、完整分析的基础上。详细地描述了一种基于分层切片模型思想的程序信息提取方案。该方案已成功运用到一种Java程序切片工具模型JSTM（Java Slicing Tools Model)中。