Inventor

ALDRICH WILLIAM J

US38 patents

⚠️ This page may combine multiple inventors who share the name “ALDRICH WILLIAM J”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

ALDRICH WILLIAM J

MATHWORKS INC

Verification and validation system for a graphical model

Visual representation of model execution results contributing to a failure condition in a model

Test postcondition items for automated analysis and test generation

Test precondition items for automated analysis and test generation

System and method for programmatically abstracting model components

System and method for identifying and reducing model complexities affecting model verification

Reversed links from graphical diagram representation

Test postcondition items for automated analysis and test generation

Model structure analysis with integration of transformed slice

Traceability in a modeling environment

Mapping between code coverage and model coverage for a design

Coverage analysis for variable size signals

System and method for performing model verification

Test postcondition items for automated analysis and test generation

Analyzing model based on design interest

System and method for identifying and reducing model complexities affecting model verification

Partitioning block diagrams into executable contextual models

Coverage analysis for variable size signals

Code and model coverage as a time series

Coverage analysis for variable size signals

Deriving contextual information for an execution constrained model

Method and system for improving efficacy of model verification by model partitioning

ALDRICH WILLIAM J

Mapping between code coverage and model coverage for a design

Coverage analysis for variable size signals

Determining model components suitable for verification analysis

Verification and validation system for a graphical model

Verification and validation system for a graphical model

Test entities for evaluation and validation of a model

Verifying models for exceptional behavior

Mapping between code coverage and model coverage for a design

Reversed links from graphical diagram representation

LIN XIAOCANG

Traceability in a modeling environment

Traceability in a modeling environment

Traceability in a modeling environment

Traceability in a modeling environment

Traceability in a modeling environment

KALMAR ZSOLT

Automatic test generation for model-based code coverage

MATH WORK INC

System and method for programmatically abstracting model components