-
公开(公告)号：CN101840372A
公开(公告)日：2010-09-22
申请号：CN201010185904.8
申请日：2010-05-28
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开一种应用符号分析的软件测试方法，该方法包括：A、给出一个符号运算系统，包括符号表达式的表示、化简、运算和计算符号表达式的取值区间；B、给出将程序中各变量间的具体运算映射为符号运算的方法；C、给出程序分支语句对符号取值限定区间的计算方法；D、给出符号分析在程序控制流图上的计算方法。应用本发明的应用符号分析的软件测试方法，能够处理软件静态测试中的变量相关性问题，精确地计算每个程序位置上的变量取值信息，提高软件静态测试的准确性。
Search Results
91
records
(took 0.019 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
