{"id":2892,"date":"2026-03-05T15:59:35","date_gmt":"2026-03-05T06:59:35","guid":{"rendered":"https:\/\/www.sa.comp.isct.ac.jp\/?p=2892"},"modified":"2026-03-26T16:11:39","modified_gmt":"2026-03-26T07:11:39","slug":"%e7%a0%94%e7%a9%b6%e4%bc%9a-vm%e5%91%bd%e4%bb%a4%e3%83%ac%e3%83%99%e3%83%absbfl%e3%81%ae%e3%83%87%e3%83%bc%e3%82%bf%e3%82%bb%e3%83%83%e3%83%88%e6%a7%8b%e7%af%89%e3%81%a8%e6%80%a7%e8%83%bd%e8%a9%95","status":"publish","type":"post","link":"https:\/\/www.sa.comp.isct.ac.jp\/ja\/archives\/2892","title":{"rendered":"[\u7814\u7a76\u4f1a] VM\u547d\u4ee4\u30ec\u30d9\u30ebSBFL\u306e\u30c7\u30fc\u30bf\u30bb\u30c3\u30c8\u69cb\u7bc9\u3068\u6027\u80fd\u8a55\u4fa1"},"content":{"rendered":"

\u5c0f\u6797\u7814M1\u306e\u6df1\u4e95\u3055\u3093\u304c\uff0c3\u67082\u65e5\u304b\u30893\u65e5\u9593\u3067\u9577\u5d0e\u770c\u5bfe\u99ac\u306b\u3066\u958b\u50ac\u3055\u308c\u305f\u96fb\u5b50\u60c5\u5831\u901a\u4fe1\u5b66\u4f1a\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u30b5\u30a4\u30a8\u30f3\u30b9\u7814\u7a76\u4f1a3\u6708\u7814\u7a76\u96c6\u4f1a\u306b\u3066\u7814\u7a76\u767a\u8868\u3092\u884c\u3044\u307e\u3057\u305f\u3002\u3053\u306e\u7814\u7a76\u306f\u6df1\u4e95\u3055\u3093\u306e\u4fee\u58eb\u8ad6\u6587\u306e\u521d\u671f\u7814\u7a76\u3092\u307e\u3068\u3081\u305f\u3082\u306e\u3067\u3059\uff0e<\/p>\n

\n\u8457\u8005\uff1a\u6df1\u4e95 \u5143\uff0c\u5c0f\u6797\u9686\u5fd7\uff08\u6771\u4eac\u79d1\u5b66\u5927\uff09
\n\u984c\u76ee\uff1aVM\u547d\u4ee4\u30ec\u30d9\u30ebSBFL\u306e\u30c7\u30fc\u30bf\u30bb\u30c3\u30c8\u69cb\u7bc9\u3068\u6027\u80fd\u8a55\u4fa1
\n\u63b2\u8f09\u8a8c\uff1a \u96fb\u5b50\u60c5\u5831\u901a\u4fe1\u5b66\u4f1a \u6280\u8853\u5831\u544a\uff08\u4fe1\u5b66\u6280\u5831\uff09SS2025-39 (vol. 125 , no. 376 , pp. 55-60) [Link]<\/a>, Mar. 2, 2025.
\n\u6982\u8981\uff1a
\n\u5f93\u6765\u306eSpectrum-Based Fault Localization (SBFL)\u306f\u6587 (\u30b9\u30c6\u30fc\u30c8\u30e1\u30f3\u30c8)\u3092\u6700\u5c0f\u5358\u4f4d\u3068\u3057\u3066\u7591\u60d1\u5024\u3092\u7b97\u51fa\u3059\u308b\u305f\u3081\uff0c\u6587\u306b\u542b\u307e\u308c\u308b\u77ed\u7d61\u8a55\u4fa1\u306a\u3069\u306b\u3088\u308b\u5236\u5fa1\u30d5\u30ed\u30fc\u306e\u5dee\u7570\u3092\u6349\u3048\u304d\u308c\u305a\uff0c\u6b20\u9665\u7b87\u6240\u7279\u5b9a\u306e\u6027\u80fd\u304c\u4f4e\u4e0b\u3059\u308b\u61f8\u5ff5\u304c\u3042\u308b\uff0e\u672c\u7814\u7a76\u3067\u306f\uff0c\u3053\u306e\u554f\u984c\u3092\u89e3\u6c7a\u3059\u308b\u305f\u3081\u306bVM\u547d\u4ee4\u30ec\u30d9\u30eb\u3067\u306eSBFL\u3092\u63d0\u6848\u3059\u308b\uff0e\u307e\u305f\uff0c\u672c\u624b\u6cd5\u3092\u8a55\u4fa1\u3059\u308b\u305f\u3081\u306e\u30c7\u30fc\u30bf\u30bb\u30c3\u30c8\u69cb\u7bc9\u306b\u304a\u3051\u308b\u8ab2\u984c\u3092\u89e3\u6c7a\u3059\u308b\u305f\u3081\uff0cVM\u547d\u4ee4\u5217\u306b\u9069\u3057\u305f\u5dee\u5206\u691c\u51fa\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306b\u3064\u3044\u3066\u3082\u63d0\u6848\u3059\u308b\uff0eDefects4J\u3092\u7528\u3044\u305f\u5b9f\u9a13\u306e\u7d50\u679c\uff0c\u63d0\u6848\u624b\u6cd5\u306f\u6587\u30ec\u30d9\u30ebSBFL\u3092\u9069\u7528\u3067\u304d\u306a\u3044\u30b1\u30fc\u30b9\u306b\u5bfe\u3057\u3066\u3082\u9069\u7528\u53ef\u80fd\u3067\u3042\u308b\u3053\u3068\u304c\u660e\u3089\u304b\u3068\u306a\u3063\u305f\uff0e\u3055\u3089\u306b\uff0c\u63d0\u6848\u624b\u6cd5\u3067\u7b97\u51fa\u3055\u308c\u305f\u547d\u4ee4\u30ec\u30d9\u30eb\u306e\u7591\u60d1\u5024\u3092\u96c6\u7d04\u3059\u308b\u3053\u3068\u3067\uff0c\u65e2\u5b58\u306e\u6587\u30ec\u30d9\u30ebSBFL\u3088\u308a\u3082\u9ad8\u3044\u6027\u80fd\u304c\u5f97\u3089\u308c\u308b\u3053\u3068\u304c\u793a\u3055\u308c\u305f\uff0e\n<\/p><\/blockquote>\n

\"\"<\/p>\n

\"\"<\/p>","protected":false},"excerpt":{"rendered":"

\u5c0f\u6797\u7814M1\u306e\u6df1\u4e95\u3055\u3093\u304c\uff0c3\u67082\u65e5\u304b\u30893\u65e5\u9593\u3067\u9577\u5d0e\u770c\u5bfe\u99ac\u306b\u3066\u958b\u50ac\u3055\u308c\u305f\u96fb\u5b50\u60c5\u5831\u901a\u4fe1\u5b66\u4f1a\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u30b5\u30a4\u30a8\u30f3\u30b9\u7814\u7a76\u4f1a3\u6708\u7814\u7a76\u96c6\u4f1a\u306b\u3066\u7814\u7a76\u767a\u8868\u3092\u884c\u3044\u307e\u3057\u305f\u3002\u3053\u306e\u7814\u7a76\u306f\u6df1\u4e95\u3055\u3093\u306e\u4fee\u58eb\u8ad6\u6587\u306e\u521d\u671f\u7814\u7a76\u3092\u307e\u3068\u3081\u305f\u3082\u306e\u3067\u3059\uff0e \u8457\u8005\uff1a\u6df1\u4e95 […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3],"tags":[],"class_list":["post-2892","post","type-post","status-publish","format-standard","hentry","category-research"],"_links":{"self":[{"href":"https:\/\/www.sa.comp.isct.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/2892","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.sa.comp.isct.ac.jp\/ja\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.sa.comp.isct.ac.jp\/ja\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.sa.comp.isct.ac.jp\/ja\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.sa.comp.isct.ac.jp\/ja\/wp-json\/wp\/v2\/comments?post=2892"}],"version-history":[{"count":3,"href":"https:\/\/www.sa.comp.isct.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/2892\/revisions"}],"predecessor-version":[{"id":2897,"href":"https:\/\/www.sa.comp.isct.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/2892\/revisions\/2897"}],"wp:attachment":[{"href":"https:\/\/www.sa.comp.isct.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=2892"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.sa.comp.isct.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=2892"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.sa.comp.isct.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=2892"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}