Invention Grant
- Patent Title: Integrating diagnostic information with boolean constraints
- Patent Title (中): 将诊断信息与布尔约束集成
-
Application No.: US13705643Application Date: 2012-12-05
-
Publication No.: US09064053B2Publication Date: 2015-06-23
- Inventor: Andrew T. Campbell , David M. Saxe , Gregory V. Aloe , Gerhard P. Stoeckel
- Applicant: The MathWorks, Inc.
- Applicant Address: US MA Natick
- Assignee: The MathWorks, Inc.
- Current Assignee: The MathWorks, Inc.
- Current Assignee Address: US MA Natick
- Agency: Harrity & Harrity, LLP
- Main IPC: G06F9/44
- IPC: G06F9/44 ; G06F11/36
Abstract:
A device receives code generated via a technical computing environment (TCE), where the code includes one or more values to be tested. The device receives Boolean constraints and diagnostic information, and generates a test based on the Boolean constraints and the diagnostic information. The device performs the test on the one or more values of the code to generate a result, and outputs or stores the result.
Public/Granted literature
- US20140157236A1 INTEGRATING DIAGNOSTIC INFORMATION WITH BOOLEAN CONSTRAINTS Public/Granted day:2014-06-05
Information query
