{"id":244,"date":"2021-09-02T16:30:00","date_gmt":"2021-09-02T07:30:00","guid":{"rendered":"https:\/\/arithmer.blog\/?p=244"},"modified":"2022-03-08T15:43:54","modified_gmt":"2022-03-08T06:43:54","slug":"quality-assurance-for-machine-learning","status":"publish","type":"post","link":"https:\/\/arithmer.blog\/blog\/quality-assurance-for-machine-learning","title":{"rendered":"\u6a5f\u68b0\u5b66\u7fd2\u30e2\u30c7\u30eb\u306e\u54c1\u8cea\u4fdd\u8a3c"},"content":{"rendered":"\n<p class=\"has-small-font-size\">\u672c\u8cc7\u6599\u306f2021\u5e749\u67082\u65e5\u306b\u793e\u5185\u5171\u6709\u8cc7\u6599\u3068\u3057\u3066\u5c55\u958b\u3057\u3066\u3044\u305f\u3082\u306e\u3092WEB\u30da\u30fc\u30b8\u5411\u3051\u306b\u30ea\u30cb\u30e5\u30fc\u30a2\u30eb\u3057\u305f\u5185\u5bb9\u306b\u306a\u308a\u307e\u3059\u3002<\/p>\n\n\n\n<h3 class=\"has-medium-font-size wp-block-heading\" id=\"today-s-topic\"><strong>\u25a0Today\u2019s topic<\/strong><\/h3>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"449\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_01.jpg\" alt=\"\" class=\"wp-image-253\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_01.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_01-300x132.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_01-768x337.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_01-304x133.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<h3 class=\"has-medium-font-size wp-block-heading\" id=\"problems-in-testing-of-machine-learning\"><strong>\u25a0Problems in testing of machine learning<\/strong><\/h3>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"350\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_02.jpg\" alt=\"\" class=\"wp-image-254\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_02.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_02-300x103.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_02-768x263.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_02-304x104.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<h3 class=\"has-medium-font-size wp-block-heading\" id=\"some-techniques-for-software-tests\"><strong>\u25a0Some techniques for software tests<\/strong><\/h3>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"376\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_03.jpg\" alt=\"\" class=\"wp-image-255\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_03.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_03-300x110.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_03-768x282.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_03-304x112.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<h3 class=\"has-medium-font-size wp-block-heading\" id=\"problems-in-test-for-machine-learning-model\"><strong>\u25a0Problems in test for machine learning model<\/strong><\/h3>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"397\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_04.jpg\" alt=\"\" class=\"wp-image-256\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_04.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_04-300x116.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_04-768x298.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_04-304x118.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"358\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_05.jpg\" alt=\"\" class=\"wp-image-257\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_05.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_05-300x105.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_05-768x269.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_05-304x106.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"371\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_06.jpg\" alt=\"\" class=\"wp-image-258\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_06.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_06-300x109.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_06-768x278.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_06-304x110.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<h3 class=\"has-medium-font-size wp-block-heading\" id=\"methods-of-adversarial-attacks\"><strong>\u25a0Methods of Adversarial Attacks<\/strong><\/h3>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"450\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_07.jpg\" alt=\"\" class=\"wp-image-259\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_07.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_07-300x132.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_07-768x338.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_07-304x134.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<h3 class=\"has-medium-font-size wp-block-heading\" id=\"intermediate-summary\"><strong>\u25a0Intermediate Summary<\/strong><\/h3>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"409\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_08.jpg\" alt=\"\" class=\"wp-image-260\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_08.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_08-300x120.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_08-768x307.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_08-304x121.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<h3 class=\"has-medium-font-size wp-block-heading\" id=\"what-is-the-metamorphic-test\"><strong>\u25a0What is the metamorphic test?<\/strong><\/h3>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"455\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_09.jpg\" alt=\"\" class=\"wp-image-261\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_09.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_09-300x133.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_09-768x341.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_09-304x135.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"483\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_10.jpg\" alt=\"\" class=\"wp-image-262\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_10.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_10-300x142.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_10-768x362.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_10-304x143.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<h3 class=\"has-medium-font-size wp-block-heading\" id=\"examples-of-metamorphic-test\"><strong>\u25a0Examples of metamorphic test<\/strong><\/h3>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"477\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_11.jpg\" alt=\"\" class=\"wp-image-263\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_11.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_11-300x140.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_11-768x358.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_11-304x142.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"464\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_12.jpg\" alt=\"\" class=\"wp-image-264\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_12.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_12-300x136.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_12-768x348.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_12-304x138.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<h3 class=\"has-medium-font-size wp-block-heading\" id=\"formulation\"><strong>\u25a0Formulation<\/strong><\/h3>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1023\" height=\"479\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_13.jpg\" alt=\"\" class=\"wp-image-265\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_13.jpg 1023w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_13-300x140.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_13-768x360.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_13-304x142.jpg 304w\" sizes=\"(max-width: 1023px) 100vw, 1023px\"><\/figure>\n\n\n\n<h3 class=\"has-medium-font-size wp-block-heading\" id=\"application-of-metamorphic-test\"><strong>\u25a0Application of metamorphic test<\/strong><\/h3>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"476\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_14.jpg\" alt=\"\" class=\"wp-image-266\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_14.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_14-300x139.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_14-768x357.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_14-304x141.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<h3 class=\"has-medium-font-size wp-block-heading\" id=\"metamorphic-test-in-ml-model\"><strong>\u25a0Metamorphic test in ML model<\/strong><\/h3>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"470\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_15.jpg\" alt=\"\" class=\"wp-image-267\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_15.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_15-300x138.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_15-768x353.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_15-304x140.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<h3 class=\"has-medium-font-size wp-block-heading\" id=\"other-examples-of-metamorphic-test\"><strong>\u25a0Other examples of metamorphic test<\/strong><\/h3>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"467\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_16.jpg\" alt=\"\" class=\"wp-image-268\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_16.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_16-300x137.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_16-768x350.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_16-304x139.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"484\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_17.jpg\" alt=\"\" class=\"wp-image-269\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_17.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_17-300x142.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_17-768x363.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_17-304x144.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"469\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_18.jpg\" alt=\"\" class=\"wp-image-270\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_18.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_18-300x137.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_18-768x352.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_18-304x139.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<h3 class=\"has-medium-font-size wp-block-heading\" id=\"what-is-neuron-coverage\"><strong>\u25a0What is neuron coverage?<\/strong><\/h3>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"418\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_19.jpg\" alt=\"\" class=\"wp-image-271\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_19.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_19-300x122.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_19-768x314.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_19-304x124.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"483\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_20.jpg\" alt=\"\" class=\"wp-image-272\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_20.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_20-300x142.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_20-768x362.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_20-304x143.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<h3 class=\"has-medium-font-size wp-block-heading\" id=\"how-to-create-the-high-nc-test-data\"><strong>\u25a0How to create the high NC test data?<\/strong><\/h3>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"347\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_21.jpg\" alt=\"\" class=\"wp-image-273\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_21.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_21-300x102.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_21-768x260.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_21-304x103.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<h3 class=\"has-medium-font-size wp-block-heading\" id=\"application-of-neuron-coverage\"><strong>\u25a0Application of neuron coverage<\/strong><\/h3>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"476\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_22.jpg\" alt=\"\" class=\"wp-image-274\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_22.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_22-300x139.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_22-768x357.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_22-304x141.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"476\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_23.jpg\" alt=\"\" class=\"wp-image-275\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_23.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_23-300x139.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_23-768x357.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_23-304x141.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<h3 class=\"has-medium-font-size wp-block-heading\" id=\"is-neuron-coverage-meaningful\"><strong>\u25a0Is neuron coverage meaningful?<\/strong><\/h3>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"476\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_24.jpg\" alt=\"\" class=\"wp-image-276\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_24.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_24-300x139.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_24-768x357.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_24-304x141.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"476\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_25.jpg\" alt=\"\" class=\"wp-image-277\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_25.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_25-300x139.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_25-768x357.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_25-304x141.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"476\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_26.jpg\" alt=\"\" class=\"wp-image-278\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_26.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_26-300x139.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_26-768x357.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_26-304x141.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"308\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_27.jpg\" alt=\"\" class=\"wp-image-279\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_27.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_27-300x90.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_27-768x231.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_27-304x91.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<h3 class=\"has-medium-font-size wp-block-heading\" id=\"minimal-adversarial-distortion\"><strong>\u25a0Minimal adversarial distortion<\/strong><\/h3>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"448\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_28.jpg\" alt=\"\" class=\"wp-image-280\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_28.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_28-300x131.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_28-768x336.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_28-304x133.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<h3 class=\"has-medium-font-size wp-block-heading\" id=\"lower-bound-of-adversarial-minimum-distortion\"><strong>\u25a0Lower bound of adversarial minimum distortion<\/strong><\/h3>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"478\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_29.jpg\" alt=\"\" class=\"wp-image-281\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_29.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_29-300x140.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_29-768x359.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_29-304x142.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"457\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_30.jpg\" alt=\"\" class=\"wp-image-282\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_30.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_30-300x134.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_30-768x343.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_30-304x136.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"469\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_31.jpg\" alt=\"\" class=\"wp-image-283\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_31.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_31-300x137.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_31-768x352.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_31-304x139.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<h3 class=\"has-medium-font-size wp-block-heading\" id=\"other-techniques-to-find-the-lower-bound\"><strong>\u25a0Other techniques to find the lower bound<\/strong><\/h3>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"453\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_32.jpg\" alt=\"\" class=\"wp-image-284\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_32.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_32-300x133.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_32-768x340.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_32-304x134.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<h3 class=\"has-medium-font-size wp-block-heading\" id=\"can-we-check-the-assertion-directly\"><strong>\u25a0Can we check the assertion directly?<\/strong><\/h3>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"396\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_33.jpg\" alt=\"\" class=\"wp-image-285\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_33.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_33-300x116.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_33-768x297.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_33-304x118.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<h3 class=\"has-medium-font-size wp-block-heading\" id=\"formal-verification\"><strong>\u25a0Formal verification<\/strong><\/h3>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"467\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_34.jpg\" alt=\"\" class=\"wp-image-286\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_34.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_34-300x137.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_34-768x350.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_34-304x139.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<h3 class=\"has-medium-font-size wp-block-heading\" id=\"application-of-formal-verification\"><strong>\u25a0Application of formal verification<\/strong><\/h3>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"471\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_35.jpg\" alt=\"\" class=\"wp-image-246\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_35.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_35-300x138.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_35-768x353.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_35-304x140.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"476\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_36.jpg\" alt=\"\" class=\"wp-image-247\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_36.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_36-300x139.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_36-768x357.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_36-304x141.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<h3 class=\"has-medium-font-size wp-block-heading\" id=\"summary-of-four-testing-method\"><strong>\u25a0Summary of four testing method<\/strong><\/h3>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"481\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_37.jpg\" alt=\"\" class=\"wp-image-248\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_37.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_37-300x141.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_37-768x361.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_37-304x143.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<h3 class=\"has-medium-font-size wp-block-heading\" id=\"practical-viewpoint\"><strong>\u25a0Practical viewpoint<\/strong><\/h3>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"456\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_38.jpg\" alt=\"\" class=\"wp-image-249\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_38.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_38-300x134.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_38-768x342.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_38-304x135.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<h3 class=\"has-medium-font-size wp-block-heading\" id=\"references\"><strong>\u25a0References<\/strong><\/h3>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"446\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_39.jpg\" alt=\"\" class=\"wp-image-250\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_39.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_39-300x131.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_39-768x335.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_39-304x132.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"464\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_40.jpg\" alt=\"\" class=\"wp-image-251\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_40.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_40-300x136.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_40-768x348.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_40-304x138.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<figure class=\"wp-block-image size-full is-style-default\"><img decoding=\"async\" width=\"1024\" height=\"468\" src=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_41.jpg\" alt=\"\" class=\"wp-image-252\" srcset=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_41.jpg 1024w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_41-300x137.jpg 300w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_41-768x351.jpg 768w, https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/NS20210902_41-304x139.jpg 304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\"><\/figure>\n\n\n\n<h3 class=\"has-medium-font-size wp-block-heading\" id=\"\u30c0\u30a6\u30f3\u30ed\u30fc\u30c9\"><strong>\u25a0\u30c0\u30a6\u30f3\u30ed\u30fc\u30c9<\/strong><\/h3>\n\n\n\n<p style=\"font-size:16px\"><a href=\"https:\/\/arithmer.blog\/wp-content\/uploads\/2022\/01\/\u6a5f\u68b0\u5b66\u7fd2\u30e2\u30c7\u30eb\u306e\u54c1\u8cea\u4fdd\u8a3c.pdf\" target=\"_blank\" rel=\"noreferrer noopener\">\u6a5f\u68b0\u5b66\u7fd2\u30e2\u30c7\u30eb\u306e\u54c1\u8cea\u4fdd\u8a3c.pdf<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u672c\u8cc7\u6599\u306f2021\u5e749\u67082\u65e5\u306b\u793e\u5185\u5171\u6709\u8cc7\u6599\u3068\u3057\u3066\u5c55\u958b\u3057\u3066\u3044\u305f\u3082\u306e\u3092WEB\u30da\u30fc\u30b8\u5411\u3051\u306b\u30ea\u30cb\u30e5\u30fc\u30a2\u30eb\u3057\u305f\u5185\u5bb9\u306b\u306a\u308a\u307e\u3059\u3002 \u25a0Today\u2019s topic \u25a0Problems in testing of machine learn &#8230; <\/p>\n","protected":false},"author":3,"featured_media":290,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[13],"tags":[20,55,35,54,24],"_links":{"self":[{"href":"https:\/\/arithmer.blog\/index.php?rest_route=\/wp\/v2\/posts\/244"}],"collection":[{"href":"https:\/\/arithmer.blog\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/arithmer.blog\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/arithmer.blog\/index.php?rest_route=\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/arithmer.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=244"}],"version-history":[{"count":10,"href":"https:\/\/arithmer.blog\/index.php?rest_route=\/wp\/v2\/posts\/244\/revisions"}],"predecessor-version":[{"id":710,"href":"https:\/\/arithmer.blog\/index.php?rest_route=\/wp\/v2\/posts\/244\/revisions\/710"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/arithmer.blog\/index.php?rest_route=\/wp\/v2\/media\/290"}],"wp:attachment":[{"href":"https:\/\/arithmer.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=244"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/arithmer.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=244"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/arithmer.blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=244"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}