FR2871907B1 - Dispositif de controle de la couverture structurelle d'un logiciel et procede mettant en oeuvre le dispositif - Google Patents

Dispositif de controle de la couverture structurelle d'un logiciel et procede mettant en oeuvre le dispositif

Info

Publication number
FR2871907B1
FR2871907B1 FR0406783A FR0406783A FR2871907B1 FR 2871907 B1 FR2871907 B1 FR 2871907B1 FR 0406783 A FR0406783 A FR 0406783A FR 0406783 A FR0406783 A FR 0406783A FR 2871907 B1 FR2871907 B1 FR 2871907B1
Authority
FR
France
Prior art keywords
software
controlling
method implementing
structural coverage
coverage
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired - Fee Related
Application number
FR0406783A
Other languages
English (en)
Other versions
FR2871907A1 (fr
Inventor
Jerome Papineau
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Thales SA
Original Assignee
Thales SA
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Thales SA filed Critical Thales SA
Priority to FR0406783A priority Critical patent/FR2871907B1/fr
Priority to EP05754129A priority patent/EP1763757A2/fr
Priority to US11/571,211 priority patent/US7895577B2/en
Priority to PCT/EP2005/052892 priority patent/WO2005124555A2/fr
Publication of FR2871907A1 publication Critical patent/FR2871907A1/fr
Application granted granted Critical
Publication of FR2871907B1 publication Critical patent/FR2871907B1/fr
Anticipated expiration legal-status Critical
Expired - Fee Related legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/362—Debugging of software
    • G06F11/3636—Debugging of software by tracing the execution of the program
    • G06F11/364—Debugging of software by tracing the execution of the program tracing values on a bus

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)
FR0406783A 2004-06-22 2004-06-22 Dispositif de controle de la couverture structurelle d'un logiciel et procede mettant en oeuvre le dispositif Expired - Fee Related FR2871907B1 (fr)

Priority Applications (4)

Application Number Priority Date Filing Date Title
FR0406783A FR2871907B1 (fr) 2004-06-22 2004-06-22 Dispositif de controle de la couverture structurelle d'un logiciel et procede mettant en oeuvre le dispositif
EP05754129A EP1763757A2 (fr) 2004-06-22 2005-06-21 Dispositif de controle de la couverture structurelle d'un logiciel et procede mettant en oeuvre le dispositif
US11/571,211 US7895577B2 (en) 2004-06-22 2005-06-21 Device for testing the structural coverage of a software program and a method implementing the device
PCT/EP2005/052892 WO2005124555A2 (fr) 2004-06-22 2005-06-21 Dispositif de controle de la couverture structurelle d'un logiciel et procede mettant en oeuvre le dispositif

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
FR0406783A FR2871907B1 (fr) 2004-06-22 2004-06-22 Dispositif de controle de la couverture structurelle d'un logiciel et procede mettant en oeuvre le dispositif

Publications (2)

Publication Number Publication Date
FR2871907A1 FR2871907A1 (fr) 2005-12-23
FR2871907B1 true FR2871907B1 (fr) 2006-09-08

Family

ID=34947373

Family Applications (1)

Application Number Title Priority Date Filing Date
FR0406783A Expired - Fee Related FR2871907B1 (fr) 2004-06-22 2004-06-22 Dispositif de controle de la couverture structurelle d'un logiciel et procede mettant en oeuvre le dispositif

Country Status (4)

Country Link
US (1) US7895577B2 (fr)
EP (1) EP1763757A2 (fr)
FR (1) FR2871907B1 (fr)
WO (1) WO2005124555A2 (fr)

Families Citing this family (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20090070745A1 (en) * 2007-09-04 2009-03-12 Mark Everly System and corresponding method for testing software embedded in an electronic device
US9582410B2 (en) 2010-10-27 2017-02-28 International Business Machines Corporation Testing software on a computer system
DE112019005154T5 (de) * 2018-10-15 2021-07-08 Zact, Inc. Transaktions-Verwaltungs-System

Family Cites Families (13)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP0228480B1 (fr) * 1985-12-30 1990-05-16 Ibm Deutschland Gmbh Procédé et dispositif pour l'analyse de programmes de commande
US5050168A (en) * 1989-12-29 1991-09-17 Paterson Timothy L Test coverage analyzer
JPH04239338A (ja) * 1991-01-11 1992-08-27 Nec Corp マイクロプログラム網羅率測定方式
US5390323A (en) * 1991-08-05 1995-02-14 Amdahl Corporation Microstore reference logging
US6071316A (en) * 1997-09-29 2000-06-06 Honeywell Inc. Automated validation and verification of computer software
US5968188A (en) * 1998-03-10 1999-10-19 Grammar Engine System for providing real-time code coverage
US6536036B1 (en) * 1998-08-20 2003-03-18 International Business Machines Corporation Method and apparatus for managing code test coverage data
US7111290B1 (en) * 1999-01-28 2006-09-19 Ati International Srl Profiling program execution to identify frequently-executed portions and to assist binary translation
US6959431B1 (en) * 1999-05-13 2005-10-25 Compuware Corporation System and method to measure and report on effectiveness of software program testing
US7143394B1 (en) * 2001-12-21 2006-11-28 Emc Corporation Analyzing software behavior
US6978401B2 (en) * 2002-08-01 2005-12-20 Sun Microsystems, Inc. Software application test coverage analyzer
US20050043913A1 (en) * 2003-08-19 2005-02-24 Rex Hyde Method of determining the level of structural coverage testing of test cases which are written for a program that does not provide for structural coverage testing
US7480899B2 (en) * 2004-03-22 2009-01-20 International Business Machines Corporation Method and apparatus for autonomic test case feedback using hardware assistance for code coverage

Also Published As

Publication number Publication date
US7895577B2 (en) 2011-02-22
US20070239959A1 (en) 2007-10-11
WO2005124555A2 (fr) 2005-12-29
FR2871907A1 (fr) 2005-12-23
WO2005124555A3 (fr) 2006-10-05
EP1763757A2 (fr) 2007-03-21

Similar Documents

Publication Publication Date Title
EP1803331A4 (fr) Procede et systeme de contre-reaction et de commande d'un luminaire
EP1549251A4 (fr) Procede pour appliquer des revetements sur un dispositif medical
BR0303363B8 (pt) mÉtodo e dispositivo para um sistema de liner.
EP1670048A4 (fr) Procede et dispositif pour l'aplatissement de surface de solide
EP1510854A4 (fr) Procede de commande de dispositif d'affichage
AU2003228841A8 (en) Lane position maintenance apparatus and method
AU2003291734A8 (en) Apparatus and method for tracking the location and position of an individual
EP1552910A4 (fr) Dispositif de commande des operations d'un robot et procede de commande des operations
EP1577930A4 (fr) Dispositif de revetement et procede pour constituer un film de revetement
IL157310A0 (en) Method and apparatus for determining the geographic location of a target
FR2861051B1 (fr) Procede de guidage d'un aeronef en phase d'approche et balise sol correspondante
FR2856154B1 (fr) Procede et dispositif a ultrasons pour l'acquisition multiligne
FR2850183B1 (fr) Procede et dispositif de pilotage d'un ensemble de restitution a partir d'un signal multicanal.
EP1758090A4 (fr) Dispositif d'affichage et méthode de pilotage de dispositif d'affichage
FR2866258B1 (fr) Procede et dispositif de renovation automatique a distance d'une surface metallique
EP1748390A4 (fr) Dispositif et procédé de création d'images de la face
FR2830613B1 (fr) Procede d'ajustage automatique pour un goniometre et dispositif associe
EP1667028A4 (fr) Antememoire et procede de commande d'antememoire
EP1542311A4 (fr) Dispositif et procede de commande
FR2867152B1 (fr) Procede de controle de l'amortissement de vibrations d'un helicoptere et dispositif mettant en oeuvre le procede
EP1507164A4 (fr) Procede de commande de dispositif d'affichage
FR2875309B1 (fr) Dispositif et procede de controle d'une console
FR2871907B1 (fr) Dispositif de controle de la couverture structurelle d'un logiciel et procede mettant en oeuvre le dispositif
EP1702210A4 (fr) Procede et dispositif pour la preparation d'echantillons
FR2873233B1 (fr) Dispositif et procede de commande d'une inductance

Legal Events

Date Code Title Description
PLFP Fee payment

Year of fee payment: 13

PLFP Fee payment

Year of fee payment: 14

PLFP Fee payment

Year of fee payment: 15

PLFP Fee payment

Year of fee payment: 17

ST Notification of lapse

Effective date: 20220205