MARC状态：审校 文献类型：中文图书 浏览次数：41
- 题名/责任者:
- 基于程序分析的软件测试与错误定位技术/易秋萍编著
- 出版发行项:
- 北京:北京邮电大学出版社,2023
- ISBN及定价:
- 978-7-5635-6985-4/CNY49.00
- 载体形态项:
- 183页:图;26cm
- 丛编项:
- 信息科学技术专著丛书
- 个人责任者:
- 易秋萍 编著
- 学科主题:
- 软件-测试-错误校验-定位
- 中图法分类号:
- TP311.55
- 相关题名附注:
- 英文并列题名取自封面
- 书目附注:
- 有书目 (第164-183页)
- 提要文摘附注:
- 本书主题为基于最弱前置条件计算的软件测试及错误定位分析方法研究。主要包括以下几个方面的内容：一、首先对基于程序分析的软件测试及错误定位研究的总体情况进行分析。二、其次，全面分析介绍与软件测试以及错误定位相关的国内外研究现状。三、接着，介绍基于程序执行路径的最弱前置条件计算框架。包括对被测程序语言的介绍及定义，基于执行路径的最弱前置条件计算算法的介绍等方面内容。四、随后，介绍基于最弱前置条件计算框架的有效软件测试方法。五、随后，介绍基于最弱前置条件计算框架的有效错误定位分析方法。六、最后，总结并展望软件测试以及错误定位分析方法的发展方向。
全部MARC细节信息>>
9楼南电信软件工程借阅室