Analyzing information associated with logic

• US 9,678,718 B1
• Filed: 12/09/2011
• Issued: 06/13/2017
• Est. Priority Date: 12/09/2011
• Status: Active Grant

• Current Assignee: The MathWorks, Inc.
• Original Assignee: The MathWorks, Inc.
• Inventors: Bienkowski, Joseph, Noell, Ian, McGaw, David Alexander, Mosterman, Pieter Johannes
• Primary Examiner(s): Tecklu, Isaac T
• Application Number:
  US13/316,233
• Time in Patent Office: 2,013 Days
• Field of Search: None
• CPC Class Codes: G06F 11/3604 Software analysis for verifying properties of programs byte-code verification G06F9/44589
• CPC Class Codes: G06F 8/20 Software design
• CPC Class Codes: G06F 8/30 Creation or generation of source code
• CPC Class Codes: G06F 8/71 Version control security arrangements therefor G06F21/57; Configuration management

Abstract

In an embodiment, information associated with logic is acquired. The logic may have a changed portion and an unchanged portion. The information may include information associated with an execution of the logic. A filter is applied to the acquired information to identify information associated with the changed portion of the logic. A report may be generated based on the identified information.

Claims

1. One or more non-transitory computer-readable storage media for storing computer-executable instructions executable by a processor, the instructions comprising:

one or more instructions that, when executed by the processor, cause the processor to;

interact with information associated with an execution of a test that is used to test modeling logic,

the modeling logic containing a changed portion and an unchanged portion,

the information including;

first information that indicates that the changed portion includes code that has been added to the modeling logic, deleted from the modeling logic, or modified in the modeling logic since a prior execution of the test that tested an earlier version of the modeling logic,

a first condition associated with the changed portion, and

a second condition associated with the unchanged portion,

the modeling logic being used to model a system;

identify the changed portion of the modeling logic based on the first condition and

the second condition; and

modify the information to;

include the first condition in an output in a first format, and

include the second condition in the output in a second format that is different than the first format.

2. The media of claim 1, wherein the instructions further comprise:

one or more instructions that, when executed by the processor, cause the processor to;

provide for presentation the first condition in the output with an indication, and

provide for presentation the second condition in the output without the indication,

the indication including at least one of italicized text, colored text, flashing text, highlighted text, or underlined text.

3. The media of claim 1, wherein the information includes a stack trace of a plurality of functions called during the execution of the test, and wherein the first condition is an indication in the stack trace that a function associated with the changed portion of the modeling logic was called during the execution of the test.

4. The media of claim 1, wherein the first condition includes an indication of a path in the changed portion of the modeling logic that is executed during the execution of the test.

5. The media of claim 1, wherein the first condition includes an error condition or an exception condition that occurs based on an execution of the changed portion of the modeling logic during the execution of the test.

6. The media of claim 1, wherein the first condition is provided for presentation in the output via a first indication that includes at least one of:

italicized text,

colored text,

flashing text,

highlighted text, or

underlined text.

7. The media of claim 6, wherein the first condition is provided for presentation in the output via a second indication indicating that the prior execution of the test occurred.

8. The media of claim 1, where the instructions further comprise:

one or more instructions that, when executed by the processor, cause the processor to;

modify the information to;

emphasize the first condition in the output, and

deemphasize the second condition in the output.

9. The media of claim 1, where the instructions further comprise:

one or more instructions that, when executed by the processor, cause the processor to;

provide for presentation the changed portion of the modeling logic in a first visual manner and the unchanged portion of the modeling logic in a second visual manner, the second visual manner being different than the first visual manner.

10. The media of claim 1, where the instructions further comprise:

one or more instructions that, when executed by the processor, cause the processor to;

include the output in a visual indication of the modeling logic.

11. The media of claim 10, wherein in the instructions further comprise:

one or more instructions that, when executed by the processor, cause the processor to;

provided for presentation the changed portion of the modeling logic differently than the unchanged portion of the modeling logic in the visual indication.

12. A method comprising:

interacting with information associated with an execution of a test that is used to test target logic,

the target logic including a changed portion and an unchanged portion,

the information including;

information that indicates that the changed portion includes code that has been added to the target logic, deleted from the target logic, or modified in the target logic since a prior execution of the test that tested an earlier version of the target logic,

a first condition associated with the changed portion, and

a second condition associated with the unchanged portion, and

the interacting being performed by a device;

identifying the changed portion of the target logic based on the first condition and the second condition,

the identifying being performed by the device; and

modifying the information to;

include the first condition in an output in a first format, and

include the second condition in the output in a second format that is different than the first format,

the modifying the information being performed by the device.

13. The method of claim 12, wherein the first condition is provided for presentation in the output via a first indication that includes at least one of:

italicized text,

colored text,

flashing text,

highlighted text, or

underlined text.

14. The method of claim 13, wherein the first condition is provided for presentation in the output via a second indication indicating that the prior execution of the test occurred.

15. The method of claim 12, wherein the method further comprises:

modifying the information to;

emphasize the first condition in the output, and

deemphasize the second condition in the output.

16. The method of claim 12, further comprising:

providing for presentation the output in a visual indication of the target logic,

the changed portion of the target logic being provided for presentation differently in the visual indication than the unchanged portion of the target logic.

17. The method of claim 16, wherein the changed portion of the target logic is provided for presentation differently in the visual indication than the unchanged portion of the target logic based on:

the first condition associated with the changed portion of the target logic, and

the second condition associated with the unchanged portion of the target logic.

18. One or more non-transitory computer-readable storage media for storing computer-executable instructions executable by a processor, the instructions comprising:

one or more instructions that, when executed by the processor, cause the processor to;

interact with a trace associated with an execution of code in a program that is executed during a testing of the code,

the program including a changed portion and an unchanged portion;

apply a filter to the trace to identify;

a portion of the trace that indicates that the changed portion includes code that has been added to the program, deleted from the program, or modified in the program since a prior execution of the test that tested an earlier version of the program,

a first condition associated with the changed portion, and

a second condition associated with the unchanged portion;

identify the changed portion of the program based on the first condition and second condition; and

modify the trace to;

include the first condition in an output in a first format, and

include the second condition in the output in a second format that is different than the first format.

19. The media of claim 18, wherein the first condition is provided for presentation in the output via a first indication that includes at least one of:

italicized text,

colored text,

flashing text,

highlighted text, or

underlined text.

20. The media of claim 18, where the instructions further comprise:

one or more instructions that, when executed by the processor, cause the processor to;

provide, for display, the portion of the trace differently than remaining portions of the trace.