{"id":7034,"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:46:22","modified_gmt":"2021-01-07T13:46:22","slug":"reactis-for-c","status":"publish","type":"product_snippets","link":"https:\/\/www.teoresigroup.com\/de\/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, an automated test-generation tool, may be used to find bugs in C programs.
\nIt consists of three primary components: Tester, Simulator, and Validator.<\/p>\n\n\n\n\n\n
Tester<\/strong><\/th>\nSimulator<\/strong><\/th>\nValidator<\/strong><\/th>\n<\/tr>\n<\/thead>\n
It automatically\u00a0generates test cases<\/strong>\u00a0that stress a program, often\u00a0discovering run-time errors<\/strong>. The generated tests aim to maximize coverage with respect to a number of test coverage metrics including Statement, Decision, Condition and Modified Condition\/Decision Coverage (MC\/DC).<\/td>\nIt is a simulation environment which\u00a0supports interactive execution and debugging of C programs<\/strong>\u00a0and graphical display of test coverage results.<\/td>\nIt enables an engineer to\u00a0formalize application requirements<\/strong>\u00a0(as assertions or coverage targets) and\u00a0perform an automatic check for requirement violations<\/strong>. Validator performs these checks by thoroughly simulating the program with the goal of violating assertions and covering targets. When a runtime error or assertion failure occurs, Validator returns a test which produces a concrete execution sequence that leads to the error, which greatly facilitates the diagnosis and repair of the underlying software bug.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

<\/p>\n

The Reactis\u00a0for\u00a0C tool suite improve the quality of your C code and reduce development costs in several ways. For example:<\/strong><\/p>\n

    \n
  • Finding and Fixing Runtime Errors<\/strong>. Reactis for C immediately stops execution when a runtime error occurs, making it easy to find and fix.
    \nWhenever Reactis for C is simulating C code in Simulator or generating tests in Tester, it is also performing a multitude of checks for runtime errors. The result is a powerful tool to find, diagnose, and fix a variety of runtime errors in your C code. The runtime errors detected by Reactis for C include:<\/li>\n
      \n
    • Overflow<\/em>\u00a0Numeric calculations which produce a result too large to represent<\/li>\n
    • Divide by Zero<\/em>\u00a0<\/strong>Dividing a numeric value by zero<\/li>\n
    • Invalid Shift<\/em>\u00a0Shifting an integer value by an amount which produces an undefined result according to the C standard<\/li>\n
    • Uninitialized Data Access<\/em>\u00a0Accessing memory before the memory has been initialized, so that the result of the access is undefined under C semantics<\/li>\n<\/ul>\n
    • Regression Testing<\/strong>. The automatic test-generation and execution offered by Reactis\u00a0for\u00a0C enables engineers to easily check whether a program conforms to the behavior of a previous version. A crucial aspect of the tests generated by Reactis Tester is that they include all program outputs as well as inputs. Hence these tests contain all the information needed to ensure that a revised version of a program conforms to a previous version.<\/li>\n
    • Synergy with Reactis for Simulink<\/strong>.<\/em>\u00a0Combining Reactis for C with Reactis for Simulink in a model-based development process produces synergistic benefits.
      \nEngineers performing model-based design using Simulink\u00ae\/ Stateflow\u00ae as a design tool and C as an implementation language can benefit significantly from using Reactis for C in combination with its sibling product, Reactis for Simulink.
      \nSynergistic benefits occur when test suites are shared between both versions of Reactis. There are two basic use-case scenarios<\/li>\n<\/ul>\n

       <\/p>\n <\/div>\n <\/div>\n \n <\/div>\n<\/div>\n\n","protected":false},"template":"","class_list":["post-7034","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=\"de_DE\" \/>\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\/de\/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:46:22+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\\\/de\\\/product_snippets\\\/reactis-for-c\\\/\",\"url\":\"https:\\\/\\\/www.teoresigroup.com\\\/de\\\/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:46:22+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\\\/de\\\/product_snippets\\\/reactis-for-c\\\/#breadcrumb\"},\"inLanguage\":\"de\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.teoresigroup.com\\\/de\\\/product_snippets\\\/reactis-for-c\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.teoresigroup.com\\\/de\\\/product_snippets\\\/reactis-for-c\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"\",\"item\":\"https:\\\/\\\/www.teoresigroup.com\\\/de\\\/\"},{\"@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\":\"de\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/www.teoresigroup.com\\\/it\\\/#organization\",\"name\":\"Teoresi Group\",\"url\":\"https:\\\/\\\/www.teoresigroup.com\\\/it\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"de\",\"@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":"de_DE","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\/de\/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:46:22+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\/de\/product_snippets\/reactis-for-c\/","url":"https:\/\/www.teoresigroup.com\/de\/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:46:22+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\/de\/product_snippets\/reactis-for-c\/#breadcrumb"},"inLanguage":"de","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.teoresigroup.com\/de\/product_snippets\/reactis-for-c\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.teoresigroup.com\/de\/product_snippets\/reactis-for-c\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"","item":"https:\/\/www.teoresigroup.com\/de\/"},{"@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":"de"},{"@type":"Organization","@id":"https:\/\/www.teoresigroup.com\/it\/#organization","name":"Teoresi Group","url":"https:\/\/www.teoresigroup.com\/it\/","logo":{"@type":"ImageObject","inLanguage":"de","@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\/de\/wp-json\/wp\/v2\/product_snippets\/7034","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.teoresigroup.com\/de\/wp-json\/wp\/v2\/product_snippets"}],"about":[{"href":"https:\/\/www.teoresigroup.com\/de\/wp-json\/wp\/v2\/types\/product_snippets"}],"wp:attachment":[{"href":"https:\/\/www.teoresigroup.com\/de\/wp-json\/wp\/v2\/media?parent=7034"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}