Patent №
US 9,684,584
Granted
2017-06-20
Filed 2014
Owner
INTERNATIONAL BUSINESS MACHINES CORPORATION
Lab
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
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.