Assisted compositional reasoning for test scripts
US8572570B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Jun 10, 2010 |
| Grant date | Oct 29, 2013 |
| Priority date | — |
| Expiry date | Jan 7, 2032 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3696
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Assisted compositional reasoning for test scripts is implemented by a Type Inference of GUI Object References (TIGOR). TIGOR makes types of GUI objects explicit in the source code by using the properties of GUI objects as referred to in test script statements to access a GUI object repository for GUI objects that have matching GUI objects properties. TIGOR analyzes the GUI object types of the matching GUI objects in view of a sequence of operations performed on the GUI objects in the test script statements. TIGOR infers a GUI object type for a GUI object when that GUI object type is determined to be valid and/or compatible with a sequence of operations, such as API calls, executed in test script statements that perform actions on the GUI object.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.