Webinaire en vedette : MISRA C++ 2023 : tout ce que vous devez savoir | Voir le séminaire

Image de personnes dans un environnement de travail en espace ouvert avec des ordinateurs et des bureaux.

Innovation et récompenses

Découvrez nos récompenses et nos brevets

Awards

Brevets

11,836,068

SYSTÈME ET PROCÉDÉ DE RECOMMANDATION DE CORRECTIFS D'ANALYSE STATIQUE

11,656,976

SYSTÈME ET PROCÉDÉ POUR RECOMMANDATIONS DE LOCALISATION D'ÉLÉMENTS POUR UNE APPLICATION UI

11,507,495

SYSTEME ET PROCEDE D'ANALYSE D'IMPACT DE TEST DE PROGRAMMES INFORMATIQUES

11,385,988

SYSTEME ET PROCEDE POUR AMELIORER LES RESULTATS D'UNE ANALYSE DE CODE STATIQUE BASEE SUR LA PROBABILITE D'UNE VRAIE ERREUR

5,581,696

PROCEDE UTILISANT UN ORDINATEUR POUR INSTRUMENTER AUTOMATIQUEMENT UN PROGRAMME D'ORDINATEUR POUR UN DÉBOGAGE DYNAMIQUE

5,761,408

PROCEDE ET SYSTEME POUR GENERER UNE SUITE DE TEST DE PROGRAMME INFORMATIQUE A L'AIDE D'UNE EXECUTION SYMBOLIQUE DYNAMIQUE

5,784,553

PROCEDE ET SYSTEME POUR GENERER UNE SUITE DE TEST DE PROGRAMME INFORMATIQUE A L'AIDE DE L'EXECUTION SYMBOLIQUE DYNAMIQUE DE PROGRAMMES JAVA

5,842,019

PROCEDE ET SYSTEME DE DETECTION DYNAMIQUE DE L'ESPACE MEMOIRE FUITE DANS UN PROGRAMME D'ORDINATEUR

5,860,011

PROCEDE ET SYSTEME DE VERIFICATION AUTOMATIQUE DE LA QUALITE DU CODE DE SOURCE D'ORDINATEUR SUR LA BASE DE REGLES

6,085,029

PROCEDE UTILISANT UN ORDINATEUR POUR INSTRUMENTER AUTOMATIQUEMENT UN PROGRAMME D'ORDINATEUR POUR UN DÉBOGAGE DYNAMIQUE

6,473,896

PROCEDE ET SYSTEME POUR GÉNÉRER GRAPHIQUEMENT DES RÈGLES DÉFINIES PAR L'UTILISATEUR POUR VÉRIFIER LA QUALITÉ DE LA LANGUE

6,806,893

SYSTÈME ET PROCÉDÉ D'AFFICHAGE DE BOUTONS TRIDIMENSIONNELS SIMULÉS DANS UNE INTERFACE UTILISATEUR GRAPHIQUE

6,718,485

LOGICIEL D'ÉMULATION MATÉRIEL POUR L'ANALYSE DES RÉFÉRENCES DE MÉMOIRE D'UN PROGRAMME INFORMATIQUE

D503179

CONCEPTION: ICÔNE GÉNÉRÉE PAR ORDINATEUR À TROIS DIMENSIONS POUR UN ÉCRAN D'AFFICHAGE

6,895,578

MODULARISATION D'UN PROGRAMME INFORMATIQUE POUR TESTS ET DÉBOGAGES

7,010,546

PROCEDE ET SYSTEME POUR TESTER DES SOURCES DE DONNEES ET DES APPLICATIONS LOGICIELLES ORIENTES DE BASE DE DONNÉES

7,028,223

SYSTEME ET PROCEDE DE TEST DE SERVICES WEB

7,266,808

PROCEDE ET SYSTEME DE FACTURATION ET / OU DE VERIFICATION DYNAMIQUE DES CONDITIONS D'UN PROGRAMME DE TEST D'ORDINATEUR

7,392,507

MODULARISATION D'UN PROGRAMME INFORMATIQUE POUR TESTS ET DÉBOGAGES

7,596,778

PROCEDE ET SYSTEME DE PREVENTION AUTOMATIQUE DES ERREURS POUR UN LOGICIEL INFORMATIQUE

7,620,939

CONFIGURATION AUTOMATIQUE DES COMMANDES DE TEST DE REGRESSION

7,680,752

SYSTEME ET PROCEDE DE GESTION PREDICTIVE DE PROCESSUS

7,721,154

SYSTEME ET PROCEDE DE TEST DE TEMPS D'EXECUTION DE LOGICIEL

7,877,780

SYSTÈME ET PROCÉDÉ POUR RENFORCER UNE FONCTIONNALITÉ DANS UN LOGICIEL INFORMATIQUE À TRAVERS DES POLITIQUES

7,900,193

SYSTEME ET PROCEDE DE DETECTION DE DEFAUTS DANS UN PROGRAMME D'ORDINATEUR UTILISANT UNE ANALYSE DE FLUX DE DONNEES ET DE CONTROLE

7,904,802

SYSTEME ET PROCEDE DE REVISION DE CODE DE LOGICIEL

7,908,590

SYSTÈME ET PROCÉDÉ POUR CRÉER AUTOMATIQUEMENT DES CAS DE TEST À TRAVERS UN CLIENT À DISTANCE

8,001,532

SYSTÈME ET PROCÉDÉ POUR GÉNÉRER DES CAS DE TEST BASÉS SUR UN CODE SOURCE

8,032,863

SYSTEME ET PROCEDE DE REPORTING GLOBAL GROUP

8,127,275

SYSTEME ET PROCEDE D'ENREGISTREMENT DE L'ETAT DES VARIABLES ET DES OBJETS LORS DES TESTS D'UNITE DE FONCTIONNEMENT

8,205,191

SYSTEME ET PROCEDE DE TESTS BASES SUR LE CHANGEMENT

8,448,148

DÉTECTION DES MORTS OU DES CONDITIONS DE COURSE DANS LES SYSTÈMES PHYSIQUES À L'AIDE DU TEST DE CHARGE

8,510,716

SYSTÈME ET PROCÉDÉ POUR VALIDER SIMULTANÉMENT UNE APPLICATION CLIENT / SERVEUR DU CÔTÉ CLIENT ET DU CÔTÉ SERVEUR

8,656,364

SYSTÈME ET PROCÉDÉ DE MISE EN APPLICATION DE RÈGLES COMMERCIALES À L'AIDE D'UNE ANALYSE STATIQUE

8,732,676

SYSTÈME ET PROCÉDÉ POUR GÉNÉRER UN TEST D'UNITÉ SUR LA BASE DE CHEMINS D'EXÉCUTION ENREGISTRÉS

9,672,481

SYSTEME ET PROCEDE DE SURVEILLANCE AUTOMATIQUE DE LA SANTE GLOBALE D'UN PROJET LOGICIEL

9,697,109

DOUBLES DE TEST CONFIGURABLES DYNAMIQUEMENT POUR LE TEST ET LA VALIDATION DU LOGICIEL

D503179

CONCEPTION: ICÔNE GÉNÉRÉE PAR ORDINATEUR À TROIS DIMENSIONS POUR UN ÉCRAN D'AFFICHAGE

10,248,545

PROCEDE DE SUIVI DE L'ATTRIBUTION DE SOURCE DE HAUT NIVEAU DU CODE DE LANGUE D'ASSEMBLAGE GÉNÉRÉ