Uniquesoft, LLC

Updraft, LLC

Thomas J Weigert

Francis Joseph Weil

A method includes analyzing operational code to determine identifiers used within the operational code. The method further includes grouping like identifiers based a relational aspect of the identifiers. The method further includes, for one or more identifier groups, determining potential feature(s) of the identifier group(s). The method further includes testing the potential feature(s) based on a corresponding feature test suite to produce feedback regarding meaningfulness of the potential feature(s). The method further comprises, when the meaningfulness is above a threshold, adding the potential feature(s) to a feature set. The method further includes, when the meaningfulness is at or below the threshold, adjusting analysis parameter(s), grouping parameter(s), feature parameter(s), and/or testing parameter(s).

Method and system for updating legacy software

A method begins by generating application system state transitions from inputted requirements and parameters. For a current implementation of generating application code, the method continues by entering a loop. The loop begins by generating a current intermediate result based on a previous implementation and in accordance with current application code development factors. The loop continues by generating at least one test case based on the one or more of the application system state transitions. The loop continues by testing the current intermediate result in accordance with the at least one test case. When the testing is unfavorable, the loop continues by modifying one or more of: the one or more of the plurality of application system state transitions, the one or more of the parameters, and the one or more implementation tools. The loop then continues by repeating the loop using the modified current application code development factors.

System and method for iterative generating and testing of application code

An input/output module receives application requirements and parameters and a processing module implements production of application code. An architecture code level design phase produces code component architecture artifacts of at least a portion of the application code based on one or more of the application requirements, the parameters, or architecture phase feedback. A high-level design (HLD) phase to produce code HLD artifacts based on one or more of the code component architecture artifacts, the application requirements, the parameters, or HLD phase feedback. A low-level design (LLD) phase to produce code LLD artifacts based on one or more of the code component architecture artifacts, the code HLD artifacts, the application requirements, the parameters, or LLD phase feedback and an application code level development phase to produce code artifacts based on one or more of: the HLD artifacts, the LLD artifacts, the application requirements, the parameters, or code development phase feedback.

System and method for implementing application code from application requirements

A method for execution by a processing module begins with receiving application requirements and parameters. The method continues by generating application code based on the application requirements, the parameters, and the feedback. For a current implementation of the application code, the method continues by entering a loop that begins by selecting an implementation tool in accordance with implementation constraints and a previous implementation result. The loop continues by generating a current implementation result based on an application of the implementation tool, one or more of the application requirements, one or more of the parameters, and the previous implementation. The loop continues by receiving current feedback regarding the current implementation result. The loop continues by determining whether the current implementation result is at a desired level of correctness based on the current feedback. When the current implementation result is not at the desired level of correctness, the loop repeats otherwise it is exited.

A system includes a requirements unit, an implementation unit, and a testing unit. The requirements unit generates application requirements from inputted requirements and parameters and output them in accordance with a system communication protocol. The implementation unit generates application code based on the application requirements, the parameters, and feedback and outputs the application code in accordance with the system communication protocol. The testing unit tests the application code based on the application requirements and the parameters to produce the feedback.

System and method for generating application code

A method for execution by a processing module begins by receiving inputted requirements and parameters. The method continues by generating application requirements based on the inputted requirements, the parameters, and verification feedback. For one or more application requirements, the method continues by determining whether the generating of the one or more application requirements is consistent with valid system states and correctness criteria to produce one or more verification results. For the one or more application requirements, the method continues by comparing the one or more verification results with one or more verification thresholds to produce the verification feedback.

System and method for generating application requirements

A testing unit includes an input/output module and a processing module. The input/output module receives application requirements and parameters. The processing module generates a set of test cases based on the application requirements and the parameters; adjusts at least some of the set of test cases based on a code generation progression to produce targeted progression test cases; and tests a developing application code based on the targeted progression test cases, wherein the code generation progression indicates a level of development of the developing application code.

Growing community of inventors

Lake Barrington, IL, United States of America

Thomas J Weigert