Pareto解集:一般情况下多目标优化问题中的多个目标函数之间是无法比较并且相互之间经常是冲突的,一个目标函数的改进往往以牺牲另外一个目标函数的值为代价的.因此可以看出多目标优化问题往往包含多个解,并且各个解之间无法比较其优劣性,这些解统称为Pareto解集。Pareto解集内的解没有优劣之分。
分支覆盖:目的是能找到遍历指定分支的测试用例。
测试集是分支充分的当且仅当程序控制流图的每个可达分支b存在一个能遍历b的测试用例。像生成这样的分支充分测试集的问题已经被前人列为搜索集问题。
进行测试用例生成时,将测试准则(如某些覆盖准则)转换为一个目标函数(objectiveFunction),从而将测试生成的问题转换为一个搜索优化问题。
基于搜索的测试生成技术是近年来新兴的软件测试技术,通过将测试用例生成转化为一个搜索过程,已取得重大研究进展并在软件生产实践中成功实用。
软件测试的本质是针对要测试的内容确定一组测试用例。
<