一种使用多函数契约测试JavaScript函数正确性的方法

发明专利无效专利

申请号：
CN201210216054.2
IPC分类号：G06F11/36
申请日期：
2012-06-27
申请人：
河海大学常州校区

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	一种使用多函数契约测试JavaScript函数正确性的方法
申请号	CN201210216054.2	申请日期	2012-06-27
法律状态	权利终止	申报国家	中国
公开/公告日	2012-11-07	公开/公告号	CN102768643A
优先权	暂无	优先权号	暂无
主分类号	G06F11/36 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F11/00 错误检测；错误校正；监控（在基于记录载体和传感器之间的相对运动而实现的信息存储中的错误检测、校正或监控所用的方法或装置入 G11B 20/18；监控，即，监控记录或重现的进程入G11B 27/36；静态存储中所用的方法或装置入G11C29/00）〔1，4，2006.01〕 G06F11/36 通过软件的测试或调试防止错误〔7〕	IPC分类号	G;0;6;F;1;1;/;3;6查看分类表>
申请人	河海大学常州校区	申请人地址	江苏省常州市新北区晋陵北路200号变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	河海大学常州校区	当前权利人	河海大学常州校区
发明人	吕嘉;吴明晖;金永霞
代理机构	南京纵横知识产权代理有限公司	代理人	董建林

摘要

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

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供