assertion checking--断言检查
用户在程序中嵌入的断言的检查。
audit--审计
一个或一组工作产品的独立检查以评价与规格、标准、契约或其它准则的符合程度。
audit trail--审计跟踪
系统审计活动的一个时间记录。
Automated Testing--自动化测试
使用自动化测试工具来进行测试，这类测试一般不需要人干预，通常在GUI、性能等测试中用得较多。
Backus-Naur Form--BNF范式
一种分析语言，用于形式化描述语言的语法
baseline--基线
一个已经被正式评审和批准的规格或产品，它作为进一步开发的一个基础，并且必须通过正式的变更流程来变更。
Basic Block--基本块
一个或多个顺序的可执行语句块，不包含任何分支语句。
basis test set--基本测试集
根据代码逻辑引出来的一个测试用例集合，它保证能获得100%的分支覆盖。
behaviour--行为
对于一个系统的一个函数的输入和预置条件组合以及需要的反应。一个函数的所有规格包含一个或多个行为。
benchmark--标杆/指标/基准
一个标准，根据该标准可以进行度量或比较。
Beta Testing--Beta测试
在客户场地，由客户进行的对产品预发布版本的测试。这个测试一般是不可控的
big-bang testing--大锤测试/一次性集成测试
非渐增式集成测试的一种策略，测试的时候把所有系统的组件一次性组合成系统进行测试。
文章来源于领测软件测试网 https://www.ltesting.net/
