用于安全关键软件开发的基于模型的技术和过程的系统和方法

摘要

公开了一种用于安全关键软件的基于模型的设计的方法。该方法包括接收自然语言软件需求，通过实施语义建模或图形化建模来开发规范模型，将形式需求分析应用于规范模型，由规范模型自动生成基于需求的和鲁棒性测试用例，基于规范模型开发设计模型，将测试用例应用于设计模型，使用设计模型自动生成源代码；使用测试用例和静态分析技术来验证源代码，及由所验证的源代码编译可执行目标代码。如果软件规范或设计模型的分析的结果不符合要求，则调整规范或设计模型，以修正任何不一致，以及重复应用分析和测试用例。公开了一种用于实施基于模型的设计的系统和一种非暂时性计算机可读介质。

主权项

一种用于安全关键软件的基于模型的设计的方法，所述方法包括：接收自然语言软件需求132；通过实施所述自然语言软件需求的语义建模150和图形化建模152中的至少一个来开发结构化自然语言中的软件规范模型133；应用所述软件规范模型的形式需求分析；由所述软件规范模型自动生成基于需求的和鲁棒性测试用例；基于所述规范模型开发软件设计模型；将自动生成的基于需求的和鲁棒性测试用例应用于所述软件设计模型；进行所述软件设计模型的形式分析；使用所述软件设计模型自动生成源代码136；通过应用自动生成的测试用例148和静态分析技术来验证所述源代码的覆盖和行为；由所验证的源代码编译可执行目标代码；以及通过应用自动生成的测试用例来验证所述可执行目标代码的覆盖和行为。