用于生成软件应用程序的系统和方法技术方案

本发明专利技术提供了一种用于生成软件应用程序的软件开发系统。该软件开发系统包括配置文件生成器工具，该配置文件生成器工具被配置为：读取包括多个单独的块的设计模型，在该块之间具有指定的数据流，其中每个块具有限定的行为期望，其中该设计模型被配置为在给定一组输入时引起该软件应用程序的期望行为。该配置文件生成器工具还被配置为基于该设计模型生成配置文件，该配置文件识别多个预先存在的、经验证的和编译/链接的软件代码片段，该软件代码片段被配置为执行数学和/或逻辑动作以引起该软件应用程序的期望行为。该配置文件通过调用在该配置文件中指定的该多个预先存在的、经验证的和编译/链接的软件代码片段的执行来配置执行引擎，以执行该软件应用程序的由该模型代表的部分。表的部分。表的部分。

【技术实现步骤摘要】
用于生成软件应用程序的系统和方法


[0001]本文所述主题的实施方案整体涉及软件开发系统。更具体地讲，本主题的实施方案涉及用于生成软件应用程序的系统和方法。

技术介绍

[0002]由于例如与满足认证标准相关联的成本(例如，针对航空软件的DO
‑
178B/C)，因此安全关键型软件(诸如航空软件)的软件开发成本可能很高。由于每个模型均需要唯一的代码文件，并且需要合格的源代码查看工具，因此将建模工具升级到新版本可能很困难且成本也很高。软件验证成本可能过高。
[0003]因此，希望提供用于生成负担较小的软件应用程序的系统和方法。此外，结合附图以及前述
和
技术介绍
，本专利技术的其他期望的特征和特点将根据后续具体实施方式和所附权利要求书变得明显。

技术实现思路

[0004]提供本
技术实现思路
以便以简化形式描述所选概念，这些概念在具体实施方式中进一步描述。本
技术实现思路
不旨在识别要求保护的主题的关键特征或基本特征，也不旨在用于帮助确定要求保护的主题的范围。
[0005]本专利技术公开了一种用于生成软件应本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种用于生成软件应用程序的软件开发系统，所述软件开发系统包括包含处理部件的配置文件生成器工具，所述配置文件生成器工具被配置为：读取第一设计模型，所述第一设计模型包括多个单独的块，在所述块之间具有指定的数据流，其中每个块具有限定的行为期望，其中所述第一设计模型通过所述多个单独的块和在所述块之间的所述指定的数据流进行配置，以在给定一组输入时引起所述软件应用程序的期望行为；和基于所述第一设计模型生成配置文件，所述配置文件识别多个预先存在的、经验证的和编译/链接的软件代码片段，所述软件代码片段被配置为执行数学和/或逻辑动作以引起所述软件应用程序的所述期望行为；和其中，在被包括处理部件的执行引擎读取时，所述配置文件通过调用在所述配置文件中指定的所述多个预先存在的、经验证的和编译/链接的软件代码片段的执行来配置所述执行引擎，以执行所述软件应用程序的由所述模型代表的部分。2.根据权利要求1所述的软件开发工具，其中所述配置文件还识别将与所述多个软件代码片段一起使用的所述一组输入。3.根据权利要求2所述的软件开发工具，其中所述配置文件还识别用于调用所述软件代码片段的顺序。4.根据权利要求3所述的软件开发工具，其中所述执行引擎通过所述配置文件进行配置，以使用在所述配置文件中指定的所述一组输入来生成一组输出。5.根据权利要求4所述的软件开发工具，其中所述执行引擎通过所述配置文件进行配置，以使用所述一组输入，并且哪个代码片段将按所述配置文件中指定的顺序接收所述配置文件中指定的哪些输入，以生成所述一组输出。6.根据权利要求1所述的软件开发工具，所述软件开发工具还包括配置文件验证工具，所述配置文件验证工具包括处理部件，其中所述配置文件验证工具被配置为验证由所述配置文件生成器工具生成的所述配置文件是否将引起所述软件应用程序的所述期望行为。7.根据权利要求6所述的软件开发...

【专利技术属性】
技术研发人员：W，
申请(专利权)人：霍尼韦尔国际公司，
类型：发明
国别省市：