公开(公告)号：US20180300226A1

公开(公告)日：2018-10-18

申请号：US16014694

申请日：2018-06-21

Applicant: General Electric Company

Inventor： 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

CPC classification number: G06F11/3684 ,  G06F8/00 ,  G06F8/20 ,  G06F11/2273 ,  G06F11/3676 ,  G06F11/368 ,  G06F17/11 ,  G06F17/5009

Abstract: 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.

公开(公告)号：US20180039514A1

公开(公告)日：2018-02-08

申请号：US15229814

申请日：2016-08-05

Applicant: General Electric Company

Inventor： Hongwei LIAO ,  Panagiotis MANOLIOS ,  Terrell Michael BRACE ,  Gregory Reed SYKES ,  Kevin J. JONES ,  Kit Yan SIU

IPC: G06F9/48

CPC classification number: G06F9/4887 ,  G06F9/4837

Abstract: Methods, apparatus, systems and articles of manufacture to facilitate efficient scheduling of digital tasks in a system are disclosed. Periodic and aperiodic tasks may be identified, an initial minimum required duration may be determined based on the periodic and aperiodic tasks, a finish-to-activate duration of the aperiodic task may be determined, a final minimum required duration may be determined based on the initial minimum required duration and the finish-to-activate duration, a time budget may be adjusted to be the final minimum required duration, and the aperiodic task may be activated within the time budget based on the finish-to-activate duration.

公开(公告)号：US20170228309A1

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

申请号：US15019725

申请日：2016-02-09

Applicant: General Electric Company

Inventor： Panagiotis MANOLIOS ,  Meng LI ,  Italo OLIVEIRA ,  Augusto Marasca De CONTO

IPC: G06F11/36

CPC classification number: G06F11/3684 ,  G06F8/00 ,  G06F8/20 ,  G06F11/2273 ,  G06F11/3676 ,  G06F11/368 ,  G06F17/11 ,  G06F17/5009

Abstract: 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.