Daniel Timothy Russell

US Patent:

20200034273, Jan 30, 2020

Filed:

Jul 30, 2018

Appl. No.:

16/049487

Inventors:

- Schenedady NY, US
Han YU - Niskayuna NY, US
Daniel RUSSELL - Grand Rapids MI, US
Michael DURLING - Niskayuna NY, US

International Classification:

G06F 11/36

Abstract:

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.

US Patent:

20180373698, Dec 27, 2018

Filed:

Jun 23, 2017

Appl. No.:

15/631902

Inventors:

- Schenectady NY, US
Daniel Edward RUSSELL - Walker MI, US

International Classification:

G06F 17/27
G06F 17/24

Abstract:

A system, computer-readable medium, and a method including accessing a semantic model, the semantic model having a grammar syntax supporting a comparison of at least one of a semantic model class and an instance of a semantic model class to an incompatible value; specifying an implied property for at least one of a semantic model class and an instance of a semantic model class in the semantic model, the implied property having an associated range; adding the implied property to the semantic model, the implied property to be referenced in a validation and translation of an expression including at least one of the class and the instance of a class having the implied property specified therewith compared to an incompatible value; and generating a record of the semantic model including the implied property added thereto.

US Patent:

20180300226, Oct 18, 2018

Filed:

Jun 21, 2018

Appl. No.:

16/014694

Inventors:

- Schenectady NY, US
Meng LI - Niskayuna NY, US
Italo ROMANI DE OLIVEIRA - Sao Jose dos Campos, BR
Augusto Marasca De CONTO - Rio de Janeiro, BR
Han YU - Niskayuna NY, US
Daniel RUSSELL - Grand Rapids MI, US
Sundeep ROY - Pinellas Park FL, US

International Classification:

G06F 11/36
G06F 11/22
G06F 17/50
G06F 17/11

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.

US Patent:

20170293549, Oct 12, 2017

Filed:

Apr 6, 2016

Appl. No.:

15/092453

Inventors:

- Schenectady NY, US
Michael Richard Durling - Gansevoort NY, US
Kit Yan Siu - Saratoga Spring NY, US
Meng Li - Schenectady NY, US
Baoluo Meng - Iowa City IA, US
Scott Alan Stacey - Dayton OH, US
Daniel Edward Russell - Walker MI, US
Gregory Reed Sykes - Caledonia MI, US

International Classification:

G06F 11/36

Abstract:

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.