| 发明名称 | 应用符号分析的软件测试方法 | ||
| 摘要 | 本发明公开一种应用符号分析的软件测试方法，该方法包括：A、给出一个符号运算系统，包括符号表达式的表示、化简、运算和计算符号表达式的取值区间；B、给出将程序中各变量间的具体运算映射为符号运算的方法；C、给出程序分支语句对符号取值限定区间的计算方法；D、给出符号分析在程序控制流图上的计算方法。应用本发明的应用符号分析的软件测试方法，能够处理软件静态测试中的变量相关性问题，精确地计算每个程序位置上的变量取值信息，提高软件静态测试的准确性。 | ||
| 申请公布号 | CN101840372A | 申请公布日期 | 2010.09.22 |
| 申请号 | CN201010185904.8 | 申请日期 | 2010.05.28 |
| 申请人 | 北京邮电大学 | 发明人 | 宫云战;肖庆;杨朝红;金大海;黄俊飞;王雅文;赵云山;宋颖 |
| 分类号 | G06F11/36(2006.01)I | 主分类号 | G06F11/36(2006.01)I |
| 代理机构 | 北京汇泽知识产权代理有限公司 11228 | 代理人 | 程殿军 |
| 主权项 | 一种应用符号分析的软件测试方法，其特征在于，该方法包括：A、给出一个符号运算系统，包括符号表达式的表示、化简、运算和计算符号表达式的取值区间；B、给出将程序中各变量间的具体运算映射为符号运算的步骤；C、给出程序分支语句对符号取值限定区间的计算步骤；D、给出符号分析在程序控制流图上的计算步骤。 | ||
| 地址 | 100088 北京市海淀区西土城路10号 | ||