公开(公告)号：CN106528100A

公开(公告)日：2017-03-22

申请号：CN201610922808.4

申请日：2016-08-05

Applicant: 通用电气公司

Inventor： T·L·约翰逊 ,  A·W·克拉波 ,  M·R·杜林 ,  A·瓦施 ,  K·Y·肖 ,  L·帕罗里尼 ,  P·马诺里奥斯 ,  M·李 ,  郁涵 ,  S·A·斯塔塞 ,  G·R·斯科斯

IPC: G06F9/44 ,  G06F11/36

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

公开(公告)号：CN106528100B

公开(公告)日：2020-06-09

申请号：CN201610922808.4

申请日：2016-08-05

Applicant: 通用电气公司

Inventor： T·L·约翰逊 ,  A·W·克拉波 ,  M·R·杜林 ,  A·瓦施 ,  K·Y·肖 ,  L·帕罗里尼 ,  P·马诺里奥斯 ,  M·李 ,  郁涵 ,  S·A·斯塔塞 ,  G·R·斯科斯

IPC: G06F8/10 ,  G06F8/35 ,  G06F11/36

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