Abstract: A mobile power platform can start storing energy to its battery array while being transported to an end use location. The platform, on a towable trailer, uses an array of photovoltaic cells, in panels that fold for transport before unfolding for full deployment at its user location. The system can be positioned in the direction of the sun with efficient, cost effective means. Optional additions to the platform include a mast with windmill and/or floodlight tower, a stand by/back-up generator, and kinetic power assist.

Abstract: A computer program is verified, unit by unit, by automatically instrumentating the code and generating a test driver program which executes all branches of an instrumented code unit. The code is instrumented by operating processors to standardize the code format and to insert executable tracer statements into each block of reformatted code between control statements. A pseudocode having only control statements and tables identifying valid linkages between blocks of code are generated by another processor for use by a verifier in selecting values of input variables and expected outputs for test cases which execute each block of code in the selected unit. Another processor generates the test driver program from the test cases and a software test specification identifying the test cases and expected results. The test driver program and instrumented code unit are compiled and linked to repeatively execute the instrumented code unit to implement all the test cases.