ARM程序执行周期估计的基于模拟的非线性方法

为了快速而准确地估计ARM处理器上的程序执行时间,研究了基于模拟的非线性程序执行时间估计器的结构.它由程序功能剖面生成模块和程序执行时间预测模块串联而成.程序功能剖面生成模块直接用精确指令模拟器Sim-profile实现;而基于程序执行中的动态指令数与执行时间在处理器上的非线性关系,对于程序执行时间预测模块的实现,首先设计了一种人工神经网络方案,再根据对人工神经网络局限性的判断,如局部最优问题、不适于解决小样本的回归、网络拓扑结构依赖先验知识等缺点,又提出了基于最小二乘支持向量机的方法.实验证明,这些非线性方法,特别是基于最小二乘支持向量机的方法,可以用较低的模拟代价获得较高的程序执行时间估计精度.     

利用Winrar进行文件压缩(解压缩)的两点改进

在使用Winrar压缩软件时,应注意两个问题①在命令状态下,如何把文件压缩到含有空格的文件夹中;②由于Windows 98在程序执行时处于并行状态,所以造成前一个任务还没有完成,后一条命令行已经开始执行。当又用到前一个任务所形成的资源时,将直接造成后一条命令的执行错误。本文针对这两点,在VB环境下,提出了相应的解决办法。 (1)解决文件夹含有空格的问题:在文件c:\Program Files\lwc.txt未压缩之前,用     

基于模拟器的嵌入式软件动态测试技术

提出一种嵌入式软件动态测试框架,该框架以模拟器为运行核心,准确模拟嵌入式硬件的运行状态,给出语句覆盖率、分支覆盖率、函数及模块的执行频度、程序执行时间等测试信息,有效地支持了嵌入式软件的动态测试和单元测试。实验证明了该方法的有 效性。     

面向计算机程序的可视化综述

计算机程序是由开发者使用编程语言编写、被计算机识别并执行的一系列指令.大型程序源代码通常逻辑复杂,句法抽象,造成较大的认知困难.计算机程序可视化以直观形象的方法呈现计算机程序的代码结构、执行过程和运行结果,增强用户理解和调试程序的能力.从程序执行流程出发,根据程序执行的前、中、后3个阶段分析其可视化目标,并介绍已有可视化方法.在程序执行前阶段,使用可视化对代码组织和潜在异常进行多层级、多维度的展示;在程序执行中阶段,利用可视化辅助算法理解、运行调试和状态监测;在程序执行后阶段,运用可视化进行性能评估优化和异常检测.介绍程序可视化在在线编程调试、算法可视化等多种应用场景下的实际应用案例.最后,总结程序可视化现阶段工作的分类以及存在的不足,并指出高泛化性的算法理解可视化和教育领域的运行调试可视化等是未来工作的研究方向.     

使用谓词转换的程序验证

9.1 引言在这一章,我们介绍既适用于验证确定的程序,又适用于验证非确定的程序的一套方法。我们的方法,是以 Dijkstra[1975]所引入的谓词转换器的概念为基础的。Dijk-stra 用谓词转换器定义程序的形式语义的方法是:通过一个映射,将一个程序执行后的状态集合,转换成同一程序执行前所有可能的状态集合。这样,就语义这一方面说来,确定和非确定概念之间的差别失去了意义。中心问题是关于计算的性质;因此,迭代的     

基于程序资源访问建模的安全增强

在传统的访问控制系统中,程序执行时需要的权限和程序执行者拥有的权限并不完全一致。一般后者的权限大干前者,这一点也导致了很多安全漏洞的出现。文章针对传统访问控制系统的这一缺陷,设计了一套程序资源访问控制系统（pRM）,它通过对程序执行过程中访问到的系统资源,如文件、目录等,进行建模和实时的监控,较为精确地限定了程序执行期间的权限,增强了程序的安全性能。     

时序逻辑:线性时间对分支时间

1.引言 时序逻辑是一种模态逻辑,不同于经典逻辑,其真假值依赖于时间而变化。对于序的数学处理,并不是静态的,它包含很重要的动态特征。一个典型的程序执行模型就是状态列,不同的状态,程序的属     

指令级并行程序执行模型

提出了一种形式化的指令级并行程序执行模型,ＩＬＰＰＥＭ不仅可以描述程序实际执行过程的行为,也可以描述编译和执行时不确定的时间变化所造成的可行执行过程的行为;同时提出了程序执行的同构概念,并证明了可行程序执行必与一个实际程序执行同构,从而为并行程序编译和验证提供了理论依据。     

单微处理机上程序执行流程的差错恢复

在用各类商用微处理机系列产品构造实时应用系统时，必须解决其抗干扰问题。本文以对微处理机系统的指令执行过程受干扰情况的分析为基础，研究了失控后的程序执行流程的行为，着重讨论了程序执行流程出现差错后的各种恢复策略。     

程序时序属性的自动测试

测试预言是一种用来检测被测系统的测试执行是否正确的方法。文中，作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测试预言的方法。首先，作者将一线性时序逻辑公式转换为一个有限状态自动机，然后，管理源代码，以便抽取与线性时序逻辑性质有关的状态序列。最后，用谊信息来模拟状态自动机，并决定程序执行是否满足线性时序逻辑的性质。     

基于Kripke结构的程序正确性证明

为了方便证明程序的正确性,引入了Kripke结构,提出基于Kripke结构的程序正确性证明。重新定义了适合证明的Kripke结构,并描述了将程序流程图转换为Kripke结构状态图的方法。给出了证明程序正确性的相关定理和基于Kripke结构的程序正确性证明方法。证明方法为:首先,把程序流程图转换为状态图;然后,根据状态之间的转移关系列出每个状态下的状态谓词;最后,证明每个状态谓词为真。根据状态谓词进行证明,能够反映出程序执行的状态。用该方法对一个实例进行了完整的证明。     

基于插桩和布尔逻辑的运行时程序验证框架

针对软件测试和静态程序验证中存在的连续性程序执行验证和推理问题,提出一个基于程序插桩和布尔逻辑的运行时程序验证框架——RPA。定义一种用于描述运行时程序性质和规范的动态逻辑语言RPAL,实现自动化插桩以收集运行时程序状态信息,设计一个支持高效验证的句子调度算法。实验结果表明,结合合适的谓词扩展,RPA可以有效地验证和分析软件逻辑,发现潜在的软件错误。     

DVD视盘系统盘片格式处理模块的研究与实现

DVD盘片处理模块是DVD视盘系统的技术之一,本文介绍了DVD数据结构,通过分析将主数据记录到DVD盘片上的过程,实现了DVD视盘系统主控程序中盘片格式处理模块.该模块是实时任务的,采用中断驱动状态转移的机制,提高了程序执行的效率.     

基于程序执行状态图的软件测试方法研究

软件测试一直是保证软件质量的最主要的手段之一,多年来人们一直在寻找好的测试方法和测试策略。同时随着图形界面的日益流行,传统的测试方法变得难以适应测试的需要。文章提出了一种基于程序执行状态图PESC的软件测试方法,给出了程序执行状态图的定义,以及相应的覆盖准则。最后,文章介绍了使用PESC逐步生成测试路径的方法。     

共生矩阵纹理特征的DSP优化实现

灰度共生矩阵纹理特征具有计算复杂、耗费时间等问题,严重影响了程序执行的效率。针对此问题,分析了共生矩阵纹理特征的原理,研究了TMS320C6678 DSP的结构性能,提出了基于共生矩阵纹理特征的存取带宽和软件流水的优化方法,在CCS5.3软件平台下选择TMS320C6678对其进行了程序实现,最后使程序执行时间从1.94 ms减少到0.259 ms。实验结果表明,提出的优化方法能够缩减代码执行时间,提升代码性能,满足嵌入式图像处理系统的实际需要。     

反向调试技术研究综述

在软件的开发测试部署过程中,调试工作耗费了开发人员非常多的精力和时间,有时一个很难被发现的错误会导致多次重启调试。反向调试是软件调试的一种技术,无需重启即可向后查看运行的指令及状态,这能够大大提高软件调试的速度,降低软件开发的难度,有效修复程序运行时发生的错误。该技术的核心问题是运行状态的恢复,目前针对该问题的解决方法主要有状态保存和状态重构。文中主要从反向调试的原理、学术研究、产品实现、技术应用等方面梳理其发展情况,对该技术进行分析研究,总结了基于时间和基于指令的状态保存反向调试技术以及两种反向执行重构状态的方法,并提出了有关记录重放程序执行、定位分析软件错误、反向数据流恢复这3方面的应用,可为反向调试技术的研究应用提供一定的参考。     

程序设计教学中的变量表分析法

本文以编程求解斐波那契数列为教学案例,提出了变量表分析法。应用此方法可以有效分析程序在一个生命周期内的关键变量值的时序状态,有利于对程序算法的改进,有利于学生掌握程序执行过程,有效激发学生的学习兴趣。     

一种混合式内存泄漏静态检测方法

内存泄漏是导致系统性能降低的重要问题.提出一种基于模型检测算法的内存泄漏静态检查方法TMC.该方法依据程序的控制流图构建对应于程序执行的有限状态自动机,进而在此基础上应用模型检测算法分析程序中可能存在的内存泄漏.论文利用几个典型的程序实例详细说明了TMC的工作原理,并通过基于内存操作密集的测试程序集PtrDist的实验对TMC进行了验证.实验结果表明,TMC能够显著提升内存泄漏分析的精度.     

对Hanoi塔问题非递归算法的改进

通过对前一非递归算法的分析，给出了Hanoi塔问题改进的非递归算法的思想和程序执行步骤，并用C语言实现了该算法。该算法优点在于能一次求出移动步骤，并且其时间复杂性有较大的改善。     

PROLOG程序中无限循环的检测及处理

PROLOG程序中的无限循环直接影响到程序执行的可终止性和答案完全。解决此问题的方法一般分为两类:预防和检测。本文指出了预防方法的不足,并提出了一种静、动态相结合的检测、处理方法。