winglessbird的博客

复合谓词 是 多个简单谓词 通过 布尔操作符连接成的简单谓词 是 一个 布尔变量 或者是 关系表达式关系表达式 是 多个算术表达式通过 关系操作符连接而成的其中，关系操作符 有6种    >=  =  !=布尔操作符 NOT AND OR XOR

正则的pumping lemma 说如果存在环的话那么就是a* 了,所以对a做某些限制的 比如 n(a) == n(b) 的就一定不是正则语言。 而在软测中有个infeasible path(并且也是在循环中产生的),  先对代码画出CFG图, 然后如果业务要求某个循环至少一次，但是在CFG图中是可以不循环的,  似乎和这个影影约约有些关系...

如果这个表达式有n个操作数, 那么一共有(2^n) * (2^(n-1)) 中情况.因为每个操作数都可以加或者不加!(2^n),并且每个操作数之间都有一个 || 或者 &&(2^(n-1)) .比如 ad那么一共会有2*2 * 2中组合. 所以如果要保证这个式子是正确的话, 还需要测试7种。

BOR算法缩写Boolean OperatoR输入一个singular布尔表达式输出一个约束关系集,使得能检测出所有的 boolean operator错误算法过程 建立语法树并且标号 TNiT_{Ni} 表示使得这个子表达式为true 所对应的约束集合。 FNiF_{Ni} 表示使得这个子表达式为false所对应的约束集合。 Nl表示节点Ni的左节点,Nr表示节点Ni的