Les logiciels critiques pour la sécurité adoptent de plus en plus les méthodes du développement moderne — cycles courts et intégration continue. Les tests doivent suivre ce rythme, au risque sinon de devenir le goulot d’étranglement de toute l’équipe.

Le rythme a changé

Les cycles courts et l’intégration continue sont désormais la norme pour les projets critiques pour la sécurité. Les tests doivent suivre ce rythme, et non attendre la fin d’un jalon.

Les tests manuels ne passent pas à l’échelle

Les tests manuels et semi-automatisés ne peuvent pas suivre la fréquence des commits. Un retour d’information tardif laisse un défaut se propager en aval avant même d’être détecté.

Un résultat produit hors du pipeline n’inspire pas confiance

Un résultat produit manuellement, en dehors du pipeline, est difficile à reproduire et à considérer comme fiable. Les éléments de preuve requis par les normes doivent provenir du pipeline lui-même.

La solution

Une suite complète de test et de vérification, intégrée au pipeline.

BTC TestStack exécute les tests MIL, SIL et PIL directement dans votre pipeline CI/CD, sans intervention — et produit les éléments de preuve traçables attendus par ISO 26262 et les normes associées de sécurité fonctionnelle.

La même suite que vous exécutez localement s’exécute dans le pipeline, à chaque commit.

S’exécute dans le pipeline

Tests basés sur les exigences, tests back-to-back et tests de régression
Analyse de la couverture du code et génération automatique de tests pour la couverture structurelle
Analyse du code mort
Tests formels et vérification formelle
Tests de migration entre versions d’outils et de compilateurs

S’intègre à votre chaîne d’outils CI/CD

Connectez-le au pipeline que vous utilisez déjà.

Prise en charge de tous les environnements CI courants, REST API polyvalente et serveur MCP pour les pipelines pilotés par des agents d’IA.

JenkinsGitHub ActionsGitLab CI/CDBitbucket PipelinesAzure DevOps

REST API

OpenAPI

L’API respecte le standard OpenAPI, ce qui permet aux bibliothèques clientes de l’appeler dans le langage utilisé par votre pipeline.

PythonJavaScriptJavaKotlinNodeRubyTypeScript

MCP

Agents d’IA

Pour les pipelines dans lesquels des agents d’IA prennent des décisions et pilotent le processus. BTC TestStack expose ses capacités via un serveur MCP : un agent peut exécuter les tests, lire les résultats et décider de l’étape suivante.

Module Python

agents de programmation

Vous utilisez Python ? Intégrez notre module à n’importe quel agent d’IA de programmation : il écrit le script du pipeline pour vous, à partir d’une simple description de votre flux de travail en langage naturel.

Évolutif

Adaptez le backend de test à votre charge de travail.

Exécutez le backend là où vous avez besoin de capacité — augmentez les ressources pour les grandes suites de tests, maintenez des environnements cohérents et maîtrisez les coûts.

Machines virtuelles

Exécutez le backend sur des machines virtuelles, dans le cloud ou sur site — avec vos pratiques d’exploitation habituelles et la capacité là où vous en avez besoin.

Conteneurs Linux Docker

Exécution dans des conteneurs Linux Docker, dans le cloud ou sur site — sans installation et de manière reproductible, avec la même image à chaque exécution.

BTC TestStack × Cloud

L’option entièrement cloud-native : un backend AWS évolutif et une interface web, sans installation locale.

Conçu pour le développement moderne

CI/CD/CT — l’épine dorsale du développement moderne.

BTC TestStack est conçu selon les principes qui régissent un pipeline moderne — il n’y est pas ajouté après coup.

Retour rapide

Des résultats exploitables en quelques minutes — avec les mêmes tests en local et dans le pipeline.

Traçabilité

Les résultats relient chaque artefact à un commit, puis aux exigences — à l’appui d’ISO 26262, des normes associées et d’ASPICE.

Tout sous forme de code

Les définitions de test, les résultats attendus et les objectifs de couverture sont codifiés et versionnés — une approche idéale pour les flux de travail basés sur Git.

Tests continus (CT)

Les tests sont déplacés en amont et s’exécutent à chaque étape, en évoluant avec le logiciel au fil de ses modifications.

Cas d’usage associés

Ce qui s’exécute dans le pipeline.

Cas d’usage

Test back-to-back

Les tests back-to-back entre modèle et code sont fortement recommandés par la norme ISO 26262.

Cas d’usage

Test de régression

Les tests de régression entre différentes versions d’un logiciel jouent un rôle important dans A-SPICE et ISO 26262.

Cas d’usage

Test de migration

Assurez-vous que les nouvelles versions d’outils n’introduisent pas de changements involontaires dans le comportement de votre logiciel !

Cas d’usage

Couverture de code

Dans BTC TestStack, la couverture du code est automatiquement calculée et mise à jour en arrière-plan.

Cas d’usage

Génération automatique de tests

Atteignez une couverture structurelle complète et transformez automatiquement les exigences en cas de test.

Cas d’usage

Tests basés sur les exigences

Tests basés sur les exigences pour Simulink, TargetLink, Embedded Coder, code écrit à la main et généré par IA.

EnvironnementsBTC TestStack × Simulink BTC TestStack × VS Code BTC TestStack × Cloud

Certifié

BTC TestStack

est certifié ISO 26262

Le certificat répond aux normes de sécurité fonctionnelle dans plusieurs secteurs :

ISO 26262

Automobile

IEC 61508-3:2010

Sécurité fonctionnelle industrielle / intersectorielle

ISO 25119

Machines agricoles et forestières

IEC 62304

Logiciel pour dispositifs médicaux

EN 50716

Applications ferroviaires

Pour ISO 26262, BTC TestStack est certifié selon le niveau de confiance dans l’outil (TCL) le plus élevé, valable pour tous les niveaux ASIL, y compris ASIL D. Sur demande, nous fournissons gratuitement le certificat et le rapport aux clients, ce qui supprime l’essentiel de leur effort de qualification des outils.

Feel the Quality

Échangez avec notre équipe d’ingénierie.

Expliquez-nous où se situe réellement votre difficulté d’ingénierie. Nous vous indiquerons si la prochaine étape la plus pertinente est une licence d’évaluation, un atelier ou un échange.

Demander une licence d’évaluation Réserver une démonstration