{"id":4881,"date":"2024-10-08T08:01:01","date_gmt":"2024-10-08T00:01:01","guid":{"rendered":""},"modified":"2024-10-08T08:01:01","modified_gmt":"2024-10-08T00:01:01","slug":"\u4ec0\u4e48\u662f\u8986\u76d6\u65b9\u6cd5_\u8868\u683c\u600e\u4e48\u8986\u76d6\u76f8\u540c\u5185\u5bb9","status":"publish","type":"post","link":"https:\/\/mushiming.com\/4881.html","title":{"rendered":"\u4ec0\u4e48\u662f\u8986\u76d6\u65b9\u6cd5_\u8868\u683c\u600e\u4e48\u8986\u76d6\u76f8\u540c\u5185\u5bb9"},"content":{"rendered":"
\n

\u7b2c\u4e00\u7ae0 \u8986\u76d6\u8868\u7b80\u4ecb<\/h2>\n

 <\/p>\n

\u8986\u76d6\u8868\uff08Covering Arrays\uff09\uff0c\u53c8\u8bd1\u8986\u76d6\u9635\u5217\uff0c\u662f\u7ec4\u5408\u6d4b\u8bd5\u7684\u91cd\u8981\u7814\u7a76\u9886\u57df\u4e4b\u4e00\uff0c\u5e7f\u6cdb\u5e94\u7528\u4e8e\u8f6f\u4ef6\u6d4b\u8bd5\u3001\u786c\u4ef6\u6d4b\u8bd5\u3001\u6750\u6599\u6d4b\u8bd5\u548c\u6d4b\u8bd5\u6fc0\u7d20\u76f8\u4e92\u4f5c\u7528\u5bf9\u57fa\u56e0\u8868\u8fbe\u7684\u5f71\u54cd\u3002 <\/span><\/p>\n

1.1 \u7b80\u8ff0\u8986\u76d6\u8868\u7684\u4f5c\u7528 <\/span><\/h3>\n

\u8f6f\u4ef6\u548c\u786c\u4ef6\u7684\u6d4b\u8bd5\u5728\u4ea7\u54c1\u7684\u5f00\u53d1\u8fc7\u7a0b\u4e2d\u626e\u6f14\u7740\u91cd\u8981\u7684\u89d2\u8272\uff0c\u56e0\u6b64\u8f6f\u4ef6\u6d4b\u8bd5\u5e38\u5e38\u5728\u8f6f\u4ef6\u5f00\u53d1\u7684\u8fc7\u7a0b\u4e2d\u8017\u8d39\u5927\u534a\u65f6\u95f4\u548c\u8d44\u6e90[1]<\/sup>\u901a\u5e38\u60c5\u51b5\u4e0b\uff0c\u5373\u4fbf\u662f\u5bf9\u4e8e\u7b80\u5355\u7684\u8f6f\u4ef6\u6216\u662f\u786c\u4ef6\u4ea7\u54c1\uff0c\u7a77\u4e3e\u6d4b\u8bd5\u4e5f\u662f\u4e0d\u53ef\u884c\u7684\uff0c\u56e0\u4e3a\u53ef\u80fd\u7684\u6d4b\u8bd5\u7528\u4f8b\u7684\u6570\u91cf\u975e\u5e38\u5de8\u5927\u3002\u56e0\u6b64\u9700\u8981\u4e00\u4e2a\u79d1\u5b66\u6709\u6548\u7684\u6d4b\u8bd5\u8ba1\u5212\uff0c\u5bf9\u5f85\u6d4b\u7cfb\u7edf\u4e2d\u5404\u53c2\u6570\u4e4b\u95f4\u7684\u7ec4\u5408\u8fdb\u884c\u6709\u6548\u7684\u6d4b\u8bd5\u3002\u8fd9\u79cd\u7ec4\u5408\u6d4b\u8bd5\u9700\u8981\u4e00\u79cd\u6d4b\u8bd5\u7528\u4f8b\u96c6\u751f\u6210\u6cd5\uff0c\u5b83\u53ef\u4ee5\u751f\u6210\u5c11\u91cf\u9ad8\u8d28\u91cf\u7684\u6d4b\u8bd5\u7528\u4f8b\u3002 <\/span><\/p>\n

\u6839\u636e\u7814\u7a76\u8868\u660e\uff0c\u6709\u767e\u5206\u4e4b\u4e03\u5341[2]<\/sup>\u7684\u9519\u8bef\u80fd\u901a\u8fc7\u6d4b\u8bd5\u6bcf\u4e24\u4e2a\u53c2\u6570\u4e4b\u95f4\u7684\u5173\u7cfb\u627e\u51fa\u3002\u51fa\u4e8e\u5bf9\u6d4b\u8bd5\u7528\u4f8b\u751f\u6210\u7684\u96be\u5ea6\u3001\u6d4b\u8bd5\u7684\u6210\u672c\u548c\u8986\u76d6\u5f3a\u5ea6\u5bf9\u8986\u76d6\u8868\u89c4\u6a21\u7684\u5f71\u54cd\uff0c\u5bf9\u4efb\u610f\u4e24\u4e2a\u53c2\u6570\u4e4b\u95f4\u7ec4\u5408\u8fdb\u884c\u5b8c\u5168\u8986\u76d6\u7684\u4e8c\u7ef4\u8986\u76d6\u8868\u53ef\u4ee5\u6ee1\u8db3\u5927\u90e8\u5206\u7684\u7ec4\u5408\u6d4b\u8bd5\u8981\u6c42\u3002 <\/span><\/p>\n

\u4e3e\u4e2a\u4f8b\u5b50\u6765\u8bf4\uff0c\u5047\u8bbe\u6211\u4eec\u6709\u4e00\u53f0\u5177\u670920\u4e2a\u5f00\u5173\u7684\u539f\u578b\u673a\uff0c\u6bcf\u4e2a\u5f00\u5173\u6709\"\u5f00\u542f\"\u548c\"\u5173\u95ed\"\u4e24\u4e2a\u72b6\u6001\uff0c\u6211\u4eec\u5e0c\u671b\u5728\u5b9a\u578b\u6295\u4ea7\u4e4b\u524d\u6d4b\u8bd5\u8fd9\u53f0\u539f\u578b\u673a\u3002\u5982\u679c\u7a77\u4e3e\u7684\u8bdd\u603b\u5171\u67092^20\u79cd\u53ef\u80fd\uff0c\u5168\u90e8\u6d4b\u8bd5\u4e00\u8fb9\u663e\u5f97\u4e0d\u5207\u5b9e\u9645\u800c\u4e14\u82b1\u8d39\u5927\u3002\u5728\u8fd9\u79cd\u60c5\u51b5\u4e0b\u6211\u4eec\u53ef\u4ee5\u6362\u4e00\u79cd\u7b80\u5355\u4e00\u4e9b\u7684\u65b9\u5f0f\uff0c\u6211\u4eec\u53d6\u4e00\u4e2a\u6240\u6709\u6d4b\u8bd5\u7528\u4f8b\u7684\u5b50\u96c6\uff0c\u5728\u8fd9\u4e2a\u5b50\u96c6\u4e2d\u4efb\u610f\u4e09\u4e2a\u5f00\u5173\u4e4b\u95f4\u76842^2\u79cd\u53ef\u80fd\u7684\u7ec4\u5408\u90fd\u88ab\u6d4b\u8bd5\u5230\u3002\u8fd9\u6837\u95ee\u9898\u5c31\u53d8\u6210\u4e86\u5982\u4f55\u8ba9\u6211\u4eec\u9700\u8981\u7684\u6d4b\u8bd5\u7528\u4f8b\u96c6\u6700\u5c0f\uff0c\u8fd9\u4e2a\u95ee\u9898\u5c31\u662f\u8986\u76d6\u8868\uff08Covering Arrays\uff09\u95ee\u9898\u7684\u4e00\u4e2a\u5b9e\u4f8b\u3002 <\/span><\/p>\n

\u4f9d\u7167\u4e0a\u8ff0\u5b9e\u4f8b\u5efa\u6a21\u53ef\u4ee5\u5f97\u5230\u4e00\u4e2aCA\uff0810::2,20,2\uff09\u7684\u8986\u76d6\u8868\uff0c\u5982\u4e0b\u56fe\u3002\uff08\u5177\u4f53\u5b9a\u4e49\u4f1a\u5728\u4e0b\u6587\u4e2d\u4ecb\u7ecd\uff09\u3002\u8fd9\u4e2a\u8986\u76d6\u8868\u89c4\u6a21\u4e3a10\uff0c\u6bcf\u4e24\u5217\u4e4b\u95f4\u6ee1\u8db3\u5168\u6392\u5217\u3002 <\/span><\/p>\n

 <\/p>\n

\"\u4ec0\u4e48\u662f\u8986\u76d6\u65b9\u6cd5_\u8868\u683c\u600e\u4e48\u8986\u76d6\u76f8\u540c\u5185\u5bb9<\/p>\n

\u56fe1 CA(10:2,20,2) <\/span><\/p>\n

1.2 <\/span>\u73b0\u884c\u8986\u76d6\u8868\u7b97\u6cd5<\/span><\/span><\/h3>\n

\u8986\u76d6\u8868\u7684\u7814\u7a76\u5df2\u6709\u5f88\u957f\u65f6\u95f4\uff0c\u76ee\u524d\u6709\u591a\u79cd\u6c42\u89e3\u8986\u76d6\u8868\u7684\u65b9\u6cd5\uff0c\u542f\u53d1\u5f0f\u641c\u7d22\u65b9\u6cd5\u3001\u6570\u5b66\u65b9\u6cd5\u548c\u8bb8\u591a\u79cd\u8d2a\u5fc3\u7b97\u6cd5\uff0c\u4f46\u8fd9\u4e9b\u65b9\u6cd5\u90fd\u5b58\u5728\u5404\u81ea\u7684\u5c40\u9650\u6027,\u5e76\u53ea\u80fd\u5728\u89e3\u51b3\u67d0\u4e9b\u7279\u5b9a\u95ee\u9898\u65f6\u5177\u6709\u4e00\u5b9a\u7684\u4f18\u52bf\u3002\u4f8b\u5982:TConfig[3]<\/sup>\u662f\u4e00\u79cd\u5229\u7528\u6b63\u4ea4\u8868\u7b49\u57fa\u672c\u6210\u5206\u8fdb\u884c\u9012\u5f52\u6784\u9020\u7684\u6570\u5b66\u65b9\u6cd5,\u8be5\u65b9\u6cd5\u5177\u6709\u751f\u6210\u901f\u5ea6\u5feb\u7684\u7279\u70b9\uff0c\u4f46\u4e0d\u8db3\u4e4b\u5904\u5c31\u662f\u9700\u8981\u4f9d\u8d56\u5df2\u6709\u7684\u4ee3\u6570\u6216\u7ec4\u5408\u5bf9\u8c61\u3002\u5728\u542f\u53d1\u5f0f\u641c\u7d22\u65b9\u9762,\u53ef\u4ee5\u4f7f\u7528\u7981\u5fcc\u641c\u7d22\u548c\u6a21\u62df\u9000\u706b(SA)\u7b49\u65b9\u6cd5\u751f\u6210\u8f83\u5c0f\u7684\u6d4b\u8bd5\u7528\u4f8b\u96c6,\u4f46\u8fd9\u4e9b\u65b9\u6cd5\u4e00\u822c\u9700\u8981\u8f83\u957f\u7684\u65f6\u95f4.\u76f8\u6bd4\u4e4b\u4e0b,\u542f\u53d1\u5f0f\u8d2a\u5fc3\u7b97\u6cd5\u4e0d\u4ec5\u7075\u6d3b,\u800c\u4e14\u901f\u5ea6\u5feb,\u76ee\u524d\u5df2\u7ecf\u5206\u522b\u63d0\u51fa\u4e86 AETG\u3001TCG\u3001DDA\u548cIPO\u7b49\u591a\u79cd\u542f\u53d1\u5f0f\u8d2a\u5fc3\u65b9\u6cd5,\u8fd9\u4e9b\u65b9\u6cd5\u4e4b\u95f4\u65e2\u6709\u533a\u522b\u53c8\u6709\u5f88\u5927\u7684\u76f8\u4f3c\u6027\u3002 <\/span><\/p>\n

\u4e0b\u9762\u7b80\u5355\u4ecb\u7ecd\u90e8\u5206\u8d2a\u5fc3\u7b97\u6cd5\u6846\u67b6\u4e4b\u5916\u7684\u8986\u76d6\u8868\u751f\u6210\u7b97\u6cd5\u3002 <\/span><\/p>\n

1.2.1 Tconfig\u7b97\u6cd5 <\/span><\/h4>\n

\u4f7f\u7528\u6b63\u4ea4\u62c9\u4e01\u65b9\uff08orthogonal Latin Squares\uff09\u7684\u65b9\u6cd5\uff0c\u751f\u6210\u53cc\u5411\u7684\u7ec4\u5408\u6d4b\u8bd5\u7528\u4f8b\u96c6\u3002 <\/span><\/p>\n

\u8bbe\u6709\u4e24\u4e2a\u9636\u6570\u76f8\u540c(\u4e3a)\u7684\u62c9\u4e01\u65b9\u9635 <\/span><\/p>\n

 <\/p>\n

\uff0c\u5176\u4e2d\u5c06\u6240\u6709\u653e\u7f6e\u4f4d\u7f6e\u76f8\u540c\u7684\u5143\u7d20\u7ec4\u5408\u6210\u4e00\u4e2a\u5143\u7ec4\uff0c\u7ec4\u5408\u6210\u4e00\u4e2a\u65b0\u7684\u77e9\u9635 <\/span><\/p>\n

 <\/p>\n

\u3002 \u5f53\u8fd9\u4e2a\u65b0\u7684\u77e9\u9635 <\/span><\/p>\n

\u4e2d\u6bcf\u4e00\u4e2a\u5143\u7d20\u4e92\u4e0d\u76f8\u540c\uff0c\u62c9\u4e01\u65b9\u9635\"\u4ec0\u4e48\u662f\u8986\u76d6\u65b9\u6cd5_\u8868\u683c\u600e\u4e48\u8986\u76d6\u76f8\u540c\u5185\u5bb9\u548c\u662f\u4e92\u76f8\u6b63\u4ea4\u7684\u3002 <\/span><\/p>\n

\u6b64\u65f6\uff0c\"\u4ec0\u4e48\u662f\u8986\u76d6\u65b9\u6cd5_\u8868\u683c\u600e\u4e48\u8986\u76d6\u76f8\u540c\u5185\u5bb9\u548c\"\u4ec0\u4e48\u662f\u8986\u76d6\u65b9\u6cd5_\u8868\u683c\u600e\u4e48\u8986\u76d6\u76f8\u540c\u5185\u5bb9\u5373\u4e3a\u4e00\u5bf9\u6b63\u4ea4\u62c9\u4e01\u65b9\u3002 \u800c\u5728\u9636\u6570\u56fa\u5b9a\u7684\u60c5\u51b5\u4e0b\uff0c\u6240\u6709\u4e24\u4e24\u6b63\u4ea4\u7684\u62c9\u4e01\u65b9\u6240\u6210\u7684\u96c6\u5408\u79f0\u4e3a\u6b63\u4ea4\u62c9\u4e01\u65b9\u65cf\u3002 <\/span><\/p>\n

\u6b64\u7b97\u6cd5\u5229\u7528\u6b63\u4ea4\u62c9\u4e01\u65b9\u7684\u7279\u6027\uff0c\u53ef\u4ee5\u4e0b\u5c0f\u89c4\u6a21\u548c\u7279\u5b9a\u60c5\u51b5\u4e0b\u5feb\u901f\u751f\u6210\u8986\u76d6\u8868\u3002\u540c\u6837\u5730\uff0c\u6b64\u7b97\u6cd5\u56e0\u4e3a\u57fa\u4e8e\u62c9\u4e01\u65b9\u7684\u7279\u6027\u4e0d\u591f\u7075\u6d3b\uff0c\u4e0d\u80fd\u5e94\u5bf9\u901a\u5e38\u60c5\u51b5\u3002 <\/span><\/p>\n

1.2.2\u722c\u5c71\u7b97\u6cd5 <\/span><\/h4>\n

\u722c\u5c71\u3001\u6a21\u62df\u9000\u706b\u548c\u7981\u5fcc\u641c\u7d22\u662f\u7528\u4e8e\u6c42\u89e3\u7ec4\u5408\u4f18\u5316\u95ee\u9898\u7684\u72b6\u6001\u7a7a\u95f4\u641c\u7d22\u6280\u672f\u7684\u53d8\u79cd\u3002\u6709\u4e00\u4e2a\u4e00\u822c\u7684\u4f18\u5316\u95ee\u9898\uff0c\u76ee\u7684\u662f\u627e\u5230\u7684\u89e3\u51b3\u65b9\u6848\u662f\u63a5\u8fd1\u6700\u4f18\u7684\u3002\u6709\u8bb8\u591a\u6211\u4eec\u5df2\u77e5\u7684\u89e3\u51b3\u65b9\u6848\uff0c\u80fd\u4f7f\u5f97\u6211\u4eec\u5f97\u5230\u4ece\u6210\u672c\u4e0a\u6765\u8bf4\u6700\u4f73\u7684\u7ed3\u679c\uff0c\u540c\u65f6\uff0c\u5728\u8fd9\u4e9b\u89e3\u51b3\u65b9\u6848\u4e0b\u7684\u7528\u4f8b\u96c6\u5f88\u5c0f\u3002 <\/span><\/p>\n

\u4e00\u4e2a\u4f18\u5316\u95ee\u9898\u53ef\u4ee5\u88ab\u6307\u5b9a\u4e3a\u53ef\u884c\u89e3\uff08\u6216\u72b6\u6001\uff09\u7684\u96c6\u5408\u03a3\uff0c\u4ee5\u53ca\u6210\u672cC(S)\u5bf9\u4e8e\u6bcf\u4e2a S \u2208 \u03a3\u3002\u6700\u4f18\u89e3\u5bf9\u5e94\u4e8e\u5177\u6709\u603b\u4f53\u6700\u5c0f\u6210\u672c\u7684\u53ef\u884c\u89e3\u3002\u5bf9\u4e8e\u6bcf\u4e2aS \u2208 \u03a3\uff0c\u6211\u4eec\u5b9a\u4e49\u4e86\u53d8\u6362\u96c6\u5408TS\uff0cTS\u4e2d\u7684\u6bcf\u4e00\u79cd\u53d8\u6362\u90fd\u53ef\u4ee5\u7528\u6765\u5c06S\u53d8\u6362\u6210\u53e6\u4e00\u4e2a\u53ef\u884c\u89e3S'\u3002\u901a\u8fc7\u4eceTS\u5e94\u7528\u53d8\u6362\uff0c\u53ef\u4ee5\u4eceS\u8f6c\u6362\u51fa\u7684\u76f8\u90bb\u89e3\u79f0\u4e3aS\u7684\u90bb\u57dfN\uff08S\uff09\u3002 <\/span><\/p>\n

\u6211\u4eec\u9996\u5148\u968f\u673a\u9009\u62e9\u4e00\u4e2a\u521d\u59cb\u53ef\u884c\u89e3\uff0c\u7136\u540e\u751f\u6210\u4e00\u4e2a\u968f\u673a\u9009\u62e9\u7684\u5f53\u524d\u53ef\u884c\u89e3\u7684\u53d8\u6362S\u3002\u5982\u679c\u53d8\u6362\u5f97\u5230\u4e00\u4e2a\u76f8\u7b49\u6216\u66f4\u4f4e\u6210\u672c\u7684\u53ef\u884c\u89e3S\uff0c\u5219S'\u88ab\u8ba4\u4e3a\u662f\u65b0\u7684\u5f53\u524d\u53ef\u884c\u89e3\u3002\u5982\u679cS'\u662f\u66f4\u9ad8\u7684\u6210\u672c\uff0c\u6211\u4eec\u62d2\u7edd\u8fd9\u4e2a\u89e3\u51b3\u65b9\u6848\uff0c\u5e76\u68c0\u67e5\u53e6\u4e00\u4e2a\u968f\u673a\u9009\u62e9\u7684\u90bb\u5c45\u5f53\u524d\u53ef\u884c\u7684\u89e3\u51b3\u65b9\u6848\u3002\u8fd9\u5141\u8bb8\u6211\u4eec\u968f\u673a\u8d70\u52a8\uff0c\u800c\u4e0d\u964d\u4f4e\u6211\u4eec\u5f53\u524d\u89e3\u7684\u4f18\u70b9\u3002\u722c\u5c71\u6709\u53ef\u80fd\u9677\u5165\u5c40\u90e8\u6781\u5c0f\uff08\u6216\u51bb\u7ed3\uff09\uff0c\u56e0\u6b64\u9700\u8981\u505c\u6b62\u542f\u53d1\u5f0f\u3002\u4e3a\u4e86\u589e\u52a0\u5f62\u6210\u4e00\u4e2a\u597d\u7684\u89e3\u51b3\u65b9\u6848\u7684\u673a\u4f1a\uff0c\u6211\u4eec\u91cd\u590d\u968f\u673a\u6e38\u8d70\uff08\u6216\u8bd5\u9a8c\uff09\u591a\u6b21\uff0c\u6bcf\u6b21\u4ece\u968f\u673a\u521d\u59cb\u53ef\u884c\u89e3\u5f00\u59cb\u3002 <\/span><\/p>\n

\u5728\u722c\u5c71\u7b97\u6cd5\u4e2d\uff0c\u5f53\u524d\u53ef\u884c\u89e3\u662f\u4e00\u4e2a\u8fd1\u4f3c\u7684S\u8986\u76d6\u9635\u5217\uff0c\u5176\u4e2d\u67d0\u4e9bT\u5b50\u96c6\u6ca1\u6709\u88ab\u8986\u76d6\u3002\u6210\u672c\u51fd\u6570\u662f\u57fa\u4e8e\u672a\u8986\u76d6\u7684T\u5b50\u96c6\u7684\u6570\u76ee\uff0c\u56e0\u6b64\u8986\u76d6\u9635\u5217\u672c\u8eab\u5c06\u5177\u6709\u96f6\u6210\u672c\u3002\u901a\u8fc7\u9009\u62e9\u5c5e\u4e8eS\u7684k\u4e2a\u96c6\u5408\u4e2d\u7684\u4e00\u4e2a\uff0c\u7136\u540e\u901a\u8fc7\u4e0d\u5728k\u96c6\u5408\u4e2d\u7684\u968f\u673a\u70b9\u66ff\u6362\u8be5k\u4e2a\u96c6\u5408\u4e2d\u7684\u968f\u673a\u70b9\u6765\u8fdb\u884c\u6f5c\u5728\u53d8\u6362\u3002\u5728\u722c\u5c71\u8bd5\u9a8c\u4e2d\uff0c\u5757\u7684\u6570\u91cf\u4fdd\u6301\u4e0d\u53d8\u3002 <\/span><\/p>\n

\u6211\u4eec\u9488\u5bf9\u6700\u4f18\u9635\u5217\u7684\u5927\u5c0f\u677e\u5f1b\u7684\u4e0a\u4e0b\u754c\uff0c\u7136\u540e\u901a\u8fc7\u4e8c\u5206\u641c\u7d22\u8fc7\u7a0b\u5728\u8be5\u533a\u95f4\u4e2d\u627e\u5230\u89c4\u6a21\u6700\u5c0f\u7684\u8986\u76d6\u9635\u5217\u3002\u53e6\u4e00\u79cd\u65b9\u6cd5\u662f\u4ece\u5df2\u77e5\u6d4b\u8bd5\u7528\u4f8b\u96c6\u7684\u5927\u5c0f\u5f00\u59cb\u5e76\u641c\u7d22\u89e3\u51b3\u65b9\u6848\u3002\u5f53\u7136\uff0c\u4f7f\u7528\u66f4\u5c11\u7684\u8ba1\u7b97\u8d44\u6e90\uff0c\u4f46\u5fc5\u987b\u63d0\u524d\u77e5\u9053\u6240\u9700\u7684\u6d4b\u8bd5\u7528\u4f8b\u96c6\u5927\u5c0f\u3002\u7406\u60f3\u60c5\u51b5\u4e0b\uff0c\u5728\u5b9e\u9645\u7cfb\u7edf\u4e2d\uff0c\u4f7f\u7528\u7b2c\u4e8c\u79cd\u7684\u65b9\u6cd5\u3002 <\/span><\/p>\n

1.2.3 \u7981\u5fcc\u641c\u7d22 <\/span><\/h4>\n

Tabu\u641c\u7d22\u901a\u8fc7\u5141\u8bb8\u5f53\u524d\u53ef\u884c\u7684\u89e3\u51b3\u65b9\u6848\u88ab\u8f83\u5dee\u7684\u66ff\u4ee3\u6765\u8fdb\u884c\u722c\u5c71\u3002\u5b83\u9650\u5236\u4f7f\u7528\u7981\u5fcc\u548c\u6307\u5b9a\u8868\u7684\u53d8\u5316\u3002\u7b2c\u4e00\u662f\u7981\u6b62\u88ab\u8ba4\u4e3a\u7f3a\u4e4f\u4ef7\u503c\u7684\u64cd\u4f5c\uff0c\u6bd4\u5982\u5012\u8f6c\u521a\u521a\u505a\u7684\u64cd\u4f5c\u3002\u5176\u6b21\u662f\u5206\u914d\u66f4\u9ad8\u7684\u6743\u91cd\u6765\u5b9e\u73b0\u671f\u671b\u7684\u6027\u80fd\u3002NurMela[4]<\/sup>\u4f7f\u7528Tabu\u641c\u7d22\u63cf\u8ff0\u4e86\u8bb8\u591a\u6210\u529f\u7684\u641c\u7d22\u6848\u4f8b\u3002 <\/span><\/p>\n

1.2.4 \u6a21\u62df\u9000\u706b <\/span><\/h4>\n

Nurmela \u548c Osterg\u02daard[5],[6]<\/sup>\u91c7\u7528\u6a21\u62df\u9000\u706b\u65b9\u6cd5\uff0c\u6784\u9020\u4e86\u4e0e\u8986\u76d6\u9635\u5217\u975e\u5e38\u76f8\u4f3c\u7684\u8986\u76d6\u8bbe\u8ba1\u3002Stevens\u30147\u3015<\/sup>\u3001Stardom\u30148\u3015<\/sup>\u3001\u79d1\u6069\u53ca\u5176\u540c\u4e8b\u30149\u3015<\/sup>\u5c06\u6a21\u62df\u9000\u706b\u5e94\u7528\u4e8e\u8986\u76d6\u9635\u5217\u7684\u641c\u7d22\u3002 <\/span><\/p>\n

\u6a21\u62df\u9000\u706b\u4f7f\u7528\u4e0e\u722c\u5c71\u76f8\u540c\u7684\u65b9\u6cd5\uff0c\u4f46\u5141\u8bb8\u7b97\u6cd5\u4ee5\u53d7\u63a7\u7684\u6982\u7387\u8fdb\u884c\u9009\u62e9\uff0c\u4ece\u800c\u964d\u4f4e\u5f53\u524d\u89e3\u51b3\u65b9\u6848\u7684\u8d28\u91cf\u3002\u8fd9\u4e2a\u7b97\u6cd5\u7684\u601d\u8def\u5c31\u662f\u5728\u8fdb\u884c\u641c\u7d22\u7684\u540c\u65f6\u907f\u514d\u9677\u5165\u574f\u7684\u60c5\u51b5\u5bfc\u81f4\u5361\u6b7b\u3002\u5982\u679c\u53d8\u6362\u5f97\u5230\u4e86\u8f83\u9ad8\u6210\u672c\u7684\u53ef\u884c\u89e3S`\uff0c\u5219\u5728exp(\u2212(c(S\u2032)\u2212c(S))\/KBT)\u7684\u6982\u7387\u4e0bS`\u662f\u53ef\u4ee5\u63a5\u53d7\u7684\uff0c\u5176\u4e2dT\u662f\u63a7\u5236\u6a21\u62df\u7684\u6e29\u5ea6\uff0cKB\u662f\u4e00\u4e2a\u5e38\u6570\u3002 <\/span><\/p>\n

\u5728\u8fd9\u4e2a\u6e29\u5ea6\u4e0b\uff0c\u901a\u8fc7\u5728\u6bcf\u4e2a\u6e29\u5ea6\u4e0b\u901a\u8fc7\u4e00\u7cfb\u5217\u8dc3\u8fc1\uff08\u6216\u9a6c\u5c14\u53ef\u592b\u94fe\uff09\uff0c\u5141\u8bb8\u7cfb\u7edf\u5728\u6bcf\u4e2a\u6b65\u9aa4\u4e2d\u63a5\u8fd1\"\u5e73\u8861\"\u3002\u901a\u5e38\u8fd9\u662f\u901a\u8fc7\u8bbe\u7f6et:=\u03b1t\u6765\u5b8c\u6210\u7684\uff0c\u5176\u4e2d\u03b1\uff08\u63a7\u5236\u51cf\u91cf\uff09\u662f\u5b9e\u6570\u5c0f\u4e8e1\u3002\u5728\u6ee1\u8db3\u9002\u5f53\u7684\u505c\u6b62\u6761\u4ef6\u4e4b\u540e\uff0c\u5c06\u5f53\u524d\u53ef\u884c\u89e3\u4f5c\u4e3a\u5bf9\u624b\u5934\u95ee\u9898\u7684\u89e3\u7684\u8fd1\u4f3c\u3002\u518d\u6b21\uff0c\u6211\u4eec\u901a\u8fc7\u591a\u6b21\u8bd5\u9a8c\u6765\u63d0\u9ad8\u83b7\u5f97\u826f\u597d\u89e3\u51b3\u65b9\u6848\u7684\u673a\u4f1a\u3002 <\/span><\/p>\n

1.2.5 Great Deluge \u7b97\u6cd5 <\/span><\/h4>\n

\u53e6\u4e00\u79cd\u542f\u53d1\u5f0f\u641c\u7d22\u6280\u672f\u88ab\u79f0\u4e3agreat flood[10]<\/sup>\u6216\u8005\u662f great deluge[11]<\/sup>\uff0c\u662fthreshold accepting\u7b97\u6cd5\u7684\u4e00\u79cd\u53d8\u79cd\u3002 <\/span><\/p>\n

\u8fd9\u4e9b\u7b97\u6cd5\u9075\u5faa\u7c7b\u4f3c\u4e8e\u6a21\u62df\u9000\u706b\u7684\u7b56\u7565\uff0c\u4f46\u901a\u5e38\u663e\u793a\u66f4\u5feb\u901f\u7684\u6536\u655b\u3002\u5f53\u6210\u672c\u8f83\u9ad8\u65f6\uff0c\u4e0d\u4f7f\u7528\u6982\u7387\u6765\u51b3\u5b9a\u79fb\u52a8\uff0c\u5982\u679c\u6210\u672c\u5c0f\u4e8e\u5f53\u524d\u9608\u503c\uff0c\u5219\u9009\u62e9\u66f4\u5dee\u7684\u53ef\u884c\u89e3\u3002\u8fd9\u4e2a\u9608\u503c\u6709\u65f6\u88ab\u79f0\u4e3a\u6c34\u4f4d\uff0c\u5728\u5229\u6da6\u6700\u5927\u5316\u7684\u95ee\u9898\u4e2d\uff0c\u6c34\u4f4d\u5c06\u4e0a\u5347\u800c\u4e0d\u662f\u4e0b\u964d\uff08\u6b63\u5982\u5728\u8fd9\u79cd\u60c5\u51b5\u4e0b\u53d1\u751f\u7684\uff09\u3002\u968f\u7740\u7b97\u6cd5\u7684\u53d1\u5c55\uff0c\u9608\u503c\u88ab\u964d\u4f4e\uff0c\u4f7f\u5176\u63a5\u8fd1\u96f6\u3002\u8fd9\u4e9b\u4f3c\u4e4e\u6ca1\u6709\u63a2\u7d22\u8986\u76d6\u9635\u5217\u7684\u6784\u9020\u3002 <\/span><\/p>\n

1.2.6 \u9057\u4f20\u7b97\u6cd5 <\/span><\/h4>\n

\u5728\u542f\u53d1\u5f0f\u641c\u7d22\u7684\u9886\u57df\u4e2d\uff0c\u9057\u4f20\u7b97\u6cd5\u88ab\u8bc1\u660e\u662f\u6709\u76f8\u5f53\u7ade\u4e89\u529b\u7684\u3002\u5176\u57fa\u672c\u7684\u601d\u8def\u662f\u7ef4\u6301\u4e00\u4e2a\u5047\u5b9a\u7684\u89e3\u51b3\u65b9\u6848\u7684\u4eba\u53e3\uff0c\u5e76\u4e14\u7531\u4e24\u79cd\u64cd\u4f5c\u5c06\u4eba\u53e3\u4ece\u4e00\u4ee3\u6f14\u53d8\u5230\u4e0b\u4e00\u4ee3\u3002\u7a81\u53d8\u4f7f\u5047\u5b9a\u7684\u89e3\u51b3\u65b9\u6848\u4e2d\u53d1\u751f\u5c40\u90e8\u5c40\u90e8\u53d8\u5316\uff0c\u800c\u4ea4\u53c9\u7ec4\u5408\u4e86\u4e00\u4e2a\u89e3\u51b3\u65b9\u6848\u7684\u4e00\u90e8\u5206\u548c\u53e6\u4e00\u4e2a\u89e3\u51b3\u65b9\u6848\u7684\u4e00\u90e8\u5206\u3002\u65b0\u4e00\u4ee3\u7684\u751f\u5b58\u53d6\u51b3\u4e8e\u6bcf\u4e00\u4e2a\u65b0\u63a8\u5b9a\u7684\u89e3\u51b3\u65b9\u6848\u7684\u76f8\u5bf9\u9002\u5408\u5ea6\u3002\u7c97\u7565\u5730\u8bf4\uff0c\u8fd9\u51b3\u5b9a\u4e86\u5982\u4f55\"\u63a5\u8fd1\"\u5230\u6240\u9700\u7684\u8986\u76d6\u6570\u7ec4\u3002<\/span><\/p>\n

 <\/p>\n

 <\/p>\n

\u7b2c\u4e8c\u7ae0 \u8986\u76d6\u8868\u7684\u57fa\u672c\u5b9a\u4e49\u548c\u5e94\u7528 <\/span><\/h2>\n

2.1 \u5f85\u6d4b\u7cfb\u7edf <\/span><\/h3>\n

\u5f85\u6d4b\u7cfb\u7edf\uff08System Under Testing\uff09\u662f\u8986\u76d6\u8868\u670d\u52a1\u7684\u5bf9\u8c61\uff0c\u7cfb\u7edf\u5728\u6b64\u662f\u4e00\u4e2a\u6cdb\u6307\u3002\u5047\u5b9a\u5f71\u54cdSUT\u7684\u53c2\u6570\u6709k\u4e2a\uff0c\u8bb0\u4e3aF={f1, f2, f3, \u2026. fk}\uff0c\u5176\u4e2d\u53c2\u6570fi\u6709ai\u4e2a\u53d6\u503cVi = {0,1,2,3....ai-1}\uff0c,1\u2264i\u2264k\u3002 <\/span><\/p>\n

2.2 \u8986\u76d6\u8868\u7684\u5b9a\u4e49 <\/span><\/h3>\n

\u8bb0SUT \u7684\u4e00\u6761\u6d4b\u8bd5\u7528\u4f8b\u4e3ak \u5143\u7ec4(v1,v2,\u2026,vk)(vi\uf0ceVi)\u3002 <\/span><\/p>\n

\u8986\u76d6\u8868\u662f\u7ec4\u5408\u6d4b\u8bd5\u7684\u7528\u4f8b\u96c6\uff0c\u5176\u5b9a\u4e49[12]<\/sup>\u5982\u4e0b\uff1a <\/span><\/p>\n

\u5f85\u6d4b\u8bd5\u7cfb\u7edf SUT \u7684 t \u7ef4\u8986\u76d6\u8868 CA(N;t,k, (v1,v2,\u2026,vk))(\u6216 CA(N;t,v^k)\uff0c\u5f53 v1=v2=\u2026=vk=v \u65f6)\u662f\u4e00\u4e2a N\uf0b4k\u7684\u6570\u7ec4,\u5176\u4e2d\u7b2c i \u5217\u5bf9\u5e94\u7b2c i \u4e2a\u53c2\u6570\u3002\u8be5\u53c2\u6570\u53d6\u503c\u8bb0\u4e3a vi\uff0c\u4efb\u610f t \u4e2a\u53c2\u6570\u5f62\u6210\u7684 N x t \u7684\u5b50\u6570\u7ec4\u4e2d\u5305\u542b\u4e86\u8be5 t \u4e2a\u53c2\u6570\u7684\u6240\u6709 t \u5143\u7ec4[13]<\/sup>,\u5176\u4e2d,t \u4e3a\u7ec4\u5408\u8986\u76d6\u6d4b\u8bd5\u7684\u5f3a\u5ea6\u3002\u672c\u6587\u4e2d\u63d0\u5230\u7684\u4e24\u4e24\u7ec4\u5408\u6d4b\u8bd5\u6307\u7684\u662f t=2 \u7684\u60c5\u51b5,\u5373\u5229\u7528\u4e8c\u7ef4\u8986\u76d6\u8868 CA(N;2,k,(v1,v2,\u2026,vk))\u8fdb\u884c\u6d4b\u8bd5\u3002 <\/span><\/p>\n

\u4e0b\u9762\u6211\u4eec\u5f15\u5165\u4e00\u4e2a\u4f8b\u5b50\u65b9\u4fbf\u7406\u89e3\u5b9a\u4e49\uff1a <\/span><\/p>\n

\u4e00\u4e2a\u7f51\u7edc\u8f6f\u4ef6\u7cfb\u7edf\uff0c\u5b83\u4e5f\u8bb8\u53ef\u4ee5\u8ba9\u7528\u6237\u81ea\u5b9a\u4e49\u591a\u79cd\u4e0d\u540c\u7684\u6d4f\u89c8\u5668\uff08f1\uff09\uff0c\u5b83\u4e5f\u53ef\u4ee5\u8fd0\u884c\u5728\u4e0d\u540c\u7684\u64cd\u4f5c\u7cfb\u7edf\uff08f2\uff09\u4e0a\uff0c \u4f7f\u7528\u591a\u79cd\u4e0d\u540c\u7684\u7f51\u7edc\u8fde\u63a5\u65b9\u5f0f\uff08f3\uff09\u548c\u6253\u5370\u65b9\u5f0f\uff08f4\uff09\u3002\u5982\u679c\u6211\u4eec\u8981\u6d4b\u8bd5\u8fd9\u4e2a\u7cfb\u7edf\uff08\u5982\u88682.1\uff09\u6211\u4eec\u9700\u8981\u8fd9\u6837\u5b50\u7684\u7528\u4f8b\uff1a\uff08IE,Windows,LAN,Local\uff09\u3001\uff08Chrome, MacOS, PPP, Networked\uff09\u3002\u4e3a\u4e86\u6d4b\u8bd5\u6240\u6709\u53ef\u80fd\u7684\u7ec4\u5408\uff0c\u6211\u4eec\u9700\u89813^4\uff0c\u4e5f\u5c31\u662f81\u6761\u6d4b\u8bd5\u6837\u4f8b\u3002 <\/span><\/p>\n

\u88681 \u7f51\u7edc\u8f6f\u4ef6\u7cfb\u7edf\u7684\u914d\u7f6e <\/span><\/p>\n

\n\n\n\n\n\n\n <\/colgroup>\n\n\n\n\n
\n

Web Browser<\/span><\/p>\n<\/td>\n

\n

Operation System<\/span><\/p>\n<\/td>\n

\n

Connection Type<\/span><\/p>\n<\/td>\n

\n

Print Config<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

IE\uff080\uff09<\/span><\/p>\n<\/td>\n

\n

Windows\uff080\uff09<\/span><\/p>\n<\/td>\n

\n

LAN\uff080\uff09<\/span><\/p>\n<\/td>\n

\n

Local\uff080\uff09<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Chrome\uff081\uff09<\/span><\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table><\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"\u4ec0\u4e48\u662f\u8986\u76d6\u65b9\u6cd5_\u8868\u683c\u600e\u4e48\u8986\u76d6\u76f8\u540c\u5185\u5bb9\u7b2c\u4e00\u7ae0\u8986\u76d6\u8868\u7b80\u4ecb\u8986\u76d6\u8868\uff08CoveringArrays\uff09\uff0c\u53c8\u8bd1\u8986\u76d6\u9635\u5217\uff0c\u662f\u7ec4\u5408\u6d4b\u8bd5\u7684\u91cd\u8981\u7814\u7a76\u9886\u57df\u4e4b...","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"_links":{"self":[{"href":"https:\/\/mushiming.com\/wp-json\/wp\/v2\/posts\/4881"}],"collection":[{"href":"https:\/\/mushiming.com\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/mushiming.com\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/mushiming.com\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/mushiming.com\/wp-json\/wp\/v2\/comments?post=4881"}],"version-history":[{"count":0,"href":"https:\/\/mushiming.com\/wp-json\/wp\/v2\/posts\/4881\/revisions"}],"wp:attachment":[{"href":"https:\/\/mushiming.com\/wp-json\/wp\/v2\/media?parent=4881"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/mushiming.com\/wp-json\/wp\/v2\/categories?post=4881"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/mushiming.com\/wp-json\/wp\/v2\/tags?post=4881"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}