MARC状态：订购 文献类型：中文图书 浏览次数：1
- 题名/责任者:
- 基于程序分析的软件测试与错误定位技术/易秋萍编著
- 出版发行项:
- 北京:北京邮电大学出版社,2023
- ISBN及定价:
- 978-7-5635-6985-4/CNY49.00
- 载体形态项:
- 183页;26cm
- 丛编项:
- 信息科学技术前沿丛书
- 个人责任者:
- 易秋萍 编著
- 学科主题:
- 软件-测试-错误校验-定位
- 中图法分类号:
- TP311.55
- 相关题名附注:
- 封面英文题名：Software testing and fault localization technology based on program analysis
- 提要文摘附注:
- 本书共9章，其主要内容包括程序分析技术、符号执行技术、软件测试与错误定位技术、基于执行路径的最弱前置条件计算、基于后缀路径摘要的符号执行加速、基于反馈驱动的增量符号执行、级联式错误定位方法、演化软件错误定位方法和符号执行指导的并行程序分析。
全部MARC细节信息>>