为方便软考考生对软件评测师考试知识点的检测，希赛软考频道为考生带来软考软件评测师考试知识点填空检测的内容（完整版可在本文文首本文资料处或文末的资料下载栏目下载）。

软考软件评测师考试知识点填空检测（29）内容如下：

第29章 人工智能时代下的软件测试技术发展

人工智能辅助测试技术

·基于约束的技术

基于约束的软件测试技术最早于1991年提出，其基本思想是，将被测程序或其模型，以及测试准则或测试目标转换为________，然后通过________________，最终获得测试用例

·启发式搜索算法

________是计算数学中用于解决最优化的一种搜索算法。这种算法借鉴了进化生物学中的一些现象，包括遗传、突变、自然选择以及杂交等，遵循适者生存、优胜劣汰的遗传原则。

________主要用于基于搜索的测试用例生成，特别是功能测试和基于UML的模型测试。

________是基于蒙特卡洛迭代求解策略的一种随机寻优算法。

·机器学习在软件测试中的应用：软件测试设计推荐、________________、软件脆弱性测试。