约束求解相关论文
符号执行是一种程序分析技术，通过收集程序路径上约束条件并利用约束求解器生成高覆盖率的测试用例，能发现深层次程序错误的优势。首......
现今信息技术已经渗透于科学研究、工业生产以及日常生活的方方面面.现有事实表明,许多实际问题最终均可以归结或部分归结为非线性......
多线程编程模型和异步事件处理机制的引入使得安卓应用的执行行为具有不确定性。若两个事件以预期之外的顺序访问同一个共享对象时......
随着多核处理器的普及和移动互联网的蓬勃发展,并发程序变得越来越流行。而由于并发程序的复杂性,并发缺陷广泛存在与并发程序之中......
多线程编程和异步事件处理的支持使得安卓应用的执行行为具有不确定性。若两个未经正确同步的事件对某一共享内存单元的访问可并发......
当今时代,软件漏洞被看作一种战略资源受到攻防双方的积极关注,因此软件漏洞挖掘已成为网络安全研究领域的焦点。二进制程序分析技......
源代码缺陷检测技术作为一种重要的软件测试技术,具有缺陷检测效率高、故障定位准确和自动化程度高等特性。然而人们在实际应用该......
图示是拓扑和几何关系的一种直接表示。符号推理一般应用替代表示,而图示推理常应用直接表示。因而,研究结合替代表示与直接表示的......
随着软件技术的发展，程序的规模逐渐增大，复杂度也逐渐增加。在软 件的开发过程中，完全依靠人力进行分析测试效率太低，而且不能保证软......
随着软件技术的发展，程序的规模逐渐增大，复杂度也逐渐增加。在软件的开发过程中，完全依靠人力进行分析测试效率太低，而且不能保证软件......
针对传统CAD系统在参数化设计以及特征编辑等方面的一系列问题，通过对参数化设计方法和特征造型理论的研究，并结合哈尔滨理工大学计......
约束求解(CSP)是计算机理论界历史悠久的问题,有着广泛的应用。本论文集中讨论了两种CSP问题:SAT和图染色问题,介绍了比较新的SAT......
在软件测试的过程中,采用合适的方式构造测试用例,是非常重要的一环。传统的测试用例生成方式主要由测试人员手动生成或者通过随机......
当前产品参数化模型的问题在于:1)将交互设计绘图与约束建模过程分离,没有充分考虑设计意图,导致约束的表达能力低,约束模型求解效......
特征造型技术是新一代CAD/CAM集成系统的关键技术之一,是产品模型技术的核心。建立基于特征的统一而完备的产品信息模型,能够从根......
本文研究了几何逼近和几何求解中的三个问题。 第一章中，首先回顾了国内外几何逼近和几何求解的相关研究发展。第二章中，我们讨论......
本文是针对这种现状来展开研究的。主要是研究图形的演化和自适应扩展，具体工作如下所示：首先研究了图形的内部数据结构，了解了描述......
特征造型技术是新一代CAD/CAM 集成系统的关键技术之一,是产品模型设计的核心。建立基于特征统一而完备的产品信息模型,能够从根本......
特征造型技术是新一代CAD/CAM集成系统的关键技术之一，是产品模型设计的核心。参数化技术和变量化技术是提高特征造型系统设计效率......
目前的语义特征造型系统中，由于特征模型约束求解的速度缓慢，还不能支持特征模型直接操作的特性。本文针对上述的存在的问题，提出了语......
二十世纪90年代,CAD技术正从以实体造型为核心的“几何CAD”向以语义特征造型为中心的“应用CAD”发展。作为CAD系统的重要部分,约......
特征造型是新一代CAD/CAM集成系统的关键技术之一，是产品模型设计的核心。虽然一些特征造型系统能够处理特定或是相对简单的自由曲......
近年来,计算机软件的应用已经渗入到了国防、航天、交通和医疗等各个关键领域,因此提高软件的质量已成为一项十分紧迫的任务。软件......
自二十世纪以来,计算机技术作为高新科技行业的代表,被应用到人类社会生产生活的各个环节,在许许多多重要的领域发挥着不可替代的......
给定某并发程序执行轨迹,基于约束求解的并发测试方法将并发错误模式和执行轨迹的可行性要求转化为一组约束条件,通过约束求解生成......
从上个世纪至今,计算机的各个领域都取得了长足的进步,软件作为存储和管理信息的工具,已广泛深入到现实社会的各个领域,成为整个社......
面向对象编程语言提供了继承、封装、多态的特性,提高了代码的重用性、安全性、维护性,给开发人员带来较大便利的同时,也给软件测......
随着移动互联网的发展,应用软件的数量在不断增长,同时针对软件程序的逆向攻击也越来越多。目前基于符号执行的程序分析技术能够对......
面向路径的测试用例自动生成技术的发展在一定程度上解决了软件测试过程中手动测试效率低和失误率高的问题,是软件测试领域的研究......
各种经典、元启发式约束求解算法在求解NP难题(NP-hard)时的性能通常取决于其参数配置。事实上,为一个算法配置一个合适的参数一直......
Web服务作为一种面向服务架构的新型分布式计算模型,在分布式平台上发挥着越来越重要的作用。作为Web服务组合的事实标准,BPEL利用......
符号执行是在上世纪70年代提出的一种程序分析技术,用于检验程序是否违反某些属性,因为其可以在复杂软件中寻找深度错误而受到人们......
单元测试对保证软件质量和提高软件可靠性具有重要作用。传统的约束求解技术为被测函数自动生成测试用例时,变量取值范围往往采用......
为保证正确性,并发程序的执行过程中必须保证存在一致性关系的共享变量得到原子性执行。若对存在一致性关系的共享变量的访问语句......
目前主流的CAD软件都是基于参数化或变量化的特征造型系统,而在特征造型系统中特征修改后的有效性维护是特征造型的关键性问题,几......
约束求解耗时一直是符号执行的瓶颈之一,约束求解结果重用是一种有效提高符号执行效率的方法.本文对约束求解重用技术Green、Klee-......
该文首先简述了国内外基于约束的设计领域的最新动态和研究成果,总结了基于约束的CAD系统应具备的功能要求和发展趋势.然后对系统......
为规避传统大规模生产模式造成的产品囤积等问题,越来越多的企业通过客户需求的订单方式提供产品,由此产生的大规模定制问题已成为......
随着经济的全球化和制造的全球化,制造企业为了在竞争中求生存,必须尽力缩短产品开发周期,提高产品质量,降低产品成本,其中产品的......
基于约束的设计技术按照实现方式的不同可以分为参数化技术和变量化技术.变量化技术的特点是采用与过程无关的陈述式方式处理约束......
计算机辅助设计(Computer Aided Design,简称CAD)技术是一种利用计算机的硬件和软件来进行产品的建模、修改、分析和优化的技术。......
学位
平行分批排序是重要的现代排序模型之一.其特点是多个工件可以放置在同一个工件批中同时进行加工，每个工件批的加工时间就等于该批......
协同设计是由多功能小组共同参与到产品开发过程中的设计方式,良好的任务关联和分解是协同设计的前提和保证,任务分解使多功能小组......
文章针对参数化技术中过约束和欠约束的求解和图形设计问题，提出了一种新的基于图形数据库的变量化设计方法。该方法依据一组变量化......
