实时软件截止时间的压力测试用例生成

摘要

在安全攸关领域,实时软件的性能至关重要,其性能的优劣直接关系到财产乃至生命安全.压力测试是发现软件性能瓶颈的一种有效方法,采用压力测试对实时软件的性能进行分析,以保障它的质量.针对实时软件的任务截止时间问题,采用将压力测试用例的生成转换为约束优化问题(COP)的方法,扩展了COP应用范围.该方法首先将任务调度描述为COP;然后根据问题描述分别采用整型和调度两种方式建立OPL(Optimization Programming Language)模型,利用优化工具CPLEX求解模型,从而自动生成压力测试用例.并对其改进以减少稀疏数据求解时的内存和时间,同时还考虑了不同的任务到达模式和多目标函数.最后实验结果表明,改进后的模型可以减少求解的时间和内存,问题规模增大时效果越明显,且调度(无抢占)比整型效果更好.另外给出任务不同到达模式的例子,通过分析比较得出,存在多目标任务执行比单目标更极端的情况.