Assertions based on recently changed code

Patent metadata

Field	Value
Publication number	US-9703552-B2
Application number	US-201414574473-A
Country	US
Kind code	B2
Filing date	Dec 18, 2014
Priority date	Dec 18, 2014
Publication date	Jul 11, 2017
Grant date	Jul 11, 2017

Abstract

The present disclosure relates to managing assertions in program source code in an integrated development environment (IDE) tool. According to one embodiment, the IDE tool receives a request to execute an application built from source code of a development project from a user interacting with an integrated development environment (IDE) tool. The IDE tool identifies changes to one or more of the source code of the development project from a previous version of the one or more source code. Based on the changes to the source code, the IDE tool selectively identifies one or more assertions to insert in the source code based on the identified changes.

First claim

What is claimed is:

1. A computer program product, comprising:
a non-transitory computer readable medium having computer program code embodied therewith, the computer readable code being configured to perform an operation for managing assertions in program source code in an integrated development environment (IDE), the operations comprising:
receiving, from a user interacting with an integrated development environment (IDE) tool, a request to compile and execute an application built from source code of a development project;
identifying changes to the source code of the development project from a previous version of the source code;
determining code coverage information based on the one or more changes to the source code, wherein the code coverage information includes a set of predecessor code executed before the changed source code and a set of successor code executed after the changed source code; and
based on the changes to the source code and the code coverage information, selectively identifying one or more assertions to insert in the source code during source code compilation based on the identified changes and the code coverage information.

2. The computer program product of claim 1 , wherein the operations further comprise:
prior to compiling the source code, inserting the identified assertions into the source code, wherein each assertion is inserted at a location in the source code, as specified by the identified assertions.

3. The computer program product of claim 1 , wherein the operations further comprise:
launching the application built from the source code; and
while executing the application, inserting the identified assertions into the source code when program execution reaches a location specified by one of the identified assertions selectively identified to be included.

4. The computer program product of claim 1 , wherein selectively identifying one or more assertion to insert in the program source code comprises:
identifying one or more changes to dependencies based on the changes to the source code; and
identifying the one or more assertions to insert based on the identified changes to dependencies.

5. The computer program product of claim 1 , wherein the selectively identifying comprises:
receiving reaching definition information from debug data; and
identifying the one or more assertions to insert based on the reaching definition information.

6. A system, comprising:
a processor; and
a memory storing instructions, which, when executed by the processor, perform an operation for managing assertions in program source code in an integrated development environment (IDE), the operations comprising:
receiving, from a user interacting with an integrated development environment (IDE) tool, a request to compile and execute an application built from source code of a development project;
identifying changes to the source code of the development project from a previous version of the source code;
determining code coverage information based on the one or more changes to the source code, wherein the code coverage information includes a set of predecessor code executed before the changed source code and a set of successor code executed after the changed source code; and
based on the changes to the source code and the code coverage information, selectively identifying one or more assertions to insert in the source code during source code compilation based on the identified changes and the code coverage information.

7. The system of claim 6 , wherein the operations further comprise:
prior to compiling the source code, inserting the identified assertions into the source code, wherein each assertion is inserted at a location in the source code, as specified by the identified assertions.

8. The system of claim 6 , wherein the operations further comprise:
launching the application built from the source code; and
while executing the application, inserting the identified assertions into the source code when program execution reaches a location specified by one of the identified assertions selectively identified to be included.

9. The system of claim 6 , wherein selectively identifying one or more assertion to insert in the program source code comprises:
identifying one or more changes to dependencies based on the changes to the source code; and
identifying the one or more assertions to insert based on the identified changes to dependencies.

10. The system of claim 6 , wherein the selectively identifying comprises:
receiving reaching definition information from debug data; and
identifying the one or more assertions to insert based on the reaching definition information.

Assignees

• IBM

Inventors

• Bates Cary L
• Helgeson Lee
• King Justin K
• Schlicht Michelle A

Classifications

• G06F11/36

  Prevention of errors by analysis, debugging or testing of software · CPC title

• G06F8/30

  Creation or generation of source code · CPC title

• G06F8/71 Primary

  Version control (security arrangements therefor G06F21/57); Configuration management · CPC title

• G06F8/73

  Program documentation · CPC title

• G06F11/3664

  Physics · mapped topic