专利详情

专利名称	验证向量的优化方法及装置
申请号	CN200910078243.6	专利类型	发明专利
公开（公告）号	CN101487876	公开（授权）日	2009.07.22
申请（专利权）人	中国科学院计算技术研究所	发明（设计）人	郭崎;沈海华;王朋宇
主分类号	G01R31/3183(2006.01)I	IPC主分类号	G01R31/3183(2006.01)I
专利有效期	验证向量的优化方法及装置至验证向量的优化方法及装置	法律状态	专利实施许可合同备案的生效、变更及注销
说明书摘要	本发明公开了验证向量的优化方法及装置。该方法，包括下列步骤：根据仿真后的初始验证向量，获得所述初始验证向量对所定义的功能点的覆盖率的信息，初始化已覆盖功能点列表，构建分类模型；将新生成的验证向量送入所述分类模型，预测新生成的验证向量对所述功能点的覆盖率，并将使得对所述功能点的覆盖率提高的新生成的验证向量进行仿真，根据仿真结果更新功能点列表，得到覆盖率较高的验证向量。其能够在达到相同覆盖率的情况下，减少了需要进行仿真的验证向量的数目尽可能减少验证向量的使用，缩短仿真时间，从而提高验证效率，加速验证收敛。