Precilog distribue deux outils de test pour le logiciel industriel et embarqué : TiCS pour la qualité du code, Testwell CTC++ pour la couverture jusqu'au MC/DC. De quoi répondre à l'ISO 26262, à la DO-178C, à l'IEC 62304 ou à l'EN 50716 — et le vérifier sur votre propre code, gratuitement.
Vos analyseurs fédérés, un score comparable, des quality gates en CI.
Couverture C/C++ jusqu'au MC/DC, sur hôte comme sur cible. Certifié TÜV SÜD.
Quand une défaillance logicielle signifie un rappel produit, un arrêt de ligne ou un risque pour des personnes, la preuve de qualité n'est pas une option. Nos outils équipent les équipes qui en portent la responsabilité.
Trajectoire, sécurité collaborative, robustesse des modules critiques.
Calculateurs embarqués, sûreté de fonctionnement, qualité avant release.
Sécurité fonctionnelle, niveaux SIL, criticité par périmètre.
Couverture structurelle, règles de codage, preuve pour l'auditeur : ce que chaque norme exige côté code, et l'outil qui y répond.
Precilog distribue TiCS (TIOBE) et Testwell CTC++ (Verifysoft), et accompagne ses clients de l'évaluation à la mise en service : installation, intégration à la chaîne CI, support.
Spécialiste de la qualité logicielle.
TIOBE (TiCS) et Verifysoft (Testwell CTC++).
Le référentiel du score TiCS.
Testwell CTC++, pour la sécurité fonctionnelle.
En 30 minutes, gratuitement, le Diagnostic Flash situe les risques qualité de votre logiciel et les leviers prioritaires. Vous choisissez ensuite, en connaissance de cause.
Preuve de concept TiCS ou évaluation Testwell CTC++ : gratuit, sur votre propre code, avec un support complet.
