约束求解器相关论文
软件测试是确保软件质量的重要方法,基本的技术手段是利用不同的测试案例去执行被测程序,测试案例的选取密切地关系着软件测试的质......
CIMATRON_ E是以色列CIMATRON公司新近推出的全WINDOWS界面的CAD/CAM一体化软件。在草图约束上采用D-Cubed/DCM草图约束求解器,实......
本文讨论了我们自行开发的ＢＰＵ－ＣＬＰ系统中推理机与约束求解器的协调技术，协调主要发生在回溯机制中。本文描述的方法妥善地解决了在存储优化......
CIMATRON E是以色列CIMATRON公司新近推出的全WINDOWS界面的CAD/CAM一体化软件。在草图约束上采用D-Cubed/DCM草图约束求解器,实体......
程序分析是主要的程序属性分析方法,在变量依赖关系、路径覆盖率、测试用例约简等方面有广泛的应用,并取得了大量研究成果。目前,......
提出了一种基于约束的造型系统模型，通过约束网、约束求解器与实体特征表示、实体的边界表示，获得一致的实时更新的实体，此系统将极大......
导向式灰盒模糊测试是一种能够快速生成测试用例,达到给定程序目标区域并且发现漏洞的模糊测试技术。针对当前导向式模糊测试难以......
针对目前因勒索软件造成网络安全事故的问题,在对大量勒索软件样本进行分析的基础上,提出一种基于动态符号执行的勒索软件检测与分......
