首页> 中国专利> 用于安全关键软件开发的基于模型的技术和过程的系统和方法

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

页面导航

摘要
著录项
法律信息
相似文献

摘要

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

著录项

公开/公告号CN106528100B

专利类型发明专利
公开/公告日2020-06-09

原文格式PDF
申请/专利权人通用电气公司;
展开▼

申请/专利号CN201610922808.4
发明设计人 T·L·约翰逊;A·W·克拉波;M·R·杜林;A·瓦施;K·Y·肖;L·帕罗里尼;P·马诺里奥斯;M·李;郁涵;S·A·斯塔塞;G·R·斯科斯;
展开▼

申请日2016-08-05
分类号
代理机构中国专利代理(香港)有限公司;
代理人叶晓勇
地址美国纽约州
入库时间 2022-08-23 11:00:52

法律信息

法律状态公告日

法律状态信息

法律状态
2020-06-09

授权

授权
2017-04-19

实质审查的生效 IPC(主分类):G06F9/44 申请日:20160805

实质审查的生效
2017-03-22

公开

公开

相似文献

专利
中文文献
外文文献

1. 用于安全关键软件开发的基于模型的技术和过程的系统和方法 [P] . 中国专利： CN106528100B . 2020.06.09
2. 用于安全关键软件开发的基于模型的技术和过程的系统和方法 [P] . 中国专利： CN106528100A . 2017-03-22
3. System and method for model based technology and process for safety-critical software development [P] . 美国专利： US10346140B2 . 2019-07-09

机译：用于安全关键型软件开发的基于模型的技术和过程的系统和方法
4. System and method for model based technology and process for safety-critical software development [P] . 英国专利： GB2542687A . 2017-03-29

机译：用于安全关键型软件开发的基于模型的技术和过程的系统和方法
5. System and method for model based technology and process for safety-critical software development [P] . 英国专利： GB201613356D0 . 2016-09-14

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