Traitement en cours

Veuillez attendre...

Paramétrages

Paramétrages

Aller à Demande

1. WO2020112800 - SYSTÈMES ET PROCÉDÉS POUR ENTRAÎNER DES SYSTÈMES À DÉTECTER DES BOGUES LOGICIELS

Numéro de publication WO/2020/112800
Date de publication 04.06.2020
N° de la demande internationale PCT/US2019/063287
Date du dépôt international 26.11.2019
CIB
G06F 11/36 2006.01
GPHYSIQUE
06CALCUL; COMPTAGE
FTRAITEMENT ÉLECTRIQUE DE DONNÉES NUMÉRIQUES
11Détection d'erreurs; Correction d'erreurs; Contrôle de fonctionnement
36Prévention d'erreurs en effectuant des tests ou par débogage de logiciel
G06F 8/658 2018.01
GPHYSIQUE
06CALCUL; COMPTAGE
FTRAITEMENT ÉLECTRIQUE DE DONNÉES NUMÉRIQUES
8Dispositions pour ingénierie logicielle
60Déploiement de logiciel
65Mises à jour
658Mises à jour par incrément; Mises à jour différentielles
CPC
G06F 11/36
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
11Error detection; Error correction; Monitoring
36Preventing errors by testing or debugging software
G06F 8/658
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
8Arrangements for software engineering
60Software deployment
65Updates
658Incremental updates; Differential updates
Déposants
  • MARKUS, Brian [US]/[US]
Inventeurs
  • MARKUS, Brian
Mandataires
  • PISANO, Anthony L.
  • BASU, Palash
  • BONNER, Anthony F.
  • BONNER, Brian M.
  • BRENTLINGER, Nicolas A.
  • CHOI, Yongsok
  • EARLE, Ashley J.
  • ELSWICK, Christopher W.
  • INGLE, Corey J.
  • JIVIDEN, William A.
  • KALTER, Alexander J.
  • LAHMANN, Bethany R.
  • LIVINGSTON, Jennifer L.
  • MOLLOY, Matthew
  • NEIHEISEL, Craig E.
  • OBERHAUS, Geoffrey L.
  • PATSARIKAS, George A.
  • RERICHA, Nicholaus R.
  • SHIN, Miyoung
  • SIGURDSON, Nicole M.
  • SINGH, Ritu
  • TENT, Brian A.
  • WATHEN, Douglas L.
  • WISECUP, Bryan C.
  • WUENNENBERG, Gregory T.
  • ZHAO, Qiong J.
Données relatives à la priorité
62/771,34526.11.2018US
Langue de publication anglais (EN)
Langue de dépôt anglais (EN)
États désignés
Titre
(EN) SYSTEMS AND METHODS FOR TRAINING SYSTEMS TO DETECT SOFTWARE BUGS
(FR) SYSTÈMES ET PROCÉDÉS POUR ENTRAÎNER DES SYSTÈMES À DÉTECTER DES BOGUES LOGICIELS
Abrégé
(EN)
A method is disclosed and includes receiving, using a first client computing system, an instance from an administrative computing system. The instance includes a partition of computing resources of the administrative computing system. The partition of computing resources includes a virtual processor and first machine-readable instructions. The first machine-readable instructions include a first predefined software bug. The method includes executing, using the virtual processor, the first machine-readable instructions. Executing the first machine-readable instructions includes receiving, using the virtual processor, a first input indicating an identification of the first predefined software bug of the first machine-readable instructions. Executing the first machine-readable instructions includes transmitting, using the virtual processor, a first signal associated with the first input to the administrative computing system, wherein the first signal causes the administrative computing system to generate a score associated with the first client computing system in response to verification by the administrative computing system.
(FR)
L'invention concerne un procédé qui consiste à recevoir, grâce à un premier système informatique client, une instance provenant d'un système informatique administratif. L'instance comprend une partition de ressources informatiques du système informatique administratif. La partition de ressources informatiques comprend un processeur virtuel et des premières instructions lisibles par machine. Les premières instructions lisibles par machine contiennent un premier bogue logiciel prédéfini. Le procédé consiste à exécuter, grâce au processeur virtuel, les premières instructions lisibles par machine. L'exécution des premières instructions lisibles par machine consiste à recevoir, grâce au processeur virtuel, une première entrée indiquant une identification du premier bogue logiciel prédéfini des premières instructions lisibles par machine. L'exécution des premières instructions lisibles par machine consiste à transmettre, grâce au processeur virtuel, un premier signal associé à la première entrée fournie au système informatique administratif, le premier signal provoquant la production, par le système informatique administratif, d'un score associé au premier système informatique client en réponse à une vérification par le système informatique administratif.
Dernières données bibliographiques dont dispose le Bureau international