{"id":202634,"date":"2025-05-22T11:09:55","date_gmt":"2025-05-22T03:09:55","guid":{"rendered":"https:\/\/server.hk\/cnblog\/202634\/"},"modified":"2025-05-22T11:09:55","modified_gmt":"2025-05-22T03:09:55","slug":"java-%e5%87%bd%e6%95%b0%e9%aa%8c%e8%af%81%e7%9a%84%e6%9c%80%e4%bd%b3%e5%ae%9e%e8%b7%b5%e6%9c%89%e5%93%aa%e4%ba%9b%ef%bc%9f","status":"publish","type":"post","link":"https:\/\/server.hk\/cnblog\/202634\/","title":{"rendered":"Java \u51fd\u6570\u9a8c\u8bc1\u7684\u6700\u4f73\u5b9e\u8df5\u6709\u54ea\u4e9b\uff1f"},"content":{"rendered":"<p><b><\/b>     <\/p>\n<h1>Java \u51fd\u6570\u9a8c\u8bc1\u7684\u6700\u4f73\u5b9e\u8df5\u6709\u54ea\u4e9b\uff1f<\/h1>\n<p><span style=\"color: #222222;, sans-serif;background-color: #FFFFFF\">\u5404\u4f4d\u5c0f\u4f19\u4f34\u4eec\uff0c\u5927\u5bb6\u597d\u5440\uff01\u770b\u770b\u4eca\u5929\u6211\u53c8\u7ed9\u5404\u4f4d\u5e26\u6765\u4e86\u4ec0\u4e48\u6587\u7ae0\uff1f\u672c\u6587\u6807\u9898<span style=\"color: #222222;, sans-serif;background-color: #FFFFFF\">\u662f<\/span><span style=\"color: #FF6600;, Helvetica, Arial, sans-serif;font-size: 14px;background-color: #FFFFFF\">\u300aJava \u51fd\u6570\u9a8c\u8bc1\u7684\u6700\u4f73\u5b9e\u8df5\u6709\u54ea\u4e9b\uff1f\u300b<\/span>\uff0c\u5f88\u660e\u663e\u662f\u5173\u4e8e<span style=\"color: #FF6600;, Helvetica, Arial, sans-serif;font-size: 14px;background-color: #FFFFFF\">\u6587\u7ae0<\/span>\u7684\u6587\u7ae0\u54c8\u54c8\u54c8\uff0c\u5176\u4e2d\u5185\u5bb9\u4e3b\u8981\u4f1a\u6d89\u53ca\u5230<span style=\"color: #FF6600;, Helvetica, Arial, sans-serif;font-size: 14px;background-color: #FFFFFF\"><\/span>\u7b49\u7b49\uff0c\u5982\u679c\u80fd\u5e2e\u5230\u4f60\uff0c\u89c9\u5f97\u5f88\u4e0d\u9519\u7684\u8bdd\uff0c\u6b22\u8fce\u5404\u4f4d\u591a\u591a\u70b9\u8bc4\u548c\u5206\u4eab\uff01<\/span><\/p>\n<p>\u4e3a\u4e86\u786e\u4fdd Java \u51fd\u6570\u7684\u53ef\u9760\u6027\u548c\u6b63\u786e\u6027\uff0c\u6700\u4f73\u5b9e\u8df5\u5305\u62ec\uff1a\u4f7f\u7528\u7c7b\u578b\u6ce8\u91ca\u660e\u786e\u6307\u5b9a\u51fd\u6570\u53c2\u6570\u548c\u8fd4\u56de\u503c\u7c7b\u578b\uff0c\u63d0\u9ad8\u4ee3\u7801\u7684\u53ef\u8bfb\u6027\u5e76\u68c0\u6d4b\u7c7b\u578b\u4e0d\u5339\u914d\u3002\u901a\u8fc7\u65ad\u8a00\u9a8c\u8bc1\u51fd\u6570\u7684\u7279\u5b9a\u6761\u4ef6\uff0c\u5728\u5931\u8d25\u65f6\u629b\u51fa\u5f02\u5e38\uff0c\u5feb\u901f\u8bc6\u522b\u95ee\u9898\u3002\u7f16\u5199\u5355\u5143\u6d4b\u8bd5\u6765\u9a8c\u8bc1\u51fd\u6570\u7684\u8f93\u5165\u3001\u8f93\u51fa\u548c\u5185\u90e8\u884c\u4e3a\uff0c\u63d0\u9ad8\u4ee3\u7801\u7684\u53ef\u6d4b\u8bd5\u6027\u3002\u91c7\u7528 Property Based Testing \u751f\u6210\u8f93\u5165\u6570\u636e\u5e76\u4f7f\u7528\u8c13\u8bcd\u9a8c\u8bc1\u51fd\u6570\u8f93\u51fa\u7684\u7279\u6027\uff0c\u68c0\u6d4b\u590d\u6742\u7684\u4e0d\u53d8\u5f0f\u548c\u8fb9\u89d2\u60c5\u51b5\u3002<\/p>\n<p><img decoding=\"async\" src=\"https:\/\/www.17golang.com\/uploads\/20241026\/1729925960671c93485ffad.jpg\" class=\"aligncenter\"><\/p>\n<p><strong>Java \u51fd\u6570\u9a8c\u8bc1\u7684\u6700\u4f73\u5b9e\u8df5<\/strong><\/p>\n<p><strong>\u5f15\u8a00<\/strong><\/p>\n<p>\u51fd\u6570\u9a8c\u8bc1\u5bf9\u4e8e\u786e\u4fdd\u8f6f\u4ef6\u7684\u53ef\u9760\u6027\u548c\u6b63\u786e\u6027\u81f3\u5173\u91cd\u8981\u3002\u5728 Java \u4e2d\uff0c\u6709\u591a\u79cd\u6280\u672f\u53ef\u7528\u4e8e\u9a8c\u8bc1\u51fd\u6570\uff0c\u672c\u6587\u5c06\u4ecb\u7ecd\u6700\u4f73\u5b9e\u8df5\u5e76\u63d0\u4f9b\u5b9e\u6218\u6848\u4f8b\u3002<\/p>\n<p><strong>\u7c7b\u578b\u6ce8\u91ca<\/strong><\/p>\n<p>\u7c7b\u578b\u6ce8\u91ca\u662f\u4e00\u79cd\u7b80\u6d01\u7684\u65b9\u6cd5\uff0c\u53ef\u4e3a\u51fd\u6570\u53c2\u6570\u548c\u8fd4\u56de\u503c\u6307\u5b9a\u660e\u786e\u7684\u7c7b\u578b\u3002\u5b83\u4eec\u6709\u52a9\u4e8e\u5728\u7f16\u8bd1\u65f6\u68c0\u6d4b\u7c7b\u578b\u4e0d\u5339\u914d\u5e76\u63d0\u9ad8\u4ee3\u7801\u7684\u53ef\u8bfb\u6027\u3002<\/p>\n<pre>public int add(int a, int b) {\n  return a + b;\n}<\/pre>\n<p><strong>\u65ad\u8a00<\/strong><\/p>\n<p>\u65ad\u8a00\u662f\u5e03\u5c14\u8868\u8fbe\u5f0f\uff0c\u7528\u4e8e\u9a8c\u8bc1\u51fd\u6570\u7684\u7279\u5b9a\u6761\u4ef6\u3002\u5982\u679c\u65ad\u8a00\u5931\u8d25\uff0c\u5b83\u4f1a\u629b\u51fa <code>AssertionError<\/code> \u5f02\u5e38\uff0c\u5e2e\u52a9\u5feb\u901f\u8bc6\u522b\u95ee\u9898\u3002<\/p>\n<pre>public void transferMoney(Account from, Account to, int amount) {\n  assert amount &gt; 0;\n  \/\/ ...\n}<\/pre>\n<p><strong>\u5355\u5143\u6d4b\u8bd5<\/strong><\/p>\n<p>\u5355\u5143\u6d4b\u8bd5\u662f\u9488\u5bf9\u5355\u4e2a\u51fd\u6570\u6216\u65b9\u6cd5\u7684\u81ea\u52a8\u5316\u6d4b\u8bd5\u3002\u5b83\u4eec\u53ef\u4ee5\u9a8c\u8bc1\u51fd\u6570\u7684\u8f93\u5165\u3001\u8f93\u51fa\u548c\u5185\u90e8\u884c\u4e3a\u3002JUnit \u662f Java \u4e2d\u5e7f\u6cdb\u4f7f\u7528\u7684\u5355\u5143\u6d4b\u8bd5\u6846\u67b6\u3002<\/p>\n<pre>@Test\npublic void testTransferMoney() {\n  Account from = new Account(100);\n  Account to = new Account(0);\n  transferMoney(from, to, 50);\n  assertEquals(50, from.getBalance());\n  assertEquals(50, to.getBalance());\n}<\/pre>\n<p><strong>Property Based Testing<\/strong><\/p>\n<p>Property Based Testing (PBT) \u662f\u4e00\u79cd\u9ad8\u7ea7\u6d4b\u8bd5\u6280\u672f\uff0c\u5b83\u751f\u6210\u8f93\u5165\u6570\u636e\u5e76\u4f7f\u7528\u8c13\u8bcd\u6765\u9a8c\u8bc1\u51fd\u6570\u8f93\u51fa\u7684\u7279\u6027\u3002PBT \u53ef\u4ee5\u68c0\u6d4b\u590d\u6742\u7684\u4e0d\u53d8\u5f0f\u548c\u8fb9\u89d2\u60c5\u51b5\u3002<\/p>\n<pre>@Test\npublic void testTransferMoneyProperty() {\n  PropertyBasedTesting.forAll(Integers.between(1, 1000),\n      Integers.between(1, 1000))\n      .check((fromAmount, toAmount) -&gt; {\n        Account from = new Account(fromAmount);\n        Account to = new Account(toAmount);\n        transferMoney(from, to, fromAmount);\n        return to.getBalance() == fromAmount + toAmount;\n      });\n}<\/pre>\n<p><strong>\u7ed3\u8bba<\/strong><\/p>\n<p>\u901a\u8fc7\u9075\u5faa\u8fd9\u4e9b\u6700\u4f73\u5b9e\u8df5\uff0cJava \u5f00\u53d1\u4eba\u5458\u53ef\u4ee5\u5b9e\u73b0\u5065\u58ee\u4e14\u53ef\u9760\u7684\u51fd\u6570\u3002\u7c7b\u578b\u6ce8\u91ca\u3001\u65ad\u8a00\u3001\u5355\u5143\u6d4b\u8bd5\u548c PBT \u5171\u540c\u63d0\u4f9b\u4e86\u5168\u9762\u800c\u6709\u6548\u7684\u51fd\u6570\u9a8c\u8bc1\u7b56\u7565\u3002<\/p>\n<p>\u7406\u8bba\u8981\u638c\u63e1\uff0c\u5b9e\u64cd\u4e0d\u80fd\u843d\uff01\u4ee5\u4e0a\u5173\u4e8e\u300aJava \u51fd\u6570\u9a8c\u8bc1\u7684\u6700\u4f73\u5b9e\u8df5\u6709\u54ea\u4e9b\uff1f\u300b\u7684\u8be6\u7ec6\u4ecb\u7ecd\uff0c\u5927\u5bb6\u90fd\u638c\u63e1\u4e86\u5427\uff01\u5982\u679c\u60f3\u8981\u7ee7\u7eed\u63d0\u5347\u81ea\u5df1\u7684\u80fd\u529b\uff0c\u90a3\u4e48\u5c31\u6765\u5173\u6ce8\u516c\u4f17\u53f7\u5427\uff01<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Java \u51fd\u6570\u9a8c\u8bc1\u7684\u6700\u4f73\u5b9e\u8df5\u6709\u54ea&#46;&#46;&#46;<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4925],"tags":[],"class_list":["post-202634","post","type-post","status-publish","format-standard","hentry","category-4925"],"_links":{"self":[{"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/posts\/202634","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/comments?post=202634"}],"version-history":[{"count":0,"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/posts\/202634\/revisions"}],"wp:attachment":[{"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/media?parent=202634"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/categories?post=202634"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/tags?post=202634"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}