形式化B描述测试序列自动生成研究

摘要：

基于严格数学理论的软件形式化规格说明,经过逐层精化,不仅可以让软件开发过程更加有效精准,而且为测试用例测试序列的自动生成提供了最原始可靠的依据.通过B抽象机操作的规范型,依据测试理论,可以将原操作等价于多个效用谓词( effect predication)的形式.按照路径覆盖得到状态转换图,并对状态图做了确定性处理；运用基于状态图的测试准则,生成有效的测试序列,提高测试的有效性和效率.

关键词：形式化描述、测试序列生成、状态转换图、B方法、效用谓词

所属期刊栏目：21

分类号：TP3;U28

在线出版日期：2012-10-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：77-81