专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US10585779B2 Systems and methods of requirements chaining and applications thereof 有权
公开(公告)号：US10585779B2
公开(公告)日：2020-03-10
申请号：US16049487
申请日：2018-07-30
申请人： General Electric Company
发明人： Meng Li , Han Yu , Daniel Russell , Michael Durling
IPC分类号： G06F9/44 , G06F11/36
摘要： A method and system, the method including receiving a set of requirements for a software application, the set of requirements comprising a plurality of software requirements identified for the software application; analyzing the set of requirements to determine dependencies between the plurality of software requirements in the set of requirements; generating a visualization of the determined dependencies and test boundaries between the plurality of software requirements in the set of requirements; storing the generated visualization of the determined dependencies and test boundaries between the plurality of software requirements in the set of requirements in a record; and applying the determined dependencies in the record to at least one of (i) optimize test steps in a test procedure and (ii) generate an executable test procedure that exercises external inputs and outputs for the software application.

2. 发明授权

US09940222B2 System and method for safety-critical software automated requirements-based test case generation 有权
公开(公告)号：US09940222B2
公开(公告)日：2018-04-10
申请号：US14947633
申请日：2015-11-20
申请人： General Electric Company
发明人： Meng Li , Michael Richard Durling , Kit Yan Siu , Italo Oliveira , Han Yu , Augusto Marasca De Conto
IPC分类号： G06F9/44 , G06F11/36
CPC分类号： G06F11/3684 , G06F8/20 , G06F8/35 , G06F11/3608
摘要： Automated requirements-based test case generation method includes constructing in a model-based development tool a software architecture model automatically derived from architectural information of a software design model, allocating requirement models into blocks/operators of the software architecture model, and generating component level requirements-based test cases from the software architecture. The component level requirements-based test case generation method includes receiving a software architecture along with allocated requirement models represented in hierarchical data flow diagram, selecting one of the software components, building an intermediate test model based on the selected component by automatically attaching at least one of test objectives or constraints to the corresponding software architecture model blocks/operators based on the selected test strategy, and generating human and machine readable test cases with the test generator for further automatic conversion to test executable and test review artifacts. A system and a non-transitory computer-readable medium for implementing the method are also disclosed.

3. 发明授权

US09747079B2 Method and system of software specification modeling 有权
公开(公告)号：US09747079B2
公开(公告)日：2017-08-29
申请号：US14570513
申请日：2014-12-15
申请人： General Electric Company
发明人： Kit Yan Siu , Andrew Walter Crapo , Michael Richard Durling , Luca Parolini , Panagiotis Manolios , Han Yu , Scott Stacey
IPC分类号： G06F9/44 , G06Q10/06
CPC分类号： G06F8/20 , G06F8/10 , G06Q10/06
摘要： According to some embodiments, a system includes a communication device operative to communicate with a user to obtain the one or more requirements associated with a specification model for a semantic module; a semantic module to receive the one or more requirements, store the one or more requirements and transform the one or more requirements into a semantic model; a specification module to receive the semantic model, store the semantic model, translate the semantic model and generate a specification model; a memory for storing program instructions; at least one specification model platform processor, coupled to the memory, and in communication with the specification module and the semantic module and operative to execute program instructions to: transform the one or more requirements into a semantic model by executing the semantic module; translate the semantic model into a graphical model by executing the specification module; and modify the graphical model by executing the specification module to generate the specification model; and generate a specification model that is human-readable and computer-readable for use in software design. Numerous other aspects are provided.

4. 发明申请

US20170039039A1 SYSTEM AND METHOD FOR MODEL BASED TECHNOLOGY AND PROCESS FOR SAFETY-CRITICAL SOFTWARE DEVELOPMENT 审中-公开
标题翻译：基于模型的技术和安全关键软件开发过程的系统与方法
公开(公告)号：US20170039039A1
公开(公告)日：2017-02-09
申请号：US14819167
申请日：2015-08-05
申请人： General Electric Company
发明人： Timothy Lee Johnson , Andrew Walter Crapo , Michael Richard Durling , Alexander Walsch , Kit Yan Siu , Luca Parolini , Panagiotis Manolios , Meng Li , Han Yu , Scott Alan Stacey , Gregory Reed Sykes
IPC分类号： G06F9/44 , G06F9/45 , G06F11/36
CPC分类号： G06F8/35 , G06F8/20 , G06F11/3604 , G06F11/3608
摘要： A method for model-based design of safety-critical software is disclosed. The method includes receiving natural-language software requirements, developing a specification model by implementing either semantic modeling or graphical modeling, applying formal requirements analysis to the specification model, auto generating requirements based and robustness test cases from the specification model, developing a design model based on the specification model, applying test cases to the design model, auto-generating source code using the design model, verifying the source code using both test cases and static analysis technology, and compiling executable object code from the verified source code. If a result of the analysis of the software specification or design models is not satisfactory then adjusting the specification or design model to correct any inconsistency, and repeating applying the analysis and test cases. A system for implementing the model-based design and a non-transitory computer readable medium are disclosed.
摘要翻译：公开了一种基于安全关键软件的基于模型设计的方法。该方法包括接收自然语言软件需求，通过实现语义建模或图形建模开发规范模型，对规范模型应用形式需求分析，从规范模型中自动生成需求和鲁棒性测试用例，开发基于设计模型在规范模型上，将测试用例应用于设计模型，使用设计模型自动生成源代码，使用测试用例和静态分析技术验证源代码，并从验证的源代码编译可执行对象代码。如果软件规范或设计模型的分析结果不令人满意，则调整规范或设计模型以纠正任何不一致，并重复应用分析和测试用例。公开了一种用于实现基于模型的设计和非暂时计算机可读介质的系统。

5. 发明授权

US10346140B2 System and method for model based technology and process for safety-critical software development 有权
公开(公告)号：US10346140B2
公开(公告)日：2019-07-09
申请号：US14819167
申请日：2015-08-05
申请人： General Electric Company
发明人： Timothy Lee Johnson , Andrew Walter Crapo , Michael Richard Durling , Alexander Walsch , Kit Yan Siu , Luca Parolini , Panagiotis Manolios , Meng Li , Han Yu , Scott Alan Stacey , Gregory Reed Sykes
IPC分类号： G06F8/20 , G06F8/35 , G06F11/36
摘要： A method for model-based design of safety-critical software is disclosed. The method includes receiving natural-language software requirements, developing a specification model by implementing either semantic modeling or graphical modeling, applying formal requirements analysis to the specification model, auto generating requirements based and robustness test cases from the specification model, developing a design model based on the specification model, applying test cases to the design model, auto-generating source code using the design model, verifying the source code using both test cases and static analysis technology, and compiling executable object code from the verified source code. If a result of the analysis of the software specification or design models is not satisfactory then adjusting the specification or design model to correct any inconsistency, and repeating applying the analysis and test cases. A system for implementing the model-based design and a non-transitory computer readable medium are disclosed.

6. 发明授权

US10169217B2 System and method for test generation from software specification models that contain nonlinear arithmetic constraints over real number ranges 有权
公开(公告)号：US10169217B2
公开(公告)日：2019-01-01
申请号：US15092453
申请日：2016-04-06
申请人： General Electric Company
发明人： Han Yu , Michael Richard Durling , Kit Yan Siu , Meng Li , Baoluo Meng , Scott Alan Stacey , Daniel Edward Russell , Gregory Reed Sykes
IPC分类号： G06F11/36
摘要： A computer-implemented system for generating test cases and/or test procedures to verify software having a nonlinear arithmetic constraint over a Real number range. The system includes a translator that receives, as input, software specification models for the software to be verified. The translator is configured to generate, as output, a plurality of SMT formulas that are semantically equivalent to the software specification models. The system includes an analytical engine pool that receives, as input, the plurality of SMT formulas from the translator and analyzes the plurality of SMT formulas, and generates, as output, test case data for each of the plurality of SMT formulas determined to be satisfiable. The system includes a post-processor that receives, as input, the test case data from the analytical engine pool and generates, as output, the test cases and/or test procedures for the software to be verified based on the test case data.

7. 发明申请

US20170293549A1 SYSTEM AND METHOD FOR TEST GENERATION FROM SOFTWARE SPECIFICATION MODELS THAT CONTAIN NONLINEAR ARITHMETIC CONSTRAINTS OVER REAL NUMBER RANGES 审中-公开
公开(公告)号：US20170293549A1
公开(公告)日：2017-10-12
申请号：US15092453
申请日：2016-04-06
申请人： General Electric Company
发明人： Han Yu , Michael Richard Durling , Kit Yan Siu , Meng Li , Baoluo Meng , Scott Alan Stacey , Daniel Edward Russell , Gregory Reed Sykes
IPC分类号： G06F11/36
CPC分类号： G06F11/3684 , G06F11/3604 , G06F11/3692
摘要： A computer-implemented system for generating test cases and/or test procedures to verify software having a nonlinear arithmetic constraint over a Real number range. The system includes a translator that receives, as input, software specification models for the software to be verified. The translator is configured to generate, as output, a plurality of SMT formulas that are semantically equivalent to the software specification models. The system includes an analytical engine pool that receives, as input, the plurality of SMT formulas from the translator and analyzes the plurality of SMT formulas, and generates, as output, test case data for each of the plurality of SMT formulas determined to be satisfiable. The system includes a post-processor that receives, as input, the test case data from the analytical engine pool and generates, as output, the test cases and/or test procedures for the software to be verified based on the test case data.

8. 发明申请

US20160170714A1 METHOD AND SYSTEM OF SOFTWARE SPECIFICATION MODELING 有权
标题翻译：软件规范建模方法与系统
公开(公告)号：US20160170714A1
公开(公告)日：2016-06-16
申请号：US14570513
申请日：2014-12-15
申请人： General Electric Company
发明人： Kit Yan Siu , Andrew Walter Crapo , Michael Richard Durling , Luca Parolini , Panagiotis Manolios , Han Yu , Scott Stacey
IPC分类号： G06F9/44
CPC分类号： G06F8/20 , G06F8/10 , G06Q10/06
摘要： According to some embodiments, a system includes a communication device operative to communicate with a user to obtain the one or more requirements associated with a specification model for a semantic module; a semantic module to receive the one or more requirements, store the one or more requirements and transform the one or more requirements into a semantic model; a specification module to receive the semantic model, store the semantic model, translate the semantic model and generate a specification model; a memory for storing program instructions; at least one specification model platform processor, coupled to the memory, and in communication with the specification module and the semantic module and operative to execute program instructions to: transform the one or more requirements into a semantic model by executing the semantic module; translate the semantic model into a graphical model by executing the specification module; and modify the graphical model by executing the specification module to generate the specification model; and generate a specification model that is human-readable and computer-readable for use in software design. Numerous other aspects are provided.
摘要翻译：根据一些实施例，系统包括可操作以与用户通信以获得与语义模块的规范模型相关联的一个或多个需求的通信设备; 用于接收所述一个或多个需求的语义模块，存储所述一个或多个需求并将所述一个或多个需求转换成语义模型; 接收语义模型的规范模块，存储语义模型，翻译语义模型并生成规范模型; 用于存储程序指令的存储器; 耦合到所述存储器并与所述规范模块和所述语义模块通信的至少一个规范模型平台处理器，并且可操作以执行程序指令：通过执行所述语义模块将所述一个或多个需求转换成语义模型; 通过执行规范模块将语义模型转化为图形模型; 并通过执行规范模块修改图形模型，生成规范模型; 并生成一种人机可读和计算机可读的用于软件设计的规范模型。提供了许多其他方面。

9. 发明授权

US10437713B2 System and method for equivalence class analysis-based automated requirements-based test case generation 有权
公开(公告)号：US10437713B2
公开(公告)日：2019-10-08
申请号：US16014694
申请日：2018-06-21
申请人： General Electric Company
发明人： Panagiotis Manolios , Meng Li , Italo Romani De Oliveira , Augusto Marasca De Conto , Han Yu , Daniel Russell , Sundeep Roy
IPC分类号： G06F11/36 , G06F11/22 , G06F17/50 , G06F17/11
摘要： A system for equivalence class analysis-based automated requirements-based test case generation includes a control processor, a data store containing textual design requirements, a textual converter unit structured to convert the textual design requirements to a machine-readable version of design requirements, a requirement partition unit configured to partition the machine-readable design requirements into one or more sets of related design requirements, an equivalence class partition unit configured to process the machine-readable design requirements and input/output variables into a set of equivalence classes, an equivalence class analyzer unit structured to analyze the set of equivalence classes to generate equivalence class tests and identify uncovered input space, and a boundary class analyzer unit structured to identify boundaries of the equivalence classes and generate boundary value tests and robustness tests. A method for equivalence class analysis-based automated requirements-based test case generation implementable on the system, and a non-transitory computer readable medium are also disclosed.

10. 发明授权

US10402173B2 Systems and methods for arbitrary software logic modeling 有权
公开(公告)号：US10402173B2
公开(公告)日：2019-09-03
申请号：US15441626
申请日：2017-02-24
申请人： General Electric Company
发明人： Liling Ren , Han Yu , Gregory Reed Sykes , Michael Richard Durling , Kit Yan Siu , Scott Alan Stacey
IPC分类号： G06F8/20 , G06F8/34 , G06F8/35 , G06F8/30 , G06F9/44 , G06F9/455
摘要： According to some embodiments, an Arbitrary Software Logic Modeling (“ASLM”) data source may store electronic records associated with units, each electronic record including a unit identifier, one or more identification tags, context data, unit parameters, unit variables, and internal logic. An ASLM platform may express system requirements at a logic block level and establish the logic blocks as self-contained entities and connections in accordance with the system requirements (the established logic blocks graphically representing systems logic). The ASLM platform may then explicitly transform the systems logic automatically to output language agnostic common design information exchange model information. The ASLM platform may also translate and maintain traceability among the system requirements, common design information exchange model information, and generated code.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式