Abstract: A method includes receiving a first processing request for an application program under test. The method includes generating a second processing request for a model of the application program, wherein the second processing request is equivalent to said first processing request. The method includes communicating said first and second requests to said application program under test and said model of the application program respectively. The method includes receiving a first response data set from the application program under test and a second response data set from the model of the application program. The method includes comparing said first and second response data sets and generating a success indication if said comparing said first and second response data sets does not identify a difference. The method includes generating an error indication if said comparing said first and second response data sets identifies a difference between the first and second data sets.

Abstract: A method includes receiving a first processing request for an application program under test. The method includes generating a second processing request for a model of the application program, wherein the second processing request is equivalent to said first processing request. The method includes communicating said first and second requests to said application program under test and said model of the application program respectively. The method includes receiving a first response data set from the application program under test and a second response data set from the model of the application program. The method includes comparing said first and second response data sets and generating a success indication if said comparing said first and second response data sets does not identify a difference. The method includes generating an error indication if said comparing said first and second response data sets identifies a difference between the first and second data sets.

Abstract: A software testing system includes a test interface and a verification interface. The test interface receives a first processing request for the application program under test. The test interface generates a second processing request equivalent to the first processing request, and communicates the first and second processing requests to the application program under test and a model of the application program, respectively. A verification interface compares a first and a second response data set received, respectively, from the application program under test and the model. The verification interface generates an error indication if a difference is determined from the comparison of the first and second response data sets. If a difference is not determined from the comparison, then the verification interface generates a success indication. The verification interface communicates either the success or error indication to the test interface.

Abstract: A software testing system includes a test interface and a verification interface. The test interface receives a first processing request for the application program under test. The test interface generates a second processing request equivalent to the first processing request, and communicates the first and second processing requests to the application program under test and a model of the application program, respectively. A verification interface compares a first and a second response data set received, respectively, from the application program under test and the model. The verification interface generates an error indication if a difference is determined from the comparison of the first and second response data sets. If a difference is not determined from the comparison, then the verification interface generates a success indication. The verification interface communicates either the success or error indication to the test interface.

Abstract: A system and computer program product for exchanging information while offline (not connected to a networked infrastructure), modifying the information and using it to generate commercial transactions that can be subsequently fulfilled by sellers. A case and associated processes allow for commerce that can occur at anytime and anyplace. A case contains sufficient information to permit the purchase of any of a wide variety of products and services. The case structure provides the ability for producers, distributors and consumers to independently insert information describing the subject item. Subsequent receivers of the case read the comments and information inserted by previous holders of the case. Cases also can contain any of a variety of digital objects, such as digital recordings of music, images, video or other media. A digital object contained by a case may itself be the subject of the case or a sample of the subject item.

Abstract: A method and apparatus for limiting current through a switching device supplying current to a load. A control evaluates a model representing the switching device temperature as a nonlinear function of current and time. The model compares the temperature of the switching device to a maximum allowable temperature. The current limit is defaulted to peak current; and in response to the model detecting a temperature in excess of the maximum allowable temperature, a nominal current limit is set. The current limit reset to peak current after the model detects a switching device temperature a predetermined magnitude below the maximum allowable temperature.

Abstract: Addition of controlled amounts of perfluorinated alkyl ether diacyl fluoride to epoxy resin systems prior to cure results in a formulation which, when cured with or without reinforcing, exhibits improved energy absorbing properties.