Patent ID: 8640106

Claim:
A method for a computing entity to test and provide feedback of an automated process for converting input requirements into application code, the method comprises: receiving application requirements, wherein a requirements unit generates the application requirements from the input requirements and verifies the application requirements, wherein an application requirement of the application requirements includes one or more pre-conditions, one or more actions, and one or more post-conditions; as the application requirements are converted into the application code in a plurality of phases, for each of the plurality of phases: receiving a plurality of implementation results corresponding to a current phase of the plurality of phases; and testing the plurality of implementation results, wherein, for a current implementation result of the plurality of implementation results, the testing includes: generating, commensurate with the current phase of the plurality of phases, at least one test case based on one or more of the application requirements, wherein the generating the at least one test case includes: converting at least one of a plurality of test cases into a level of abstraction corresponding to the current phase of the plurality of phases to produce at least one converted test case; and converting the at least one converted test case into an appropriate programming language format to exercise the application code to produce the at least one test case; stimulating the current implementation result based on the at least one test case to produce a current application system response; comparing observed behavior of the current application system response with prescribed behavior of the at least one test case; and generating the feedback based on the comparing of the observed behavior of the current application system response with the prescribed behavior of the at least one test case.