Generic verification approach for Protobuf based projects
US10732944B1 · kind B1 · utility
Assignee
Inventors
Key dates
| Filing date | May 14, 2019 |
| Grant date | Aug 4, 2020 |
| Priority date | — |
| Expiry date | May 14, 2039 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F16/2246
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method, apparatus, and system for using a verification substitute header file in a verification of an application that uses Protocol Buffers (Protobuf) for data communication is disclosed. The operations comprise: obtaining one or more Protobuf message types from a Protobuf definition file; generating the verification substitute header file based on the Protobuf message types; adding one or more verification stubs to the verification substitute header file; including the verification substitute header file in source code of the application; and performing the verification of the application including the verification substitute header file.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.