{"id":7035,"date":"2020-11-10T19:11:27","date_gmt":"2020-11-10T18:11:27","guid":{"rendered":"https:\/\/www.teoresigroup.com\/product_snippets\/reactis-for-c\/"},"modified":"2021-01-07T14:47:23","modified_gmt":"2021-01-07T13:47:23","slug":"reactis-for-c","status":"publish","type":"product_snippets","link":"https:\/\/www.teoresigroup.com\/it\/product_snippets\/reactis-for-c\/","title":{"rendered":"Reactis for C"},"content":{"rendered":"
\n\n
\n\n
\n
\n Reactis for C<\/span>\n <\/div>\n <\/div>\n\n
\n C Code Process<\/span>\n
\n

Reactis\u00ae for C, tool per la generazione automatica di test, pu\u00f2 essere utilizzato per trovare bug nel codice C.
\nConsiste in tre componenti principali: Tester, Simulator e Validator.<\/p>\n\n\n\n\n\n
Tester<\/strong><\/th>\nSimulator<\/strong><\/th>\nValidator<\/strong><\/th>\n<\/tr>\n<\/thead>\n
Genera automaticamente\u00a0test case<\/em><\/strong>\u00a0che stressano un applicativo, spesso\u00a0rilevando errori di runtime<\/strong>. I test generati mirano a massimizzare la copertura rispetto al numero di metriche utilizzate, tra cui Statement, Decision, Condition e Modified Condition\/ Decision Coverage (MC\/DC)..<\/td>\nE\u2019 un ambiente di simulazione che supporta l\u2019esecuzione interattiva e il debugging dei programmi in C e mostra graficamente I risultati del test\u00a0coverage<\/em>.<\/td>\nConsente di\u00a0formalizzare i requisiti dell\u2019applicazione<\/strong>\u00a0(assertion<\/em>\u00a0o obiettivi del coverage) ed\u00a0eseguire un controllo automatico delle violazioni degli stessi<\/strong>. Validator effettua questi controlli simulando accuratamente l\u2019applicativo con l\u2019obiettivo di violare le assertion e gli obiettivi di coverage. Quando si verifica un errore di runtime o un\u2019assertion failure<\/em>, Validator genera un test che riproduce concretamente la sequenza di eventi che ha portato all\u2019errore, facilitando la diagnosi e la riparazione dei bug del software.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

<\/p>\n

Il tool Reactis\u00a0for\u00a0C migliora la qualit\u00e0 del codice C e riduce i costi di sviluppo in diversi modi. Per esempio:<\/strong><\/p>\n

    \n
  • Rilevando e correggendo gli errori di runtime.<\/strong>\u00a0Reactis for C arresta immediatamente l\u2019esecuzione quando si verifica un errore di runtime, facilitando la correzione dello stesso.
    \nOgni volta che\u00a0Reactis for C<\/em>\u00a0simula il codice C\u00a0 nel Simulator o generando test con il Tester, esegue allo stesso tempo molteplici controlli per gli errori di runtime. Il risultato \u00e8 un tool potente per la rilevazione, la diagnosi e la correzione di una variet\u00e0 di errori di runtime nel codice C. Gli errori rilevati da Reactis for C comprendono:<\/p>\n
      \n
    • Overflow<\/em>\u00a0Calcoli che producono un numero troppo grande da rappresentare<\/li>\n
    • Divide by Zero<\/em>\u00a0<\/strong>Errore generato dalla divisione di un valore numerico per zero<\/li>\n
    • Invalid Shift<\/em>\u00a0Lo spostamento di un valore intero di una quantit\u00e0 che produce un risultato indefinito, secondo lo standard C<\/li>\n
    • Uninitialized Data Access<\/em>\u00a0Quando si accede alla memoria prima che questa si sia avviata, producendo un risultato di accesso indefinito<\/li>\n<\/ul>\n<\/li>\n
    • Regression Testing<\/em><\/strong>. La generazione e l\u2019esecuzione automatica di test offerta da Reactis for C consente agli ingegneri di verificare facilmente se un programma \u00e8 conforme al comportamento di una versione precedente. Un aspetto cruciale dei test generati da Reactis Tester \u00e8 che includono sia tutti gli output che gli input. Perci\u00f2 questi test contengono tutte le informazioni richieste per assicurare che una versione rivista del programma sia conforme alla precedente..<\/li>\n
    • Sinergia con Reactis for Simulink<\/strong>.<\/em>\u00a0La combinazione tra Reactis for C e Reactis for Simulink in un processo di sviluppo model-based produce vantaggi sinergici.
      \nGli ingegneri che lavorano con il model-based design utilizzando Simulink\u00ae\/ Stateflow\u00ae come tool di progettazione e C come linguaggio per l\u2019implementazione possono trarre vantaggi significativi impiegando Reactis for C in combinazione con il suo prodotto fratello, Reactis for Simulink.
      \nSi hanno questi benefici quando le suite di test sono condivise in entrambe le versioni di Reactis.<\/li>\n<\/ul>\n <\/div>\n <\/div>\n \n <\/div>\n<\/div>\n\n","protected":false},"template":"","class_list":["post-7035","product_snippets","type-product_snippets","status-publish","hentry"],"acf":[],"yoast_head":"\nReactis for C - Teoresi Group<\/title>\n<meta name=\"description\" content=\"Discover all you need to know about Reactis for C on Teoresi Group - Teoresi Group is high profile engineering. It offers an innovative approach in close synergy with the Research and Development departments of the main industrial players.\" \/>\n<meta name=\"robots\" content=\"noindex, follow\" \/>\n<meta property=\"og:locale\" content=\"it_IT\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Reactis for C\" \/>\n<meta property=\"og:description\" content=\"Discover all you need to know about Reactis for C on Teoresi Group - Teoresi Group is high profile engineering. It offers an innovative approach in close synergy with the Research and Development departments of the main industrial players.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.teoresigroup.com\/product_snippets\/reactis-for-c\/\" \/>\n<meta property=\"og:site_name\" content=\"Teoresi Group\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/pages\/Gruppo-Teoresi\/118393464917205\" \/>\n<meta property=\"article:modified_time\" content=\"2021-01-07T13:47:23+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.teoresigroup.com\/wp-content\/uploads\/2021\/02\/og-image.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1200\" \/>\n\t<meta property=\"og:image:height\" content=\"630\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.teoresigroup.com\\\/product_snippets\\\/reactis-for-c\\\/\",\"url\":\"https:\\\/\\\/www.teoresigroup.com\\\/product_snippets\\\/reactis-for-c\\\/\",\"name\":\"Reactis for C - Teoresi Group\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.teoresigroup.com\\\/it\\\/#website\"},\"datePublished\":\"2020-11-10T18:11:27+00:00\",\"dateModified\":\"2021-01-07T13:47:23+00:00\",\"description\":\"Discover all you need to know about Reactis for C on Teoresi Group - Teoresi Group is high profile engineering. It offers an innovative approach in close synergy with the Research and Development departments of the main industrial players.\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.teoresigroup.com\\\/product_snippets\\\/reactis-for-c\\\/#breadcrumb\"},\"inLanguage\":\"it-IT\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.teoresigroup.com\\\/product_snippets\\\/reactis-for-c\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.teoresigroup.com\\\/product_snippets\\\/reactis-for-c\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"\",\"item\":\"https:\\\/\\\/www.teoresigroup.com\\\/it\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Reactis for C\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.teoresigroup.com\\\/it\\\/#website\",\"url\":\"https:\\\/\\\/www.teoresigroup.com\\\/it\\\/\",\"name\":\"Teoresi Group\",\"description\":\"Engineering for Human life.\",\"publisher\":{\"@id\":\"https:\\\/\\\/www.teoresigroup.com\\\/it\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.teoresigroup.com\\\/it\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"it-IT\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/www.teoresigroup.com\\\/it\\\/#organization\",\"name\":\"Teoresi Group\",\"url\":\"https:\\\/\\\/www.teoresigroup.com\\\/it\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"it-IT\",\"@id\":\"https:\\\/\\\/www.teoresigroup.com\\\/it\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/www.teoresigroup.com\\\/wp-content\\\/uploads\\\/2020\\\/12\\\/teoresi-logo-color.svg\",\"contentUrl\":\"https:\\\/\\\/www.teoresigroup.com\\\/wp-content\\\/uploads\\\/2020\\\/12\\\/teoresi-logo-color.svg\",\"width\":1,\"height\":1,\"caption\":\"Teoresi Group\"},\"image\":{\"@id\":\"https:\\\/\\\/www.teoresigroup.com\\\/it\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/www.facebook.com\\\/pages\\\/Gruppo-Teoresi\\\/118393464917205\",\"https:\\\/\\\/www.instagram.com\\\/teoresigroup\\\/\",\"https:\\\/\\\/www.linkedin.com\\\/company\\\/teoresigroup\\\/\",\"https:\\\/\\\/www.youtube.com\\\/channel\\\/UCNdBBSSax2EWPmFk5QzYP8Q\"]}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"Reactis for C - Teoresi Group","description":"Discover all you need to know about Reactis for C on Teoresi Group - Teoresi Group is high profile engineering. It offers an innovative approach in close synergy with the Research and Development departments of the main industrial players.","robots":{"index":"noindex","follow":"follow"},"og_locale":"it_IT","og_type":"article","og_title":"Reactis for C","og_description":"Discover all you need to know about Reactis for C on Teoresi Group - Teoresi Group is high profile engineering. It offers an innovative approach in close synergy with the Research and Development departments of the main industrial players.","og_url":"https:\/\/www.teoresigroup.com\/product_snippets\/reactis-for-c\/","og_site_name":"Teoresi Group","article_publisher":"https:\/\/www.facebook.com\/pages\/Gruppo-Teoresi\/118393464917205","article_modified_time":"2021-01-07T13:47:23+00:00","og_image":[{"width":1200,"height":630,"url":"https:\/\/www.teoresigroup.com\/wp-content\/uploads\/2021\/02\/og-image.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.teoresigroup.com\/product_snippets\/reactis-for-c\/","url":"https:\/\/www.teoresigroup.com\/product_snippets\/reactis-for-c\/","name":"Reactis for C - Teoresi Group","isPartOf":{"@id":"https:\/\/www.teoresigroup.com\/it\/#website"},"datePublished":"2020-11-10T18:11:27+00:00","dateModified":"2021-01-07T13:47:23+00:00","description":"Discover all you need to know about Reactis for C on Teoresi Group - Teoresi Group is high profile engineering. It offers an innovative approach in close synergy with the Research and Development departments of the main industrial players.","breadcrumb":{"@id":"https:\/\/www.teoresigroup.com\/product_snippets\/reactis-for-c\/#breadcrumb"},"inLanguage":"it-IT","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.teoresigroup.com\/product_snippets\/reactis-for-c\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.teoresigroup.com\/product_snippets\/reactis-for-c\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"","item":"https:\/\/www.teoresigroup.com\/it\/"},{"@type":"ListItem","position":2,"name":"Reactis for C"}]},{"@type":"WebSite","@id":"https:\/\/www.teoresigroup.com\/it\/#website","url":"https:\/\/www.teoresigroup.com\/it\/","name":"Teoresi Group","description":"Engineering for Human life.","publisher":{"@id":"https:\/\/www.teoresigroup.com\/it\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.teoresigroup.com\/it\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"it-IT"},{"@type":"Organization","@id":"https:\/\/www.teoresigroup.com\/it\/#organization","name":"Teoresi Group","url":"https:\/\/www.teoresigroup.com\/it\/","logo":{"@type":"ImageObject","inLanguage":"it-IT","@id":"https:\/\/www.teoresigroup.com\/it\/#\/schema\/logo\/image\/","url":"https:\/\/www.teoresigroup.com\/wp-content\/uploads\/2020\/12\/teoresi-logo-color.svg","contentUrl":"https:\/\/www.teoresigroup.com\/wp-content\/uploads\/2020\/12\/teoresi-logo-color.svg","width":1,"height":1,"caption":"Teoresi Group"},"image":{"@id":"https:\/\/www.teoresigroup.com\/it\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/pages\/Gruppo-Teoresi\/118393464917205","https:\/\/www.instagram.com\/teoresigroup\/","https:\/\/www.linkedin.com\/company\/teoresigroup\/","https:\/\/www.youtube.com\/channel\/UCNdBBSSax2EWPmFk5QzYP8Q"]}]}},"_links":{"self":[{"href":"https:\/\/www.teoresigroup.com\/it\/wp-json\/wp\/v2\/product_snippets\/7035","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.teoresigroup.com\/it\/wp-json\/wp\/v2\/product_snippets"}],"about":[{"href":"https:\/\/www.teoresigroup.com\/it\/wp-json\/wp\/v2\/types\/product_snippets"}],"wp:attachment":[{"href":"https:\/\/www.teoresigroup.com\/it\/wp-json\/wp\/v2\/media?parent=7035"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}