{"id":7066,"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-07T17:59:54","modified_gmt":"2020-12-07T16:59:54","slug":"reactis-for-c","status":"publish","type":"products","link":"https:\/\/teoresi.sixeleven.it\/it\/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, 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