2011年某通讯公司推出一组手机卡号码，卡号的前七位数字固定，后四位数从“0000”到“9999”共10000个号码．公司规定：凡卡号的后四位带数字“6”或“8”的一律作为“金兔卡”，享受一定优惠政策，则这组号码中“金兔卡”的个数为______．

仅依据规格说明书描述的程序功能来设计测试实例的方法称为______。