By analyzing some existing test data generation methods, a new automated test data generation approach was presented. The linear predicate functions on a given path was directly used to construct a linear constrain sy...By analyzing some existing test data generation methods, a new automated test data generation approach was presented. The linear predicate functions on a given path was directly used to construct a linear constrain system for input variables. Only when the predicate function is nonlinear, does the linear arithmetic representation need to be computed. If the entire predicate functions on the given path are linear, either the desired test data or the guarantee that the path is infeasible can be gotten from the solution of the constrain system. Otherwise, the iterative refining for the input is required to obtain the desired test data. Theoretical analysis and test results show that the approach is simple and effective, and takes less computation. The scheme can also be used to generate path-based test data for the programs with arrays and loops.展开更多
This paper presents a two-stage robust model predictive control (RMPC) algorithm named as IRMPC for uncertain linear integrating plants described by a state-space model with input constraints. The global convergence o...This paper presents a two-stage robust model predictive control (RMPC) algorithm named as IRMPC for uncertain linear integrating plants described by a state-space model with input constraints. The global convergence of the resulted closed loop system is guaranteed under mild assumption. The simulation example shows its validity and better performance than conventional Min-Max RMPC strategies.展开更多
文摘By analyzing some existing test data generation methods, a new automated test data generation approach was presented. The linear predicate functions on a given path was directly used to construct a linear constrain system for input variables. Only when the predicate function is nonlinear, does the linear arithmetic representation need to be computed. If the entire predicate functions on the given path are linear, either the desired test data or the guarantee that the path is infeasible can be gotten from the solution of the constrain system. Otherwise, the iterative refining for the input is required to obtain the desired test data. Theoretical analysis and test results show that the approach is simple and effective, and takes less computation. The scheme can also be used to generate path-based test data for the programs with arrays and loops.
文摘This paper presents a two-stage robust model predictive control (RMPC) algorithm named as IRMPC for uncertain linear integrating plants described by a state-space model with input constraints. The global convergence of the resulted closed loop system is guaranteed under mild assumption. The simulation example shows its validity and better performance than conventional Min-Max RMPC strategies.
