程序属性的检测与程序属性的分类

摘要：在当今的各种程序中,很多人认为只存在两种程序,即善意程序和恶意程序,但对程序属性研究之后,发现还存在第三种属性的程序,该程序部分具有恶意性,部分具有善意性,第三种属性程序是由本文首次提出。本文提出解决问题的思路是：首先采用恶意权值计算公式对程序进行计算,判断该程序是善意程序还是恶意程序,并且分析了程序的权值是否发生了变化。如果是某个程序的权值发生了变化,那么此时善意程序被病毒感染的可能性很大,被病毒感染的程序在一定时候就能够体现出一定的恶意性,因此经过对病毒、被病毒感染的程序和善意程序三种不同属性程序分析之后,最后使用MMTD算法对三种属性的程序进行了分类：该程序是恶意程序,善意程序还是部分恶意部分善意的程序。     

一个形式化的程序设计方法及其实验系统

本文提出了一个形式化的程序设计方法,即以循环不变式为指导,运用程序变换规则从程序说明逐步地形式化地推争程序。生成的程序对于输入说明和输出说明是正确的。我们使用正则自动机作为程序的算法模型。这种算法模型具有通用性,它表示的程序可以等价地变换为某种程序设计语言的程序文本,如FORTRAN或PASCAL程序。 文中提出了“程序语句生成器”的概念及有关的程序变换规则,论述了利用循环不变式自动构造循环程序的原则和方法。文章还扼要介绍了应用这个方法的一个小型自动程序设计实验系统APES-82。     

一种程序综合方法

通过证明程序规约的方法可构造相应程序，但对“难题”和无证明的规约，无法使用这种方法构造程序，另一方面，如果可构造程序规约的验证程序，则可把这种程序看成该仙约的程序。本文讨论了程序规约的验证程序的构造方法，作为研究程序自动佛的一种途径。     

基于TMS320C6678的多核程序加载研究与实现

针对多核D SP系统程序加载复杂的问题,基于T MS320C6678对多核程序加载进行了研究与设计。从一级引导程序出发,设计并优化了多核程序内容存储格式。设计了简洁的二级引导程序,以修正一级引导程序只识别主核程序入口地址,而从核入口地址缺失的现象。为了快速生成特定格式的多核程序内容,设计了多个工具用于添加S PI启动参数表、DDR3启动表、从核程序入口地址以及完成程序内容格式的转换。实现了S PI Flash多核程序加载以及基于I2C主模式的Nand Flash多核程序加载。     

外部链

分别汇编的程序可以相互交叉访问(cross-reference)。例如,不同时间汇编的一个主程序和几个子程序要合并组成一个能执行的机器输入。本节叙述如何在各程序间建立正确的传输,以及如何在程序间访问数据而不管输入程序如何在存贮器中重新分配程序。 转移编址和数据编址最普通的方式是由程序设计员把给出的信息通过地址常数提供给输入程序。汇编程序指令ENTRY和EXTRN用于把信息送给输入程序。当一个程序具有子程序或数     

一种Java程序Chopping方法

程序Chopping对于程序理解、分析、调试、测试等具有重要的意义。已有的Chopping方法主要基于相互连接的系统依赖图(SDG),对于大程序这种SDG描述通常非常复杂,易导致程序Chopping结果不准确。针对这一问题,基于带标签的Java程序描述方法,提出一种Java程序Chopping方法。该方法利用这种描述附带的程序依赖信息,分析参数依赖关系,并在此基础上给出Chopping算法。此程序Chopping方法能把Java程序方法间的程序Chopping问题转换到Java程序方法内进行分析,程序依赖图具有结点少、可重用、可并发构造等优点。最后通过实例和实验给出程序Chopping方法的实施过程及有效性。     

微机技术在化学实验数据处理中的应用

本文阐述在化学实验中如何应用微机技术进行实验数据的处理。处理程序采用模块结构,主要包括引导程序、屏幕绘图程序、制作文件程序、主控程序、归一化程序、拉格朗日线性插值程序和曲线拟合程序等。     

广义量子Loop程序初探

在经典计算中,Loop程序是非常重要的程序。对量子计算中Loop程序进行研究非常必要。定义了体为量子运算的广义量子Loop程序,给出了量子Loop程序在输入态上终止,几乎终止以及不终止的定义基于任意的初始态。并证明了量子Loop程序在给定输入态上终止的充要条件以及程序终止的充要条件。作为应用,验证了体为酉运算的量子Loop程序嵌套是一个广义的量子Loop程序。     

一种用于软件测试的程序结构划分方法

软件测试中的结构性测试是以程序的结构为基础生成测试用例，以测试准则为判定测试的充分性，由于程序结构的复杂性，难于保证对程序进行充分而高效的测试，本文提出了一种基于程序依赖图的程序结构划分的测试方法，即程序块划分法。该方法难过对程序进行结构划分，将复杂的程序分解为若干程序块，并通过程序块间的数据依赖关系导出各程序块的语义，从而使测试可以在程序块的级别的基础上独立进行。     

基于类跟踪的程序分析技术

本文基于信息流分析技术,提出了对对象式语言进行程序分析的类跟踪技术和类跟踪的实现方法,并基于此技术给出了一种针对对象式语言程序的程序分析和程序分片方法,对于程序分析和程序理解及程序文档化具有一定意义。     

基于程序依赖图的静态BPEL程序切片技术

传统程序切片技术在计算BPEL程序切片时会产生切片不完备问题,为此,提出一种基于程序依赖图的BPEL静态程序切片技术。该技术根据BPEL语言的特点,通过建立BPEL程序依赖图,计算BPEL程序切片。案例分析表明,该技术能够获得更加全面的程序切片,从而可以帮助软件工程人员更好地测试、调试和维护BPEL程序。     

约束逻辑程序部分演绎过程的研究

约束逻辑程序的部分演绎是一个新兴的研究领域。本文提出了一个新的基于程序变换的ＣＬＰ部分演绎的过程。该过程以程序－目标为输入，经过一系列程序变换后终止，输出结果程序－目标对。该过程保证结果程序－目标对和输入程序－目标对计算等价，并且程序Ｐｎ解目标Ｑｎ比程序Ｐ０解目标Ｑ０效率更高。本文提出的方法语给出了一个ＣＬＰ程序部分演绎的运行这例。     

一种有效测量程序运行时间的方法

在保证程序基本功能的前提下，程序的运行速度是衡量程序优劣的指标之一。本文介绍一种利用ＴｕｒｂｏＰａｓｃａｌ编写的程序，测量程序运行时间的方法。     

CKrootKit检测的一个实例

什么是rootkit程序呢?很久以前,rootkit程序被看成只有管理员root才使用的程序,这种程序通常帮助管理员检查系统是否正常运转,有没有其他恶意的程序在运行。但是.现在rootkit程序被黑客利     

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

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

程序设计风格的讨论

程序设计风格是影响程序质量的重要因素。本文提出了一些为取得好的程序设计风格应遵循的原则。它们是:程序要清晰直观,不要过于巧妙;用一定的原则指导控制结构的使用;合理分解程序;程序内部要有恰当的说明。     

dBASEⅢ实用编程技巧—直方图显示与打印程序设计方法

本文介绍了用dBASEⅢ译言编制直方图显示与直方图打印程序的方法。这两个程序都是公共程序,调用相当方便。程序算法简单,程序简短,使用效果很好。     

程序算法识别研究综述

程序算法识别是程序理解研究中的子问题,主要目的是针对程序源代码识别出其所蕴含的程序算法。针对程序算法识别问题,首先说明其定义及实现过程;对可应用于程序算法识别领域的程序理解技术进行分类介绍,说明每种方法的实现技术路线;最后对每种方法进行了比较、分析,并提出未来程序算法识别研究的重点问题。     

ADSRX应用程序的开发与实例

本文给出了一个ADSRX程序实例,通过该实例阐述了ADSRX程序的结构,ADSRX程序的编译方法和跟踪调试方法。可将该程序作为模板程序,在此基础上增加其它的外部函数。     

程序启动顺序我说了算

为了方便起见,很多朋友都将每天必须要应用的程序设置为开机自动运行,避免了人为去逐一启动程序的麻烦。但是如果开机自启动的程序过多,可能会造成系统响应很慢,甚至是假死的情况发生。如果能给自启动程序排排队,按照重要程度高的程序优先启动,次要的程序依次延后启动,就会减少系统启动时同时加载所有程序所造成的“拥堵”。以下就是笔者给自启动程序排队的实操过程。