-
公开(公告)号：CN107066375B
公开(公告)日：2022-03-01
申请号：CN201611015902.8
申请日：2016-11-18
Applicant: 通用电气公司
IPC: G06F11/36
Abstract: 本发明的安全关键软件自动化基于需求的测试实例生成系统和方法包括在基于模型的开发工具中构建从软件设计模型的架构信息自动得出的软件架构模型，将需求模型分配到软件架构模型的块/算子中，并且从软件架构来生成组件级基于需求的测试实例。组件级基于需求的测试实例生成方法包括接收以层级数据流图表示的软件架构连同所分配需求模型，选择软件组件其中之一，通过基于所选择的测试策略将测试目标或约束的至少一个自动附连到对应软件架构模型块/算子、基于所选择的组件来构建中间测试模型，并且采用测试生成器来生成人类和机器可读测试实例，以供进一步自动转换成测试可执行和测试审查制品。还公开用于实现该方法的系统和非暂时计算机可读介质。
-
公开(公告)号：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·斯科斯
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·斯科斯
Abstract: 公开了一种用于安全关键软件的基于模型的设计的方法。该方法包括接收自然语言软件需求，通过实施语义建模或图形化建模来开发规范模型，将形式需求分析应用于规范模型，由规范模型自动生成基于需求的和鲁棒性测试用例，基于规范模型开发设计模型，将测试用例应用于设计模型，使用设计模型自动生成源代码；使用测试用例和静态分析技术来验证源代码，及由所验证的源代码编译可执行目标代码。如果软件规范或设计模型的分析的结果不符合要求，则调整规范或设计模型，以修正任何不一致，以及重复应用分析和测试用例。公开了一种用于实施基于模型的设计的系统和一种非暂时性计算机可读介质。
-
公开(公告)号：CN110245067B
公开(公告)日：2023-09-22
申请号：CN201910175783.X
申请日：2019-03-08
Applicant: 通用电气公司
IPC: G06F11/36
Abstract: 一种自动化的基于需求的测试实例生成方法包括构建从软件设计模型架构信息推导出的软件架构模型、将需求模型分配到软件架构模型的块/算子中、以及从软件架构来生成配置成在软件架构中的不同等级可执行的组件级基于需求的测试实例。组件级基于需求的测试实例生成方法包括接收以层级数据流图表示的软件架构连同分配的需求模型；选择软件组件中的一个；通过基于选择的测试策略将测试目标或约束中的至少一个自动附连到对应软件架构模型块/算子来基于选择的组件建立中间测试模型；以及利用测试生成器来生成人类和机器可读的测试实例以用于进一步自动转换成测试可执行文件和测试审查制品。还公开了用于实现该方法的系统和非暂时性计算机可读介质。
-
公开(公告)号：CN108509185A
公开(公告)日：2018-09-07
申请号：CN201810159559.7
申请日：2018-02-26
Applicant: 通用电气公司
IPC: G06F8/30
Abstract: 根据一些实施例，任意软件逻辑建模（“ASLM”）数据源可以存储与单元相关联的电子记录，各电子记录包括单元标识符、一个或更多个识别标签、上下文数据、单元参数、单元变量以及内部逻辑。ASLM平台可以表达逻辑块等级下的系统要求，并且，根据系统要求而建立作为自包含实体和连接的逻辑块（所建立的逻辑块用图形表示系统逻辑）。然后，ASLM平台可以自动地对系统逻辑显式地进行转换，以输出与语言无关的公共设计信息交换模型信息。ASLM平台还可以转化且维持系统要求、公共设计信息交换模型信息以及所生成的代码之间的可追踪性。
-
Patent Agency Ranking
公开(公告)号：CN107066375A
公开(公告)日：2017-08-18
申请号：CN201611015902.8
申请日：2016-11-18
Applicant: 通用电气公司
IPC: G06F11/36
CPC classification number: G06F11/3684 , G06F8/20 , G06F8/35 , G06F11/3608 , G06F11/3696
Abstract: 本发明的安全关键软件自动化基于需求的测试实例生成系统和方法包括在基于模型的开发工具中构建从软件设计模型的架构信息自动得出的软件架构模型，将需求模型分配到软件架构模型的块/算子中，并且从软件架构来生成组件级基于需求的测试实例。组件级基于需求的测试实例生成方法包括接收以层级数据流图表示的软件架构连同所分配需求模型，选择软件组件其中之一，通过基于所选择的测试策略将测试目标或约束的至少一个自动附连到对应软件架构模型块/算子、基于所选择的组件来构建中间测试模型，并且采用测试生成器来生成人类和机器可读测试实例，以供进一步自动转换成测试可执行和测试审查制品。还公开用于实现该方法的系统和非暂时计算机可读介质。
-
公开(公告)号：CN114398030B
公开(公告)日：2025-05-09
申请号：CN202210046986.0
申请日：2018-02-26
Applicant: 通用电气公司
Abstract: 根据一些实施例，任意软件逻辑建模（“ASLM”）数据源可以存储与单元相关联的电子记录，各电子记录包括单元标识符、一个或更多个识别标签、上下文数据、单元参数、单元变量以及内部逻辑。ASLM平台可以表达逻辑块等级下的系统要求，并且，根据系统要求而建立作为自包含实体和连接的逻辑块（所建立的逻辑块用图形表示系统逻辑）。然后，ASLM平台可以自动地对系统逻辑显式地进行转换，以输出与语言无关的公共设计信息交换模型信息。ASLM平台还可以转化且维持系统要求、公共设计信息交换模型信息以及所生成的代码之间的可追踪性。
-
公开(公告)号：CN114996115A
公开(公告)日：2022-09-02
申请号：CN202210276124.7
申请日：2016-11-18
Applicant: 通用电气公司
IPC: G06F11/36
Abstract: 本发明的安全关键软件自动化基于需求的测试实例生成系统和方法包括在基于模型的开发工具中构建从软件设计模型的架构信息自动得出的软件架构模型，将需求模型分配到软件架构模型的块/算子中，并且从软件架构来生成组件级基于需求的测试实例。组件级基于需求的测试实例生成方法包括接收以层级数据流图表示的软件架构连同所分配需求模型，选择软件组件其中之一，通过基于所选择的测试策略将测试目标或约束的至少一个自动附连到对应软件架构模型块/算子、基于所选择的组件来构建中间测试模型，并且采用测试生成器来生成人类和机器可读测试实例，以供进一步自动转换成测试可执行和测试审查制品。还公开用于实现该方法的系统和非暂时计算机可读介质。
-
公开(公告)号：CN106339787A
公开(公告)日：2017-01-18
申请号：CN201610536811.2
申请日：2016-07-08
Applicant: 通用电气公司
IPC: G06Q10/06
CPC classification number: G06Q10/063114 , G06Q10/063 , G06Q50/265 , G06Q10/06311
Abstract: 本发明题为用于管理安全关键产业中的人员工作中断的方法和系统，包括：事件模块，接收调度表并且传送事件；机组跟踪模块，从事件模块接收输出，跟踪和更新指配给各事件的单独机组成员的状态，并且向事件模块传送机组状态更新；机组分析模块，从机组跟踪模块接收输出，预测工作中断；存储器，存储程序指令；至少一个工作中断平台处理器，耦合到存储器，并且与所述事件模块、所述机组跟踪模块、所述机组分析模块进行通信，并且运行程序指令以：估计机组成员的疲劳等级；分析与机组成员的疲劳等级、历史事件、关联到该事件的中断和机组规则违反关联的数据，确定所预测工作中断是否存在；以及基于所确定的所预测工作中断来生成所预测工作中断的指示。
-
公开(公告)号：CN114398030A
公开(公告)日：2022-04-26
申请号：CN202210046986.0
申请日：2018-02-26
Applicant: 通用电气公司
Abstract: 根据一些实施例，任意软件逻辑建模（“ASLM”）数据源可以存储与单元相关联的电子记录，各电子记录包括单元标识符、一个或更多个识别标签、上下文数据、单元参数、单元变量以及内部逻辑。ASLM平台可以表达逻辑块等级下的系统要求，并且，根据系统要求而建立作为自包含实体和连接的逻辑块（所建立的逻辑块用图形表示系统逻辑）。然后，ASLM平台可以自动地对系统逻辑显式地进行转换，以输出与语言无关的公共设计信息交换模型信息。ASLM平台还可以转化且维持系统要求、公共设计信息交换模型信息以及所生成的代码之间的可追踪性。
-
-
-
-
-
-
-
-
-
Search Results
12
records
(took 0.018 seconds)
