约束求解相关论文
符号执行是一种程序分析技术，通过收集程序路径上约束条件并利用约束求解器生成高覆盖率的测试用例，能发现深层次程序错误的优势。首......
现今信息技术已经渗透于科学研究、工业生产以及日常生活的方方面面.现有事实表明,许多实际问题最终均可以归结或部分归结为非线性......
多线程编程模型和异步事件处理机制的引入使得安卓应用的执行行为具有不确定性。若两个事件以预期之外的顺序访问同一个共享对象时......
随着多核处理器的普及和移动互联网的蓬勃发展,并发程序变得越来越流行。而由于并发程序的复杂性,并发缺陷广泛存在与并发程序之中......
多线程编程和异步事件处理的支持使得安卓应用的执行行为具有不确定性。若两个未经正确同步的事件对某一共享内存单元的访问可并发......
程序缺陷自动修复是指针对程序中存在的缺陷,自动生成相应的程序补丁,进而使程序恢复正常运行.首先,根据补丁生成方式的不同,将程......
当今时代,软件漏洞被看作一种战略资源受到攻防双方的积极关注,因此软件漏洞挖掘已成为网络安全研究领域的焦点。二进制程序分析技......
源代码缺陷检测技术作为一种重要的软件测试技术,具有缺陷检测效率高、故障定位准确和自动化程度高等特性。然而人们在实际应用该......
针对电力系统中存在的暂态稳定问题，本文提出了一种不受系统模型限制的电力系统动态安全调度的新算法。该算法基于关键线路有功潮流......
采用几何推理法求解虚拟设计中的装配约束问题,提出并构造了相应的自由度分析算法,无需建立和求解大型分线性方程组,而能够有效地......
整数漏洞是重要安全威胁之一.以C源代码为研究对象,提出了一种基于静态插装和约束求解的整数漏洞检测方法:首先定位C源代码序中可......
本文分析并提出了从领域视图构建协同设计约束网络的模型,并研究了基于xml约束信息的表达.在构建约束网络的基础上,本文用区间算法......
本文采用几何推理法求解模具装配约束,提出并构造了相应的自由度分析算法,无需建立和求解大型分线性方程组,而能够有效地求解装配......
该文介绍了约束逻辑程序设计的发展现状,讨论了有穷论域约束逻辑程序设计中所采用的各种技术,包括约束建模、搜索控制以及优化等,......
静态程序分析具有良好的覆盖率,但是它不可避免地会导致一些误报。对一个流行的程序分析工具CQual进行了改进,添加了对结构成员之......
在模具的虚拟设计中，模具的装配设计阶段是一个十分重要的阶段，对后续工作影响很大。模具的装配设计的实质是参与装配的各个部件按照......
作为软件测试领域的一个基本问题和热点问题,面向路径的测试用例自动生成有着特殊的重要意义.面向路径的测试用例生成本质上是一个......
任务规划系统是月球车地面控制的重要组成部分，对月球车的安全运行以及探测任务的完成具有至关重要的作用。针对单目标点路径优化模......
图示是拓扑和几何关系的一种直接表示。符号推理一般应用替代表示,而图示推理常应用直接表示。因而,研究结合替代表示与直接表示的......
随着软件技术的发展，程序的规模逐渐增大，复杂度也逐渐增加。在软 件的开发过程中，完全依靠人力进行分析测试效率太低，而且不能保证软......
针对特征造型系统智能化的一系列问题,通过对目前特征造型方法与理论归纳分析的基础上,首先,研究了混合特征建模系统与基于特征的......
特征造型技术是新一代CAD／CAM集成系统的关键技术之一,是产品模型技术的核心.基于特征的参数化技术己成为当今CAID系统的主要依赖手......
随着软件技术的发展，程序的规模逐渐增大，复杂度也逐渐增加。在软件的开发过程中，完全依靠人力进行分析测试效率太低，而且不能保证软件......
针对传统CAD系统在参数化设计以及特征编辑等方面的一系列问题，通过对参数化设计方法和特征造型理论的研究，并结合哈尔滨理工大学计......
约束求解(CSP)是计算机理论界历史悠久的问题,有着广泛的应用。本论文集中讨论了两种CSP问题:SAT和图染色问题,介绍了比较新的SAT......
混合约束问题具有广泛的应用，如分析基于状态的需求规约、生成软件的测试用例、分析并行化的数据相关性问题等等。对于这类问题的求......
测试程序的自动生成技术在现代通用型微处理器和大规模硬件系统的验证工作中发挥着主要的作用.如何随机生成大量而且高效的测试程......
加密协议是信息安全的基石，加密协议能否实现用户所需的安全目标是所有加密协议设计者、使用者所关心的问题，但是加密协议的验证却是......
字符串是很多编程语言都包含的数据类型，而且字符串在实际程序中被广泛使用，比如web应用程序。字符串约束求解是对操作字符串的程序......
学位
在软件测试的过程中,采用合适的方式构造测试用例,是非常重要的一环。传统的测试用例生成方式主要由测试人员手动生成或者通过随机......
程序验证是计算机程序设计领域的传统研究课题，也是当前非常热门的可信计算研究的重点方向之一。然而，对于常见的绝大多数程序而言，完......
当前产品参数化模型的问题在于:1)将交互设计绘图与约束建模过程分离,没有充分考虑设计意图,导致约束的表达能力低,约束模型求解效......
特征造型技术是新一代CAD/CAM集成系统的关键技术之一,是产品模型技术的核心。建立基于特征的统一而完备的产品信息模型,能够从根......
本文研究了几何逼近和几何求解中的三个问题。 第一章中，首先回顾了国内外几何逼近和几何求解的相关研究发展。第二章中，我们讨论......
本文是针对这种现状来展开研究的。主要是研究图形的演化和自适应扩展，具体工作如下所示：首先研究了图形的内部数据结构，了解了描述......
特征造型技术是新一代CAD/CAM集成系统的关键技术之一，是产品模型设计的核心。参数化技术和变量化技术是提高特征造型系统设计效率......
软件漏洞是软件在设计实现时由于软件功能自身的复杂性和抽象性，导致在具体实现时由于考虑不周全所引起的缺陷。软件漏洞所造成的危......
目前的语义特征造型系统中，由于特征模型约束求解的速度缓慢，还不能支持特征模型直接操作的特性。本文针对上述的存在的问题，提出了语......
二十世纪90年代,CAD技术正从以实体造型为核心的“几何CAD”向以语义特征造型为中心的“应用CAD”发展。作为CAD系统的重要部分,约......
特征造型是新一代CAD/CAM集成系统的关键技术之一，是产品模型设计的核心。虽然一些特征造型系统能够处理特定或是相对简单的自由曲......
近年来,计算机软件的应用已经渗入到了国防、航天、交通和医疗等各个关键领域,因此提高软件的质量已成为一项十分紧迫的任务。软件......
射频识别(RFID)作为一种高性价比的传感识别的使能技术，日渐在零售、制药、医疗保健和物流管理等领域得到各种大规模应用。然而，RFID......
自二十世纪以来,计算机技术作为高新科技行业的代表,被应用到人类社会生产生活的各个环节,在许许多多重要的领域发挥着不可替代的......
给定某并发程序执行轨迹,基于约束求解的并发测试方法将并发错误模式和执行轨迹的可行性要求转化为一组约束条件,通过约束求解生成......
从上个世纪至今,计算机的各个领域都取得了长足的进步,软件作为存储和管理信息的工具,已广泛深入到现实社会的各个领域,成为整个社......
