M算法用计算机实现,一种利用扩展广义表来实现逻辑表达式自动推导的算法

一种利用扩展广义表来实现逻辑表达式自动推导的算法

探讨了如何将数据结构中广义表进行扩展 ,并利用这个扩展广义表来设计逻辑表达式

(本文共4页)

阅读全文>>

笔者主要介绍了如何基于调度场算法将长逻辑表达式解析成表达树,并在在VB.net的TreeView控件上显示,从而实现逻辑关系的...

(本文共6页)

阅读全文>>

在逻辑电路的设计中,人们根据所提出的实际问题列出了相应的逻辑表达式,但当我们用逻辑电路来实现表达式所反映的逻辑功能时,自然会提出下述问题:在逻辑功能不变...

(本文共6页)

阅读全文>>

本文提供了一种利用电子计算机对逻辑表达式进行化简的方法,...

(本文共12页)

阅读全文>>

面向路径的测试用例自动生成技术的发展在一定程度上解决了软件测试过程中手动测试效率低和失误率高的问题,是软件测试领域的研究热点。约束系统的建立和求解是面向路径的测试用例生成过程中非常重要的一环,对其高效率的求解是测试用例自动生成问题的一个难点。首先,围绕面向路径的逻辑表达式约束求解问题,提出了逻辑表达式约束求解框架。该框架根据不同的覆盖准则采取不同的求解算法:语句、分支覆盖准则中,在构建的初始爬山空间二叉搜索树上利用改进的爬山法搜索求解;修正的条件判定覆盖准则中,利用独立影响对将逻辑表达式约束转化为原子表达式约束集求解。求解得到的变量和与其映射的削减区间集,作为分支限界测试用例搜索过程的输入。其次,针对逻辑表达式约束的求解方法提出了一些优化策略:利用真值表项优化策略和启发式矛盾处理策略提高修正条件判定覆盖准则中逻辑表达式约束的求解能力;利用剪枝算法缩减二叉搜索树的规模;利用基于变量依赖关系的原子表达式排序算法增强区间削减的能力;利...

(本文共64页)

本文目录 |

阅读全文>>

探讨了如何利用二叉树来设计逻辑表达式在计算机上的逻辑结构和...

(本文共4页)

阅读全文>>