System and method for comparing software frameworks

摘要

In one embodiment, a method may include symbolically executing application code on a first framework. The method may also include creating a first model based on the symbolic execution of the first framework. The method may additionally include symbolically executing the application code on a second framework. The method may further include creating a second model based on the symbolic execution of the first framework. The method may also include determining one or more parameters associated with the first framework based on the first model. The method may additionally include determining one or more parameters associated with the second framework based on the second model. The method may also include selecting one of the first framework and the second framework as a desired framework for execution of the application code based on a comparison of the one or more parameters associated with the first framework and the one or more parameters associated with the second framework.

主权项

1. A method, implemented with a processor and storage device having instructions stored thereon, wherein the instructions when executed by the processor, cause the processor to perform the method steps, comprising:
symbolically executing application code on a first framework, a framework comprising an abstraction in which common code providing generic functionality can be specialized by user code providing specific functionality; creating a first model based on the symbolic execution of the first framework; symbolically executing the application code on a second framework; creating a second model based on the symbolic execution of the second framework; based on the first model, determining one or more parameters associated with the first framework; based on the second model, determining one or more parameters associated with the second framework; and based on a comparison of the one or more parameters associated with the first framework and the one or more parameters associated with the second framework, selecting one of the first framework and the second framework as a desired framework for execution of the application code.