| 暂存书架(0) | 登录

MARC状态:审校 文献类型:中文图书 浏览次数:63

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

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架