MARC状态：审校 文献类型：中文图书 浏览次数：55
- 题名/责任者:
- 基于程序分析的软件测试与错误定位技术/易秋萍编著
- 出版发行项:
- 北京:北京邮电大学出版社,2023
- ISBN及定价:
- 978-7-5635-6985-4/CNY49.00
- 载体形态项:
- 183页:图;26cm
- 丛编项:
- 信息科学技术前沿丛书
- 个人责任者:
- 易秋萍 编著
- 学科主题:
- 软件-测试-错误校验-定位
- 中图法分类号:
- TP311.55
- 相关题名附注:
- 英文题名取自封面
- 书目附注:
- 有书目 (第164-183页)
- 提要文摘附注:
- 本书共9章, 其主要内容包括程序分析技术、符号执行技术、软件测试与错误定位技术、基于执行路径的最弱前置条件计算、基于后缀路径摘要的符号执行加速、基于反馈驱动的增量符号执行、级联式错误定位方法、演化软件错误定位方法和符号执行指导的并行程序分析。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP311.55/624 | 60336112 |  临安自科(N-Z)(2F)(信息工程学院)
|
可借 | 临安自科(N-Z)(2F)(信息工程学院) | |
| TP311.55/624 | 60336113 | 临安自科(N-Z)(2F)(信息工程学院)
|
可借 | 临安自科(N-Z)(2F)(信息工程学院) | |
| TP311.55/624 | 72565189 | 自然书库（3F东）
|
可借 | 自然书库（3F东） | |
| TP311.55/624 | 72565190 | 自然书库（3F东）
|
可借 | 自然书库（3F东） | |
| TP311.55/624 | 72565191 | 自然书库（3F东）
|
可借 | 自然书库（3F东） |
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到： 管理书架