提取不可满足问题核

来源 :第十届全国容错计算机学术会议 | 被引量 : 0次 | 上传用户：wjlayt

【摘要】

：

自动测试产生技术,以及形式验证中的模型检验,等价性检验中的很多关键问题可以借助可满足问题得到有效的解决,本文研究了提取不可满足问题核的算法问题,并对目前存在的识别极

【作者】

：

邵明李光辉李晓维

【机构】

：

中国科学院计算技术研究所信息网络室

【出处】

：

第十届全国容错计算机学术会议

【发表日期】

：

2003年期

【关键词】

：

提取可满足问题算法问题形式验证求解过程测试产生分解图等价性识别模型技术

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

自动测试产生技术,以及形式验证中的模型检验,等价性检验中的很多关键问题可以借助可满足问题得到有效的解决,本文研究了提取不可满足问题核的算法问题,并对目前存在的识别极小不可满足问题以及提取不可满足问题核的各种算法进行了回顾,并重点分析了怎样利用可满足问题的完全算法求解过程中产生的分解图来进行提取不可满足核的算法.

其他文献

插件技术应用于计算机软件技术中的价值探索

插件(Plug-in,又称Addin、Add-in、Addon或Add-on,又译外挂)是一种遵循一定规范的应用程序接口编写出来的程序,分层(Tiered)就是将数据存储在不同层级的介质中,并在不同的介

期刊

插件技术计算机软件软件性能

软件内建自测试中的测试数据生成方法

软件内建自测试是一种新型的软件测试方法,它包括模板和测试数据生成两部分.本文研究了其中的测试数据生成方法,首先在系统的模板中得到需要测试的程序块信息,然后通过一系列

会议

软件测试测试用例程序块二叉树测试数据生成软件质量

无线新贵 ASUS RT-AC66U EA-N66

目前市面上802.11ac规格的无线局域网设备并不多见,华硕RT-AC66U以及EA-N66网卡是较早形成配套销售的产品。产品信息价格RT-AC66U+EA-N662550元厂商华硕电话4006006655网址ww

期刊

无线局域网局域网设备华硕信息价格数据传输速率宽带路由器无线路由器无线网卡路由器网址

软件的可测试性分析方法述评

软件测试是软件工程领域中重要组成部分.随着软件规模的不断扩大,测试工作的复杂性也不断升高,而改善、提高软件可测试性则是降低测试复杂性的有效手段.为达到这一目标,首先

会议

Case Report of an Endodermal Sinus Vaginal Tumor in an Infant Girl

Case Report An female infant patient, aged 8 months old, suffered from irregular colporrhagia for a period of 1 month after which she was taken to our hospital

期刊