[发明专利]一种增量组合JavaScript程序模块的方法

摘要

本发明公开了一种增量组合JavaScript程序模块的方法，本发明包括以下步骤：根据JavaScript程序模块是否包含动态语法特性，将程序模块划分为静态模块和动态模块；使用信赖-保证方法定义静态模块的模块契约，使用程序证明方法验证静态模块是否满足其模块契约；如果静态模块的执行过程中需要执行动态模块，动态模块根据静态模块的模块契约插入运行时检查代码；在动态模块执行时运行时检查代码，确保动态模块的执行满足静态模块的模块契约。本发明的组合方法能够有效的契合JavaScript语言的动态语法特性和应用场合，支持增量组合JavaScript程序。

主权项

 一种增量组合JavaScript程序模块的方法，其特征在于包括如下步骤：步骤1.将JavaScript程序模块分为静态模块M和动态模块D：静态模块M不包含动态语法特性，支持程序静态分析；动态模块D包含动态语法特性，必须在运行时进行检查；步骤2.使用信赖‑保证方法定义静态模块M的模块契约，模块契约包含三个部分：使用假设条件定义模块执行的前提条件;使用保证条件定义模块执行的期望条件；如果静态模块的执行过程插入动态模块，使用依赖条件约束动态模块的执行过程；步骤3.使用程序证明方法验证静态模块M是否满足其模块契约，验证静态模块M相对于其模型契约满足正确性；所述的模块契约包括：假设条件、保证条件和依赖条件；步骤4.根据静态模块M的模块契约，在动态模块D中插入运行时检查代码：一部分检查代码负责检查静态模块M的假设条件在依赖条件下是否是稳定的，另一部分检查代码负责检查静态模块M的保证条件在依赖条件下是否是稳定的，然后执行步骤5；步骤5.运行JavaScript程序的模块，如果执行过程插入动态模块，执行相应的运行时检查代码，如果正确则是正确的模块组合，如果不正确则是错误的模块组合。