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

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

【技术实现步骤摘要】

本专利技术属于计算机软件测试领域,特别是涉及ー种JavaScript函数正确性的测试设计、实现和运行方法。
技术介绍
JavaScript语言是一种广泛应用于互联网应用程序的脚本语言，JavaScript语言具有很好的表达能力和灵活性，使用JavaScript语言可以提高软件系统的开发效率和开发速度，提高软件系统的可读性和可重用性。函数是(function)是JavaScript语言的第一类对象,JavaScript程序由ー组函数组成，如果能够测试JavaScript函数自身的正确性和JavaScript函数组合的正确性,就 可以有效的测试JavaScript程序的正确性。JavaScript语言支持动态类型(dynamical Iy typed)和隐式类型转换(impliedtype conversion),这两个语法特征使得JavaScript函数的相关变量在运行时类型和行为不确定，影响JavaScript函数自身的正确性和函数组合的正确性。现有的函数测试方法基于单ー的函数契約，只能规约和测试类型确定的函数上下文，不能匹配JavaScript语言的动态类型和隐式类型转换的语法特本文档来自技高网...

【技术保护点】
一种使用多函数契约测试JavaScript函数正确性的方法，其特征在于：包括以下步骤：步骤S01：根据目标JavaScript函数的函数上下文中相关变量在运行时的可能类型和可能值设计多个函数契约，对于目标函数的类型正确性和行为正确性分别进行规约，步骤S02：将步骤S01设计得到的多个函数契约转换为普通的JavaScript对象数组，并生成对目标函数运行时的监控代码，步骤S03：当目标JavaScript函数被调用时，运行时监控代码根据提出的契约检测算法测试目标JavaScript函数的正确性，在发现特定类型的错误时抛出相应的异常。

【技术特征摘要】

【专利技术属性】
技术研发人员：吕嘉，吴明晖，金永霞，
申请(专利权)人：河海大学常州校区，
类型：发明
国别省市：