关键词: 布尔表达式，基于故障的软件测试，测试策略，测试用例生成，故障类型

Abstract: Boolean expressions play a key role in specifications and programs, and thus significantly affect the correctness of software. How to efficiently test Boolean expressions is an important issue. We first introduced the basic concepts and principle of fault based testing. We then summarized several fault classes of Boolcan expressions and discussed their detection hierarchies. Next, we reviewed several representative fault based testing strategics for Boolcan expressions,and proposed a comparison framework to compare them with respect to the applicability,fault detection capability and reduction of test suites. Finally, we pointed out several future issues based on our observations of limitations on the existing works,and briefly introduced our relevant work in this area.

Key words: Boolean expressions, Fault based testing, Testing strategies, Test case generation, Fault types