MANAGING ASSERTIONS WHILE COMPILING AND DEBUGGING SOURCE CODE

Patent №

US 9,684,584

Granted

2017-06-20

Filed 2014

Owner

INTERNATIONAL BUSINESS MACHINES CORPORATION

AI components

3

nlp · planning · hardware

Assignment

Recorded

Dataset

AIPD

2023_r1 edition

Application

14587797

The present disclosure relates to maintaining assertions in an integrated development environment (IDE) tool. According to one embodiment, while the IDE tool is compiling the source code of a development project, the IDE tool generates at least a first compiler warning. The first compiler warning generally corresponds to at least one line of source code in a first source code component of the development project. A first set of assertions to add to the source code of the development project is determined based on the line of source code that resulted in the first compiler warning. The IDE tool adds the first set of assertions to the source code of the development project. The first set of assertions are compiled as part of the source code of the development project.

AI classification

Planning1.00
Natural language0.97
AI hardware0.95
Knowledge representation0.04
Evolutionary computation0.00
Vision0.00
Machine learning0.00
Speech0.00

Ownership

INTERNATIONAL BUSINESS MACHINES CORPORATION

assignment · 347670416

Assignors

BATES, CARY L., HELGESON, LEE, KING, JUSTIN K., SCHLICHT, MICHELLE A.

On an employer assignment, the assignors are typically the inventors.

From the same owner

© 2026 NYSGPT2525 LLC