MARC状态：审校 文献类型：中文图书 浏览次数：12
- 题名/责任者:
- 基于程序分析的软件测试与错误定位技术/易秋萍编著
- 出版发行项:
- 北京:北京邮电大学出版社,2023
- ISBN及定价:
- 978-7-5635-6985-4/CNY49.00
- 载体形态项:
- 183页:图;26cm
- 丛编项:
- 信息科学技术前沿丛书
- 个人责任者:
- 易秋萍 编著
- 学科主题:
- 软件-测试-错误校验-定位
- 中图法分类号:
- TP311.55
- 相关题名附注:
- 英文题名取自封面
- 书目附注:
- 有书目 (第164-183页)
- 提要文摘附注:
- 本书共9章, 其主要内容包括程序分析技术、符号执行技术、软件测试与错误定位技术、基于执行路径的最弱前置条件计算、基于后缀路径摘要的符号执行加速、基于反馈驱动的增量符号执行、级联式错误定位方法、演化软件错误定位方法和符号执行指导的并行程序分析。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 校区—馆藏地 | 书刊状态 | 还书位置 |
| TP311.55/56 | S3889717 | 总馆—滁州校区自然书库 | 可借 | 滁州校区自然书库 | |
| TP311.55/56 | S3889718 | 总馆—滁州校区自然书库 | 可借 | 滁州校区自然书库 | |
| TP311.55/56 | S3889719 | 总馆—滁州校区自然书库 | 可借 | 滁州校区自然书库 | |
| TP311.55/56 | S3821418 | 总馆—工业技术书库（龙湖） | 可借 | 工业技术书库（龙湖） | |
| TP311.55/56 | S3821419 | 总馆—工业技术书库（龙湖） | 可借 | 工业技术书库（龙湖） | |
| TP311.55/56 | S3821420 | 总馆—工业技术书库（龙湖） | 可借 | 工业技术书库（龙湖） | |
| TP311.55/56 | S3857868 | 总馆—自然书库（凤阳） | 可借 | 自然书库（凤阳） | |
| TP311.55/56 | S3857869 | 总馆—自然书库（凤阳） | 可借 | 自然书库（凤阳） | |
| TP311.55/56 | S3857870 | 总馆—自然书库（凤阳） | 可借 | 自然书库（凤阳） |
显示全部馆藏信息