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

• 作者: 丁岳伟 彭金梅
• 来源期刊: 计算机系统应用
• 关键词: 形式化描述 测试序列生成 状态转换图 B 方法 效用谓词
• 年，卷（期）: 2012,（5）
• 页码范围: 77-81
• 字数: 3168字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	丁岳伟	上海理工大学光电信息与计算机工程学院	57	340	11.0	15.0
2	彭金梅	上海理工大学光电信息与计算机工程学院	1	2	1.0	1.0