|
题名:
|
基于程序分析的软件测试与错误定位技术 / 易秋萍编著 , |
|
ISBN:
|
978-7-5635-6985-4 价格： CNY49.00 |
|
语种:
|
chi |
|
载体形态:
|
183页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 北京邮电大学出版社 出版日期： 2023 |
|
内容提要:
|
本书主题为基于最弱前置条件计算的软件测试及错误定位分析方法研究。主要包括以下几个方面的内容：一、首先对基于程序分析的软件测试及错误定位研究的总体情况进行分析。二、其次，全面分析介绍与软件测试以及错误定位相关的国内外研究现状。三、接着，介绍基于程序执行路径的最弱前置条件计算框架。包括对被测程序语言的介绍及定义，基于执行路径的最弱前置条件计算算法的介绍等方面内容。四、随后，介绍基于最弱前置条件计算框架的有效软件测试方法。五、随后，介绍基于最弱前置条件计算框架的有效错误定位分析方法。六、最后，总结并展望软件测试以及错误定位分析方法的发展方向。 |
|
主题词:
|
软件 测试 |
|
中图分类法:
|
TP311.55 版次： 5 |
|
主要责任者:
|
易秋萍 编著 |