利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

3 条记录 (耗时 0.012 秒)

    SYSTEM AND METHOD FOR EQUIVALENCE CLASS ANALYSIS-BASED AUTOMATED REQUIREMENTS-BASED TEST CASE GENERATION
    2.
    发明申请
    SYSTEM AND METHOD FOR EQUIVALENCE CLASS ANALYSIS-BASED AUTOMATED REQUIREMENTS-BASED TEST CASE GENERATION 有权

    公开(公告)号：US20170228309A1

    公开(公告)日：2017-08-10

    申请号：US15019725

    申请日：2016-02-09

    申请人： General Electric Company

    发明人： Panagiotis MANOLIOS ,  Meng LI ,  Italo OLIVEIRA ,  Augusto Marasca De CONTO

    IPC分类号： G06F11/36

    CPC分类号： G06F11/3684 ,  G06F8/00 ,  G06F8/20 ,  G06F11/2273 ,  G06F11/3676 ,  G06F11/368 ,  G06F17/11 ,  G06F17/5009

    摘要： 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.

    SYSTEM AND METHOD FOR SAFETY-CRITICAL SOFTWARE AUTOMATED REQUIREMENTS-BASED TEST CASE GENERATION
    3.
    发明申请
    SYSTEM AND METHOD FOR SAFETY-CRITICAL SOFTWARE AUTOMATED REQUIREMENTS-BASED TEST CASE GENERATION 有权

    公开(公告)号：US20170147482A1

    公开(公告)日：2017-05-25

    申请号：US14947633

    申请日：2015-11-20

    申请人： General Electric Company

    发明人： Meng LI ,  Michael Richard DURLING ,  Kit Yan SIU ,  Italo OLIVEIRA ,  Han YU ,  Augusto Marasca De CONTO

    IPC分类号： G06F11/36 ,  G06F9/44

    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.