中国建设银行官方网站汇率最近国际新闻大事20条
ico
是vcs提供的用于优化覆盖率的feature;一般用户通过dist
solver bofore
等约束了变量的随机概率,而ico
会在用户约束的基础上,做一些自动“修正”,以此来优化随机激励,提高随机多样性,加速覆盖率收敛,缩短 turn-around time TAT
。 主要功能包含如下几部分:
Prognosis
: 用于查看当前平台是否使用ico
,对于都是直接用例测试,没有随机策略的平台,ico
并不适用;Auto Bias
:利用设定策略,ico
会改变原有constraint solver
的行为,施加一定bias
修正随机值;RCA
: root cause trace, 用于诊断变量的未随机bins,是否存在过约束等;Delta-debug
: 提供replay复现功能,对比两次结果间的差异;AutoPurge
: 当前回归得到的ico database可以用于下一次回归,多次迭代;