公开(公告)号：CN102708053B

公开(公告)日：2017-10-20

申请号：CN201210127864.0

申请日：2012-04-27

Applicant: 北京邮电大学

Inventor： 王雅文 ,  宫云战 ,  周傲 ,  黄俊飞 ,  金大海 ,  唐容 ,  孙华衿

IPC: G06F11/36

Abstract: 本发明公开了一种程序路径中确定函数调用的上下文环境影响的方法，该方法将返回值、被调用函数重定义的全局变量、指针或引用类型参数作为被调用函数的输出型变量，并采用路径敏感和上下文敏感的符号化区间运算技术，计算被调用函数在路径上各调用点输出型变量必需满足的上下文条件，最后根据该条件生成模拟替换函数，模拟替换函数根据各调用点的条件动态调整输出型变量的取值，保证程序按照目标路径执行。该方法可以用于自动化单元测试中面向路径的测试，包括面向全路径测试、面向子路径测试和面向目标测试等，实验证明，采用本发明所述方法，能够保证被测程序按照目标路径执行，并提高单元测试效率。

公开(公告)号：CN102708053A

公开(公告)日：2012-10-03

申请号：CN201210127864.0

申请日：2012-04-27

Applicant: 北京邮电大学

Inventor： 王雅文 ,  宫云战 ,  周傲 ,  黄俊飞 ,  金大海 ,  唐容 ,  孙华衿

IPC: G06F11/36

Abstract: 本发明公开了一种程序路径中确定函数调用的上下文环境影响的方法，该方法将返回值、被调用函数重定义的全局变量、指针或引用类型参数作为被调用函数的输出型变量，并采用路径敏感和上下文敏感的符号化区间运算技术，计算被调用函数在路径上各调用点输出型变量必需满足的上下文条件，最后根据该条件生成模拟替换函数，模拟替换函数根据各调用点的条件动态调整输出型变量的取值，保证程序按照目标路径执行。该方法可以用于自动化单元测试中面向路径的测试，包括面向全路径测试、面向子路径测试和面向目标测试等，实验证明，采用本发明所述方法，能够保证被测程序按照目标路径执行，并提高单元测试效率。