{"id":24,"date":"2018-05-16T08:07:23","date_gmt":"2018-05-16T08:07:23","guid":{"rendered":"https:\/\/website.prod.unilu.spikeseed.cloud\/snt-fr\/news\/testing-the-untestable\/"},"modified":"2018-05-16T08:07:23","modified_gmt":"2018-05-16T08:07:23","slug":"testing-the-untestable","status":"publish","type":"news","link":"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/","title":{"rendered":"Testing the untestable"},"content":{"rendered":"

It\u2019s the same for everything from smartphones to cars: every product has to be tested before it leaves the factory. But in complex systems, which integrate large amounts of hardware and software, the component interactions often become untestable. \u201cFor these systems, conventional software tests would take too long and cost too much,\u201d says SnT researcher Dr. Shiva Nejati. \u201cOur goal is therefore to test a complex system even before the software and hardware are ready to deploy.\u201d<\/p>

But how do you test the workings of cyber-physical systems before they even exist? The key idea here is to perform most of the testing on models \u2013 which represent relevant aspects of system behaviour, environment, structure and properties \u2013 rather than on operational systems.<\/p>

SnT is investigating such methods with LuxSpace, a provider of space systems such as satellites, which comprise multiple mechanical devices, signal processors and sensors, and software components. Researchers work on developing satellite system simulators by building on mathematical and software architecture models. Using these models, they test whether system components will interact properly. \u201cIn satellites, for example, we need to ensure that commands will execute within specific time windows\u201d, says Nejati.<\/p>

\n \n\"\"\n <\/figure>

(L-R) Mojtaba Varmazyar, Dr. Shiva Nejati and\u00a0Dr. Carlos Gonzalez<\/p>

The testing itself is done using a synergistic combination of artificial intelligence, machine learning and traditional software testing. The research that Nejati and her colleagues Dr. Carlos Gonzalez and Mojtaba Varmazyar are doing is so important that Prof. Dr. Lionel Briand, who leads the research team, has earned a European Research Council advanced grant, the highest research funding prize in the EU, to work on this topic.<\/p><\/div><\/section>","protected":false},"excerpt":{"rendered":"

It\u2019s the same for everything from smartphones to cars: every product has to be tested before it leaves the factory. But in complex systems, which integrate large amounts of hardware and software, the component interactions often become untestable. \u201cFor these systems, conventional software tests would take too long and cost too much,\u201d says SnT researcher Dr. Shiva Nejati. \u201cOur goal is therefore to test a complex system even before the software and hardware are ready to deploy.\u201d<\/p>\n","protected":false},"author":0,"featured_media":25,"template":"","format":"standard","meta":{"featured_image_focal_point":[],"show_featured_caption":false,"ulux_newsletter_groups":"","uluxPostTitle":"","uluxPrePostTitle":"","_trash_the_other_posts":false,"_price":"","_stock":"","_tribe_ticket_header":"","_tribe_default_ticket_provider":"","_tribe_ticket_capacity":"0","_ticket_start_date":"","_ticket_end_date":"","_tribe_ticket_show_description":"","_tribe_ticket_show_not_going":false,"_tribe_ticket_use_global_stock":"","_tribe_ticket_global_stock_level":"","_global_stock_mode":"","_global_stock_cap":"","_tribe_rsvp_for_event":"","_tribe_ticket_going_count":"","_tribe_ticket_not_going_count":"","_tribe_tickets_list":"[]","_tribe_ticket_has_attendee_info_fields":false},"news-category":[3],"news-topic":[],"organisation":[183],"authorship":[],"acf":[],"yoast_head":"\nTesting the untestable - SnT actualit\u00e9s I Universit\u00e9 du Luxembourg<\/title>\n<meta name=\"description\" content=\"It\u2019s the same for everything from smartphones to cars: every product has to be tested before it leaves the factory. But in complex systems, which integrate large amounts of hardware and software, the component interactions often become untestable. \u201cFor these systems, conventional software tests would take too long and cost too much,\u201d says SnT researcher Dr. Shiva Nejati. \u201cOur goal is therefore to test a complex system even before the software and hardware are ready to deploy.\u201d\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Testing the untestable\" \/>\n<meta property=\"og:description\" content=\"It\u2019s the same for everything from smartphones to cars: every product has to be tested before it leaves the factory. But in complex systems, which integrate large amounts of hardware and software, the component interactions often become untestable. \u201cFor these systems, conventional software tests would take too long and cost too much,\u201d says SnT researcher Dr. Shiva Nejati. \u201cOur goal is therefore to test a complex system even before the software and hardware are ready to deploy.\u201d\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/\" \/>\n<meta property=\"og:site_name\" content=\"SnT FR\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2018\/05\/testing_the_untestable.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"800\" \/>\n\t<meta property=\"og:image:height\" content=\"600\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Dur\u00e9e de lecture estim\u00e9e\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"NewsArticle\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/\"},\"author\":{\"name\":\"\",\"@id\":\"\"},\"headline\":\"Testing the untestable\",\"datePublished\":\"2018-05-16T08:07:23+00:00\",\"dateModified\":\"2018-05-16T08:07:23+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/\"},\"wordCount\":272,\"publisher\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2018\/05\/testing_the_untestable.jpg\",\"inLanguage\":\"fr-FR\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/\",\"url\":\"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/\",\"name\":\"Testing the untestable - SnT actualit\u00e9s I Universit\u00e9 du Luxembourg\",\"isPartOf\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2018\/05\/testing_the_untestable.jpg\",\"datePublished\":\"2018-05-16T08:07:23+00:00\",\"dateModified\":\"2018-05-16T08:07:23+00:00\",\"description\":\"It\u2019s the same for everything from smartphones to cars: every product has to be tested before it leaves the factory. But in complex systems, which integrate large amounts of hardware and software, the component interactions often become untestable. \u201cFor these systems, conventional software tests would take too long and cost too much,\u201d says SnT researcher Dr. Shiva Nejati. \u201cOur goal is therefore to test a complex system even before the software and hardware are ready to deploy.\u201d\",\"breadcrumb\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/#primaryimage\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2018\/05\/testing_the_untestable.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2018\/05\/testing_the_untestable.jpg\",\"width\":800,\"height\":600},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.uni.lu\/fr\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Interdisciplinary Centre for Security, Reliability and Trust (SnT)\",\"item\":\"https:\/\/www.uni.lu\/snt-fr\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"News\",\"item\":\"https:\/\/www.uni.lu\/snt-fr\/news\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"Testing the untestable\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#website\",\"url\":\"https:\/\/www.uni.lu\/snt-fr\/\",\"name\":\"SnT\",\"description\":\"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu\",\"publisher\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#organization\"},\"alternateName\":\"Interdisciplinary Centre for Security, Reliability and Trust I Universit\u00e9 du Luxembourg\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.uni.lu\/snt-fr\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#organization\",\"name\":\"SnT - Universit\u00e9 du Luxembourg I Uni.lu\",\"alternateName\":\"Interdisciplinary Centre for Security, Reliability and Trust\",\"url\":\"https:\/\/www.uni.lu\/snt-fr\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg\",\"width\":2560,\"height\":2560,\"caption\":\"SnT - Universit\u00e9 du Luxembourg I Uni.lu\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/www.linkedin.com\/school\/snt-lu\/\"],\"description\":\"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu\"}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"Testing the untestable - SnT actualit\u00e9s I Universit\u00e9 du Luxembourg","description":"It\u2019s the same for everything from smartphones to cars: every product has to be tested before it leaves the factory. But in complex systems, which integrate large amounts of hardware and software, the component interactions often become untestable. \u201cFor these systems, conventional software tests would take too long and cost too much,\u201d says SnT researcher Dr. Shiva Nejati. \u201cOur goal is therefore to test a complex system even before the software and hardware are ready to deploy.\u201d","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/","og_locale":"fr_FR","og_type":"article","og_title":"Testing the untestable","og_description":"It\u2019s the same for everything from smartphones to cars: every product has to be tested before it leaves the factory. But in complex systems, which integrate large amounts of hardware and software, the component interactions often become untestable. \u201cFor these systems, conventional software tests would take too long and cost too much,\u201d says SnT researcher Dr. Shiva Nejati. \u201cOur goal is therefore to test a complex system even before the software and hardware are ready to deploy.\u201d","og_url":"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/","og_site_name":"SnT FR","og_image":[{"width":800,"height":600,"url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2018\/05\/testing_the_untestable.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Dur\u00e9e de lecture estim\u00e9e":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"NewsArticle","@id":"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/#article","isPartOf":{"@id":"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/"},"author":{"name":"","@id":""},"headline":"Testing the untestable","datePublished":"2018-05-16T08:07:23+00:00","dateModified":"2018-05-16T08:07:23+00:00","mainEntityOfPage":{"@id":"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/"},"wordCount":272,"publisher":{"@id":"https:\/\/www.uni.lu\/snt-fr\/#organization"},"image":{"@id":"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/#primaryimage"},"thumbnailUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2018\/05\/testing_the_untestable.jpg","inLanguage":"fr-FR"},{"@type":"WebPage","@id":"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/","url":"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/","name":"Testing the untestable - SnT actualit\u00e9s I Universit\u00e9 du Luxembourg","isPartOf":{"@id":"https:\/\/www.uni.lu\/snt-fr\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/#primaryimage"},"image":{"@id":"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/#primaryimage"},"thumbnailUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2018\/05\/testing_the_untestable.jpg","datePublished":"2018-05-16T08:07:23+00:00","dateModified":"2018-05-16T08:07:23+00:00","description":"It\u2019s the same for everything from smartphones to cars: every product has to be tested before it leaves the factory. But in complex systems, which integrate large amounts of hardware and software, the component interactions often become untestable. \u201cFor these systems, conventional software tests would take too long and cost too much,\u201d says SnT researcher Dr. Shiva Nejati. \u201cOur goal is therefore to test a complex system even before the software and hardware are ready to deploy.\u201d","breadcrumb":{"@id":"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/"]}]},{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/#primaryimage","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2018\/05\/testing_the_untestable.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2018\/05\/testing_the_untestable.jpg","width":800,"height":600},{"@type":"BreadcrumbList","@id":"https:\/\/www.uni.lu\/snt-fr\/news\/testing-the-untestable\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.uni.lu\/fr"},{"@type":"ListItem","position":2,"name":"Interdisciplinary Centre for Security, Reliability and Trust (SnT)","item":"https:\/\/www.uni.lu\/snt-fr\/"},{"@type":"ListItem","position":3,"name":"News","item":"https:\/\/www.uni.lu\/snt-fr\/news\/"},{"@type":"ListItem","position":4,"name":"Testing the untestable"}]},{"@type":"WebSite","@id":"https:\/\/www.uni.lu\/snt-fr\/#website","url":"https:\/\/www.uni.lu\/snt-fr\/","name":"SnT","description":"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu","publisher":{"@id":"https:\/\/www.uni.lu\/snt-fr\/#organization"},"alternateName":"Interdisciplinary Centre for Security, Reliability and Trust I Universit\u00e9 du Luxembourg","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.uni.lu\/snt-fr\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"fr-FR"},{"@type":"Organization","@id":"https:\/\/www.uni.lu\/snt-fr\/#organization","name":"SnT - Universit\u00e9 du Luxembourg I Uni.lu","alternateName":"Interdisciplinary Centre for Security, Reliability and Trust","url":"https:\/\/www.uni.lu\/snt-fr\/","logo":{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg","width":2560,"height":2560,"caption":"SnT - Universit\u00e9 du Luxembourg I Uni.lu"},"image":{"@id":"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.linkedin.com\/school\/snt-lu\/"],"description":"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu"}]}},"blog_id":13,"_links":{"self":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/news\/24"}],"collection":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/news"}],"about":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/types\/news"}],"version-history":[{"count":0,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/news\/24\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/media\/25"}],"wp:attachment":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/media?parent=24"}],"wp:term":[{"taxonomy":"news-category","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/news-category?post=24"},{"taxonomy":"news-topic","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/news-topic?post=24"},{"taxonomy":"organisation","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/organisation?post=24"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}