Remote incremental program verification using API definitions
First Claim
1. A method of operating a computer system, said method comprising:
- providing a program in memory, the program comprising at least one program unit, each program unit comprising an Application Programming Interface (API) definition file and an implementation, each API definition file defining items in its associated program unit that are made accessible to one or more other program units, each implementation comprising executable code corresponding to said API definition file said executable code comprising type specific instructions and data; and
performing a first verification prior to an installation of said program, comprising;
indicating a verification error when a first program unit implementation is not internally consistent; and
indicating a verification error when said first program unit implementation is inconsistent with a first program unit API definition file associated with said first program unit implementation.
2 Assignments
0 Petitions
Accused Products
Abstract
A method of operating a computer system includes providing a program in memory, verifying the program prior to an installation of the program and generating a program fault signal when the verification fails. The program includes at least one program unit, and each program unit includes an Application Programming Interface (API) definition file and an implementation. Each API definition file defines items in its associated program unit that are made accessible to one or more other program units and each implementation includes executable code corresponding to the API definition file. The executable code includes type specific instructions and data. Verification includes determining whether a first program unit implementation is internally consistent, determining whether the first program unit implementation is consistent with a first program unit API definition file associated with the first program unit implementation and generating a program fault signal when the verifying fails. A resource-constrained device includes a memory for providing a remotely verified application software program that includes at least one program unit, each program unit comprising type specific instructions and data. The resource-constrained device also includes a virtual machine that is capable of executing instructions included within the application software program. The remote verification uses an API definition file for each implementation to determine whether a first program unit implementation is internally consistent and to determine whether the first program unit implementation is consistent with a first program unit API definition file associated with the first program unit implementation.
90 Citations
21 Claims
-
1. A method of operating a computer system, said method comprising:
-
providing a program in memory, the program comprising at least one program unit, each program unit comprising an Application Programming Interface (API) definition file and an implementation, each API definition file defining items in its associated program unit that are made accessible to one or more other program units, each implementation comprising executable code corresponding to said API definition file said executable code comprising type specific instructions and data; and performing a first verification prior to an installation of said program, comprising; indicating a verification error when a first program unit implementation is not internally consistent; and indicating a verification error when said first program unit implementation is inconsistent with a first program unit API definition file associated with said first program unit implementation. - View Dependent Claims (2, 3, 4, 5)
-
-
6. A method of operating a computer system, said method comprising:
-
providing a program in memory, the program comprising at least one program unit, each program unit comprising an Application Programming Interface (API) definition file and an implementation, each API definition file defining items in its associated program unit that are made accessible to one or more other program units, each implementation comprising executable code corresponding to said API definition file, said executable code comprising type specific instructions and data; and performing a first verification prior to execution of said program, comprising; indicating a verification error when a program unit implementation is not internally consistent; indicating a verification error when a program unit implementation is inconsistent with its API definition file; and indicating a verification error when a program unit implementation is inconsistent with the API definition file of a program unit referenced by said program unit. - View Dependent Claims (7)
-
-
8. A program storage device readable by a machine, embodying a program of instructions executable by the machine to perform a method for program verification, said method comprising:
-
providing a program in memory, the program comprising at least one program unit, each program unit comprising an Application Programming Interface (API) definition file and an implementation, each API definition file defining items in its associated program unit that are made accessible to one or more other program units, each implementation comprising executable code corresponding to said API definition file, said executable code comprising type specific instruct ions and data; and performing a first verification prior to an installation of said program, comprising; indicating a verification error when a first program unit implementation is not internally consistent; indicating a verification error when said first program unit implementation is inconsistent with a first program unit API definition file associated with said first program unit implementation. - View Dependent Claims (9, 10, 11, 12)
-
-
13. A program storage device readable by a machine, embodying a program of instructions executable by the machine to perform a method for program verification, the method comprising:
-
providing a program in memory, the program comprising at least one program unit, each program unit comprising an Application Programming Interface (API) definition file and an implementation, each API definition file defining items in its associated program unit that are made accessible to one or more other program units, each implementation comprising executable code corresponding to said API definition tile, said executable code comprising type specific instructions and data; and performing a first verification prior to execution of said program, comprising; indicating a verification error when a program unit implementation is not internally consistent; indicating a verification error when h program unit implementation is inconsistent with its API definition file; and indicating a verification error when a program unit implementation is inconsistent with the API definition file of a program unit referenced by said program unit. - View Dependent Claims (14)
-
-
15. A system, including a processor, for executing a software application, the system comprising:
-
a computing system that generates executable code, comprising means for providing a program in memory, the program comprising at least one program unit, each program unit comprising an Application Programming Interface (API) definition file and an implementation, each API definition file defining items in its associated program unit that are made accessible to one or more other program units, each implementation comprising executable code corresponding to said API definition file, said executable code comprising type specific instructions and data; and means for performing a first verification prior to an installation of said program, comprising; means for indicating a verification error when a first program unit implementation is not internally consistent; means for indicating a verification error when said first program unit implementation is inconsistent with a first program unit API definition file associated with said first program unit implementation. - View Dependent Claims (16, 17, 18, 19)
-
-
20. A system, including a processor, for executing a software application, the system comprising:
-
a computing system that generates executable code, comprising means for providing a program in memory, the program comprising at least one program unit, each program unit comprising an Application Programming Interface (API) definition file and an implementation, each API definition file defining items in its associated program unit that are made accessible to one or more other program units, each implementation comprising executable code corresponding to said API definition file, said executable code comprising type specific instructions and data; and means for performing a first verification prior to execution of said program, comprising; means for indicating a verification error when a program unit implementation is not internally consistent; means for indicating a verification error when a program unit implementation is inconsistent with its API definition file; and means for indicating a verification error when a program unit implementation is inconsistent with the API definition file of each program unit referenced by said program unit. - View Dependent Claims (21)
-
Specification