{"id":7065,"date":"2020-11-10T19:07:51","date_gmt":"2020-11-10T18:07:51","guid":{"rendered":"https:\/\/www.teoresigroup.com\/products\/reactis-for-c\/"},"modified":"2020-12-07T18:02:50","modified_gmt":"2020-12-07T17:02:50","slug":"reactis-for-c","status":"publish","type":"products","link":"https:\/\/teoresi.sixeleven.it\/de\/products\/reactis-for-c\/","title":{"rendered":"Reactis for C"},"content":{"rendered":"\n\t\n\t\n\t\t
\n\t\t\t
\n\n\t\t\t\t\t\t\t\t\t
\n\t\t\t\t\t\tproducts<\/span>\n\t\t\t\t\t<\/div>\n\t\t\t\t\n\t\t\t\t\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t\t\t
\"Reactive-logo_productlines\"
<\/figcaption><\/figure>\t\t\t\t\t\n\t\t\t\t<\/div>\n\n\t\t\t\t\n\t\t\t\t
\n\n\t\t\t\t\t\t\t\t\t\t\t
\"Reactive-logo_productlines\"
<\/figcaption><\/figure>\t\t\t\t\t\n\t\t\t\t\t\t\t\t\t\t\t

Reactis for C<\/h1>\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t

C Code Process<\/h2>\n\t\t\t\t\t\n\t\t\t\t<\/div>\n\n\t\t\t\t\n\t\t\t\t\t\n\t\t\t\t\t\n\t\t\t\t\t
<\/div>\n\n\t\t\t\t\n\t\t\t\t
<\/div>\n\n\t\t\t<\/div>\n\t\t<\/div>\n\n\t\t\n\t\t
\n\n\t\t\t
\n\t\t\t\t\t\t\t\t\t

Reactis for C<\/h1>\n\t\t\t\t\t\t\t\t\t\t\t\t\t

C Code Process<\/h2>\n\t\t\t\t\t\t\t<\/div>\n\n\t\t<\/div>\n\n\t\n\n\n\r\n \r\n
\r\n
\r\n <\/span><\/a><\/span><\/span> <\/div>\r\n <\/div>\r\n\r\n\n\n\r\n  <\/span>\r\n\r\n\n\n\r\n \r\n
\r\n\r\n
\r\n\r\n
\r\n\r\n
\r\n
\r\n Reactis for C<\/span>\r\n <\/div>\r\n <\/div>\r\n\r\n
\r\n C Code Process<\/span>\r\n
\r\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