[发明专利]用于验证软件程序的方法和系统

权利要求书

1.一种在集成开发环境（113）中验证软件程序的计算机实现的方法，包括：

由数据处理系统（100）基于软件程序的规范来生成包括日志记录语句的软件程序的源代码，其中，基于在软件程序的规范中标记的元数据，将日志记录语句附加在软件程序的源代码中的一个或多个位置处，其中，软件程序的规范以建模语言来表示；

执行具有日志记录语句的源代码；

基于日志记录语句在源代码的执行期间生成一个或多个日志文件；

使用一个或多个日志文件以建模语言来生成源代码（500）的表示；以及

使用以建模语言的源代码（500）的表示来验证软件程序的源代码。

2.如权利要求1所述的计算机实现的方法，其中，以过程编程语言来生成软件程序的源代码。

3.如权利要求1所述的计算机实现的方法，其中，验证软件程序的源代码包括：

将以建模语言的源代码（500）的表示与软件程序的规范进行比较，其中软件程序的规范是以建模语言的；

基于比较的结果来确定软件程序的源代码是否符合软件程序的规范；以及

如果软件程序的源代码不符合软件程序的规范，则更改软件程序的源代码。

4.如权利要求1所述的计算机实现的方法，其中，以建模语言的源代码（500）的表示包括统一建模语言（UML）图。

5.如权利要求1所述的计算机实现的方法，其中，软件程序的规范以与系统相关联的不同元素之间的交互的时间顺序来指定系统的行为。

6.如权利要求5所述的计算机实现的方法，其中，在软件程序的源代码的执行期间生成日志文件包括：

在源代码的执行期间基于日志记录语句来确定系统的元素之间的一个或多个交互；以及

以时间顺序将系统的元素之间的一个或多个交互日志记录在日志文件中。

7.一种数据处理系统（100），包括：

处理单元（102）；以及

存储器（104），其耦合到处理单元（102），其中存储器（104）包括模型驱动开发模块（114），模型驱动开发模块（114）被配置成：

基于软件程序的规范来生成包括日志记录语句的软件程序的源代码，其中，基于在软件程序的规范中标记的元数据，将日志记录语句附加在软件程序的源代码中的一个或多个位置处，其中，软件程序的规范以建模语言来表示；

执行具有日志记录语句的源代码；

基于日志记录语句在源代码的执行期间生成一个或多个日志文件；以及

使用一个或多个日志文件以建模语言来生成源代码（500）的表示；

其中，模型驱动开发模块（114）被配置成使用以建模语言的源代码（500）的表示来验证软件程序的源代码。

8.如权利要求7所述的数据处理系统（100），其中，以过程编程语言来生成软件程序的源代码。

9.如权利要求7所述的数据处理系统（100），其中，在验证软件程序的源代码时，模型驱动开发模块（114）被配置成：

将以建模语言的源代码（500）的表示与软件程序的规范进行比较，其中，软件程序的规范是以建模语言的；

确定软件程序的源代码是否符合软件程序的规范；以及

如果软件程序的源代码不符合软件程序的规范，则更改软件程序的源代码。

10.如权利要求7所述的数据处理系统（100），其中，以建模语言的源代码的表示包括统一建模语言（UML）图。

11.如权利要求7所述的数据处理系统（100），其中，软件程序的规范以与系统相关联的不同元素之间的交互的时间顺序来指定系统的行为。