Processing

Please wait...

Settings

Settings

Goto Application

1. WO2020064139 - METHOD AND APARATUS FOR VERIFYING A SOFTWARE SYSTEM

Publication Number WO/2020/064139
Publication Date 02.04.2020
International Application No. PCT/EP2018/086646
International Filing Date 21.12.2018
Chapter 2 Demand Filed 08.04.2020
IPC
G06F 11/36 2006.01
GPHYSICS
06COMPUTING; CALCULATING OR COUNTING
FELECTRIC DIGITAL DATA PROCESSING
11Error detection; Error correction; Monitoring
36Preventing errors by testing or debugging of software
CPC
G06F 11/3608
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
11Error detection; Error correction; Monitoring
36Preventing errors by testing or debugging software
3604Software analysis for verifying properties of programs
3608using formal methods, e.g. model checking, abstract interpretation
Applicants
  • SIEMENS INDUSTRY SOFTWARE NV [BE]/[BE]
Inventors
  • RATIU, Daniel
  • SORAKAYALPET ARUMUGAM, Sundaresan
Agents
  • ISARPATENT - PATENT- UND RECHTSANWÄLTE BEHNISCH BARTH CHARLES HASSA PECKMANN UND PARTNER MBB
Priority Data
20183103664428.09.2018IN
Publication Language English (EN)
Filing Language English (EN)
Designated States
Title
(EN) METHOD AND APARATUS FOR VERIFYING A SOFTWARE SYSTEM
(FR) PROCÉDÉ ET APPAREIL DE VÉRIFICATION D'UN SYSTÈME LOGICIEL
Abstract
(EN)
A method and apparatus for verifying a software system is disclosed. In one embodiment, a data processing apparatus (100) includes a processing unit (102), and a memory unit (104) communicatively coupled to the processing unit (102). The memory unit (104) includes a simulation module (116), and a verification module (118). The simulation module (116) is configured to perform simulation of the software system for a first set of steps based on a first set of input values. The verification module (118) is configured to instantaneously determine a state of the software system is which verification of the software system is to be initiated. The verification module (118) is configured to initiate verification of the software system at the determined state, perform verification of the software system for a second set of steps based on a second set of input values, and output results of the verification of the software system on a display unit (110).
(FR)
L'invention concerne un procédé et un appareil qui permettent de vérifier un système logiciel. Dans un mode de réalisation, un appareil de traitement de données (100) comprend une unité de traitement (102) et une unité de mémoire (104) couplée de manière à communiquer avec l'unité de traitement (102). L'unité de mémoire (104) comprend un module de simulation (116) et un module de vérification (118). Le module de simulation (116) est configuré de sorte à effectuer une simulation du système logiciel pour un premier ensemble d'étapes sur la base d'un premier ensemble de valeurs d'entrée. Le module de vérification (118) est configuré de sorte à déterminer instantanément un état du système logiciel dans lequel la vérification du système logiciel doit être lancée. Le module de vérification (118) est configuré de sorte à lancer la vérification du système logiciel à l'état déterminé, à effectuer une vérification du système logiciel pour un second ensemble d'étapes sur la base d'un second ensemble de valeurs d'entrée, et à sortir les résultats de la vérification du système logiciel sur une unité d'affichage (110).
Latest bibliographic data on file with the International Bureau