动态执行相关论文
测试技术是保障软件系统质量最重要和最有效的方法之一,一直以来也是工业界保证软件系统正确性最主要的手段。受计算能力和时间、......
存储过程作为一种安全、高效的数据库技术已经被广泛的运用在各应用开发过程中，它能够封装应用领域的业务逻辑使软件更加模块化。藉......
模型检测是一种形式化验证技术,主要用于系统的建模和分析。随着软件系统规模和复杂性的增加,模型检测中的状态爆炸问题愈发严重。......
学位
随着网络管理应用场景的不断复杂化和用户功能需求的不断增加,传统网络管理系统的弊端越来越明显。这主要体现在如下三点:一是系统......
该文介绍了一种实现算法动态执行的可视化的方法，利用这种方法，可以实现将描述算法的程序的动态执行过程和输出同时表示出来。......
软件系统的执行是一类极其复杂的交互过程,采用复杂网络的研究方法可有效地分析软件执行行为模式规律.与以往分析软件系统静态拓扑......
介绍了以Pentium Pro微处理器为核心的高性能微处理器的体系结构特征,以及在多媒体,网络通信,并行计算等方面表现出的优异性能.......
在SQLSERVER中把数据库查询结果按某个字段排序输出,这是一个在实际使用中经常碰到的问题,如何把数据库查询结果的静态排序输出转......
缓冲区溢出攻击是近年来最主要的安全问题之一，攻击者利用缓冲区溢出漏洞执行远程代码，从而达到攻击的目的。shellcode作为攻击的载......
1进程是什么 进程为应用程序的运行实例，是应用程序的一次动态执行。我们可以简单地理解为：它是操作系统当前运行的执行程序。在系统......
对嵌入式系统中单线程应用程序的动态执行情况进行研究探讨,以EFI Shell下为例提出了程序动态执行过程中对函数调用深度和执行时间......
恶意软件指的是为了在用户设备上执行未经授权的恶意行为而创建的软件程序[1],这是信息时代所面临的一个极其普遍的安全威胁。因此......
针对模型检测中状态空间爆炸问题,在CPAChecker的抽象谓词检测方法的基础上,提出了一种基于动态执行的检测方法.首先,根据程序的控......
讨论了ＳＱＬ语言在Ｄｅｌｐｈｉ中的应用，着重分析了在程序运行时动态执行ＳＱＬ语句，给出了一个通用的执行ＳＱＬ语句的函数，使程序的开发效率与可读性均大大提高。......
软件漏洞挖掘是软件安全中的一个重要组成部分,而动态法和静态法则是软件漏洞挖掘的关键技术。静态法不需要程序的实际运行,而是通......
《数据结构》或《数据结构与算法》是计算机学科中的一门专业核心基础课程，是从事计算机软件开发及应用人员必备的专业基础。它的研......
模型检测是一种形式化验证方法,目前已经得到了快速的发展和广泛的应用。模型检测的一个基本问题是状态爆炸,对于这个问题,当前存......
