Patent Document ID: 8806440
Application ID: 12136845

Base Claim:
1. A software validation system, comprising: a development computer, said development computer comprising an integrated software development system configured to develop a software program, said integrated software development system comprising: a set of validation rules, said set of validation rules including rules preventing the use of unsafe element definitions; interface descriptions comprising constraints on allowable input parameters; a program analyzer, as executed by a processor on said development computer, adapted to identify input parameters of an executable version of the software program in the development computer; and a validation enforcement system, said validation enforcement system being configured to: read the interface descriptions; map the interface descriptions to the identified input parameters from the program analyzer; and validate that constraints of the interface descriptions are complete with respect to the identified input parameters from the program analyzer and comply with the set of validation rules; and a server computer, said server computer being configured to receive the executable software program and the interface descriptions from the development computer once the validation enforcement system validates the constraints, said server computer comprising an execution environment in which the received software program is executed therewithin.

---

Claim 4:
4. The software validation system according to claim 1 , wherein said program analyzer requests that input parameters be specified by a user and automatically generates corresponding source code for the software program.