{"id":21817,"date":"2021-01-11T14:40:00","date_gmt":"2021-01-11T19:40:00","guid":{"rendered":"https:\/\/michigan.it.umich.edu\/news\/?p=21817"},"modified":"2024-07-08T06:04:39","modified_gmt":"2024-07-08T10:04:39","slug":"building-a-testing-free-future","status":"publish","type":"post","link":"https:\/\/michigan.it.umich.edu\/news\/2021\/01\/11\/building-a-testing-free-future\/","title":{"rendered":"Building a testing-free future"},"content":{"rendered":"\n<figure class=\"wp-block-image size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"700\" height=\"466\" src=\"https:\/\/michigan.it.umich.edu\/news\/wp-content\/uploads\/2021\/01\/testing-free-content-700x466.jpg\" alt=\"Jigsaw puzzle image of a padlock on a computer screen with hands putting in the pieces.\" class=\"wp-image-21820\"\/><figcaption>A group of U-M researchers uses mathematical proofs to demonstrate that software meets specifications for safe, correct execution without the need for traditional testing. (Karen Parker Moeller, MOEdesign)<\/figcaption><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">Testing is a cornerstone of quality software design. And yet, it\u2019s time consuming, labor and resource intensive, and extremely difficult to do exhaustively. In fact, most software in use today is so complex that thorough testing is practically impossible. <\/p>\n\n\n\n<p class=\"wp-block-paragraph\">A group of researchers from U-M envision a smarter alternative: why not let math do the heavy lifting of testing? <a href=\"https:\/\/news.engin.umich.edu\/2021\/01\/building-a-testing-free-future\/\">Enter formal verification<\/a>, a means to demonstrate that a program or algorithm is correct and reliable with all the elegance of a logical proof.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Unfortunately, while testing is certainly time consuming, writing proofs about a piece of code or an algorithm is usually even worse on that front \u2014 so far, anyway. That\u2019s why a primary early motivation for the team from the College of Engineering was automating the process.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">That means more than speeding up a testing alternative, it means a whole new paradigm in security and reliability. A formal automated verification process will enable entire libraries of complex, reusable code that is certified safe and ready to deploy, saving developers time, money, and anxiety.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Testing is a cornerstone of quality software design. And yet, it\u2019s time consuming, labor and resource intensive, and extremely difficult to do exhaustively. In fact, most software in use today is so complex that thorough testing is practically impossible. A group of researchers from U-M envision a smarter alternative: why not let math do the heavy lifting of\u2026 <span class=\"read-more\"><a href=\"https:\/\/michigan.it.umich.edu\/news\/2021\/01\/11\/building-a-testing-free-future\/\">Read More &raquo;<\/a><\/span><\/p>\n","protected":false},"author":1,"featured_media":21820,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_uag_custom_page_level_css":"","_umich_oidc_access":"","_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"_ef_editorial_meta_date_first-draft-date":"","_ef_editorial_meta_paragraph_assignment":"","_ef_editorial_meta_checkbox_needs-photo":"","_ef_editorial_meta_number_word-count":"","footnotes":""},"categories":[5],"tags":[290,21,130,127,585],"class_list":["post-21817","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-campus-news","tag-coe","tag-innovation","tag-research","tag-software","tag-testing"],"uagb_featured_image_src":{"full":["https:\/\/michigan.it.umich.edu\/news\/wp-content\/uploads\/2021\/01\/testing-free-content-e1610486182438.jpg",601,400,false],"thumbnail":["https:\/\/michigan.it.umich.edu\/news\/wp-content\/uploads\/2021\/01\/testing-free-content-200x133.jpg",200,133,true],"medium":["https:\/\/michigan.it.umich.edu\/news\/wp-content\/uploads\/2021\/01\/testing-free-content-300x200.jpg",300,200,true],"medium_large":["https:\/\/michigan.it.umich.edu\/news\/wp-content\/uploads\/2021\/01\/testing-free-content-768x511.jpg",665,442,true],"large":["https:\/\/michigan.it.umich.edu\/news\/wp-content\/uploads\/2021\/01\/testing-free-content-700x466.jpg",600,399,true],"1536x1536":["https:\/\/michigan.it.umich.edu\/news\/wp-content\/uploads\/2021\/01\/testing-free-content-1536x1022.jpg",1536,1022,true],"2048x2048":["https:\/\/michigan.it.umich.edu\/news\/wp-content\/uploads\/2021\/01\/testing-free-content-e1610486182438.jpg",601,400,false],"excerpt-thumbnail":["https:\/\/michigan.it.umich.edu\/news\/wp-content\/uploads\/2021\/01\/testing-free-content-200x140.jpg",200,140,true],"themonic-thumbnail":["https:\/\/michigan.it.umich.edu\/news\/wp-content\/uploads\/2021\/01\/testing-free-content-60x42.jpg",60,42,true],"ioslider-thumbnail":["https:\/\/michigan.it.umich.edu\/news\/wp-content\/uploads\/2021\/01\/testing-free-content-658x300.jpg",658,300,true],"post-thumbnail":["https:\/\/michigan.it.umich.edu\/news\/wp-content\/uploads\/2021\/01\/testing-free-content-665x442.jpg",665,442,true],"400x250-crop":["https:\/\/michigan.it.umich.edu\/news\/wp-content\/uploads\/2021\/01\/testing-free-content-e1610486182438.jpg",376,250,false]},"uagb_author_info":{"display_name":"News Staff","author_link":"https:\/\/michigan.it.umich.edu\/news\/author\/mitnewsadm\/"},"uagb_comment_info":0,"uagb_excerpt":"Testing is a cornerstone of quality software design. And yet, it\u2019s time consuming, labor and resource intensive, and extremely difficult to do exhaustively. In fact, most software in use today is so complex that thorough testing is practically impossible. A group of researchers from U-M envision a smarter alternative: why not let math do the&hellip;","_links":{"self":[{"href":"https:\/\/michigan.it.umich.edu\/news\/wp-json\/wp\/v2\/posts\/21817","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/michigan.it.umich.edu\/news\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/michigan.it.umich.edu\/news\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/michigan.it.umich.edu\/news\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/michigan.it.umich.edu\/news\/wp-json\/wp\/v2\/comments?post=21817"}],"version-history":[{"count":4,"href":"https:\/\/michigan.it.umich.edu\/news\/wp-json\/wp\/v2\/posts\/21817\/revisions"}],"predecessor-version":[{"id":21824,"href":"https:\/\/michigan.it.umich.edu\/news\/wp-json\/wp\/v2\/posts\/21817\/revisions\/21824"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/michigan.it.umich.edu\/news\/wp-json\/wp\/v2\/media\/21820"}],"wp:attachment":[{"href":"https:\/\/michigan.it.umich.edu\/news\/wp-json\/wp\/v2\/media?parent=21817"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/michigan.it.umich.edu\/news\/wp-json\/wp\/v2\/categories?post=21817"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/michigan.it.umich.edu\/news\/wp-json\/wp\/v2\/tags?post=21817"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}