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

说明书

公开了用于在集成开发环境（113）中验证软件程序的方法和系统。在一个实施例中，在集成开发环境（113）中验证软件程序的方法包括基于软件程序的规范生成包括日志记录语句的软件程序的源代码。此外，该方法包括执行具有日志记录语句的源代码，以及基于日志记录语句在源代码的执行期间生成一个或多个日志文件。此外，该方法包括基于一个或多个日志文件以建模语言来生成源代码（500）的表示。该方法包括通过将以建模语言的源代码（500）的表示与以建模语言的规范进行比较来验证源代码与规范的符合性。

本公开一般地涉及模型驱动软件开发的领域，并且更具体地涉及用于在集成开发环境中验证软件程序的方法和系统。

集成开发环境（IDE）是软件应用，其向软件工程师提供用于软件开发的综合设施。一些集成开发环境使能使用正式的结构化、自上而下的开发方法（诸如模型驱动软件开发）来开发软件。基于模型驱动软件开发方法，软件工程师可以使用集成开发环境来使用统一建模语言（UML）图按照规范对软件进行建模。示例性统一建模语言图可以包括顺序图，该顺序图以响应于外部事件构成系统的各种元素之间的交互的时间顺序来指定系统的行为。软件工程师使用顺序图来开发软件程序。同行评审者可以检查软件程序的源代码并确认软件程序符合规范。

通常，软件程序是使用过程编程语言（诸如‘C’编程语言）来开发的。在这样的情况下，软件工程师理解顺序图并以‘C’编程语言将期望的行为实现为软件程序。然而，软件程序可能没有与顺序图的一对一的对应关系。因此，对同行评审者来说，检查软件程序的源代码并确认符合顺序图变成耗时且麻烦的任务。

文档Marcello Cinque等人的“Event Logs for the Analysis of SoftwareFailure: A Rule-Based Approach”，IEE TRANSACTIONS ON SOFTWARE ENGINEERING，IEEE服务中心，美国加利福尼亚州洛斯阿拉莫斯，第39卷，第6期，2013年6月1日，第806-821页，解决了当前日志记录机制的局限性，并提出了基于规则的方法，以使得日志对分析软件故障有效。该方法利用系统设计时产生的制品（artifact），并提出一组规则来形式化日志记录指令在源代码中的放置。

公开了用于在集成开发环境中验证软件程序的方法和系统。在一个方面中，一种在集成开发环境中验证软件程序的计算机实现的方法，包括由数据处理系统基于软件程序的规范生成包括日志记录语句的软件程序的源代码。基于在软件程序的规范中标记的元数据，将日志记录语句附加在软件程序的源代码中的一个或多个位置处，其中软件程序的规范以建模语言来表示。该方法包括执行具有日志记录语句的源代码；以及基于日志记录语句在源代码的执行期间生成一个或多个日志文件。该方法包括使用一个或多个日志文件以建模语言生成源代码的表示。此外，该方法包括使用以建模语言的源代码的表示来验证软件程序的源代码。

在另一方面中，一种数据处理系统，包括：处理单元；以及存储器，其耦合到处理单元。存储器包括以机器可读指令的形式存储并且可由处理单元执行的模型驱动开发模块。模型驱动开发模块被配置成基于软件程序的规范来生成包括日志记录语句的软件程序的源代码。基于在软件程序的规范中标记的元数据，将日志记录语句附加在软件程序的源代码中的一个或多个位置处，其中软件程序的规范以建模语言来表示。模型驱动开发模块被配置成执行具有日志记录语句的源代码，以及基于日志记录语句在源代码的执行期间生成一个或多个日志文件。此外，模型驱动开发模块被配置成使用一个或多个日志文件以建模语言来生成源代码的表示。进一步地，模型驱动开发模块被配置成使用以建模语言的源代码的表示来验证软件程序的源代码。

在又一方面中，一种非暂时性计算机可读存储介质，其具有存储在其中的指令，所述指令在由数据处理系统执行时，使得数据处理系统执行在上述集成开发环境中验证软件程序的方法。

提供该发明内容来以简化的形式引入以下在随后的描述中进一步描述的概念的选择。其不旨在标识所要求保护的主题的特征或必要特征。另外，所要求保护的主题不限于解决在本公开的任何部分中指出的任何或全部缺点的实现。