公开(公告)号：CN102768643B

公开(公告)日：2015-04-01

申请号：CN201210216054.2

申请日：2012-06-27

Applicant: 河海大学常州校区

Inventor： 吕嘉 ,  吴明晖 ,  金永霞

IPC: G06F11/36

Abstract: 本发明公开了一种使用多函数契约测试JavaScript函数正确性的方法，包括以下步骤：根据目标JavaScript函数上下文中相关变量的运行时可能类型和可能值，设计多个函数契约；将设计完成的多个函数契约转换为JavaScript对象数组，并生成目标JavaScript函数的运行时监控代码；当目标JavaScript函数被调用时，运行时监控代码根据一个契约检测算法检测目标JavaScript函数的正确性，在发现特定类型的错误时抛出相应的异常。本发明测试方法能够匹配JavaScript语言的动态类型和隐式类型转换的语法特征，当目标JavaScript函数被调用时，可以有效测试目标JavaScript函数的正确性。

公开(公告)号：CN102768643A

公开(公告)日：2012-11-07

申请号：CN201210216054.2

申请日：2012-06-27

Applicant: 河海大学常州校区

Inventor： 吕嘉 ,  吴明晖 ,  金永霞

IPC: G06F11/36

Abstract: 本发明公开了一种使用多函数契约测试JavaScript函数正确性的方法，包括以下步骤：根据目标JavaScript函数上下文中相关变量的运行时可能类型和可能值，设计多个函数契约；将设计完成的多个函数契约转换为JavaScript对象数组，并生成目标JavaScript函数的运行时监控代码；当目标JavaScript函数被调用时，运行时监控代码根据一个契约检测算法检测目标JavaScript函数的正确性，在发现特定类型的错误时抛出相应的异常。本发明测试方法能够匹配JavaScript语言的动态类型和隐式类型转换的语法特征，当目标JavaScript函数被调用时，可以有效测试目标JavaScript函数的正确性。