The algorithm of making minimum truth-table from Boolean expression is provided and its application in designing test with a coverage testing tool for getting high coverage is presented.

• 研究了从一个布尔表达式生成最小真值表的算法；阐述了在覆盖测试工具中利用此算法辅助设计测试用例的应用问题；以此提高代码覆盖率.