FR3045860B1 - Procede de detection de problemes de testabilite d'un module informatique - Google Patents

Procede de detection de problemes de testabilite d'un module informatique

Info

Publication number
FR3045860B1
FR3045860B1 FR1562987A FR1562987A FR3045860B1 FR 3045860 B1 FR3045860 B1 FR 3045860B1 FR 1562987 A FR1562987 A FR 1562987A FR 1562987 A FR1562987 A FR 1562987A FR 3045860 B1 FR3045860 B1 FR 3045860B1
Authority
FR
France
Prior art keywords
computer module
model
code instructions
graph
testability
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.)
Active
Application number
FR1562987A
Other languages
English (en)
Other versions
FR3045860A1 (fr
Inventor
Severine Morin
Bertrand Tavernier
Fabrice Coroller
Stephane Bigonneau
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.)
Safran Electronics and Defense SAS
Original Assignee
Sagem Defense Securite 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 Sagem Defense Securite SA filed Critical Sagem Defense Securite SA
Priority to FR1562987A priority Critical patent/FR3045860B1/fr
Priority to US16/063,991 priority patent/US10394688B2/en
Priority to PCT/EP2016/082134 priority patent/WO2017108924A1/fr
Publication of FR3045860A1 publication Critical patent/FR3045860A1/fr
Application granted granted Critical
Publication of FR3045860B1 publication Critical patent/FR3045860B1/fr
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3604—Software analysis for verifying properties of programs
    • G06F11/3616—Software analysis for verifying properties of programs using software metrics
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3604—Software analysis for verifying properties of programs
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G06F11/3672—Test management
    • G06F11/3676—Test management for coverage analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/20—Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
    • G06F16/28—Databases characterised by their database models, e.g. relational or object models
    • G06F16/284—Relational databases
    • G06F16/288—Entity relationship models
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/90—Details of database functions independent of the retrieved data types
    • G06F16/901—Indexing; Data structures therefor; Storage structures
    • G06F16/9024—Graphs; Linked lists
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/35—Creation or generation of source code model driven

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Databases & Information Systems (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Data Mining & Analysis (AREA)
  • Debugging And Monitoring (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)

Abstract

La présente invention concerne un procédé de détection de problèmes de testabilité d'un module informatique défini : - d'une part par des premières instructions de code en un langage de modélisation représentant des blocs repartis en un ou plusieurs composants et des relations entre les blocs et/ou les composants ; - d'autre part par des deuxièmes instructions de code en un langage textuel représentant une liste de spécifications chacune associée à une capabilité et définissant au moins un flux d'informations au niveau de la capabilité ; le procédé étant caractérisé en ce qu'il comprend la mise en œuvre par des moyens de traitement de données (11) d'un équipement (1) d'étapes de : (a) Expression des premières et deuxièmes instructions de code chacun sous une forme de modèle instanciant un méta-modèle commun les mettant en correspondance (b) Synchronisation en un modèle consolidé des modèles associés; (c) Expression à partir dudit modèle consolidé d'un graphe ; (d) Calcul par un algorithme de parcours de graphe de la largeur et/ou de la profondeur dudit graphe ; (e) Emission d'un signal indiquant un problème de testabilité du module informatique si au moins une desdites largeur et profondeur calculées est supérieure à un seuil prédéfini.
FR1562987A 2015-12-21 2015-12-21 Procede de detection de problemes de testabilite d'un module informatique Active FR3045860B1 (fr)

Priority Applications (3)

Application Number Priority Date Filing Date Title
FR1562987A FR3045860B1 (fr) 2015-12-21 2015-12-21 Procede de detection de problemes de testabilite d'un module informatique
US16/063,991 US10394688B2 (en) 2015-12-21 2016-12-21 Method for detecting computer module testability problems
PCT/EP2016/082134 WO2017108924A1 (fr) 2015-12-21 2016-12-21 Procédé de détection de problèmes de testabilité d'un module informatique

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
FR1562987A FR3045860B1 (fr) 2015-12-21 2015-12-21 Procede de detection de problemes de testabilite d'un module informatique

Publications (2)

Publication Number Publication Date
FR3045860A1 FR3045860A1 (fr) 2017-06-23
FR3045860B1 true FR3045860B1 (fr) 2017-12-22

Family

ID=56511610

Family Applications (1)

Application Number Title Priority Date Filing Date
FR1562987A Active FR3045860B1 (fr) 2015-12-21 2015-12-21 Procede de detection de problemes de testabilite d'un module informatique

Country Status (3)

Country Link
US (1) US10394688B2 (fr)
FR (1) FR3045860B1 (fr)
WO (1) WO2017108924A1 (fr)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN109902021B (zh) * 2019-03-13 2021-03-02 北京国舜科技股份有限公司 一种信息系统安全测试质量评价方法及系统

Family Cites Families (16)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5457638A (en) * 1993-02-23 1995-10-10 Nec Research Institue, Inc. Timing analysis of VLSI circuits
US5513118A (en) * 1993-08-25 1996-04-30 Nec Usa, Inc. High level synthesis for partial scan testing
JP2865136B2 (ja) * 1996-11-11 1999-03-08 日本電気株式会社 テスト考慮論理合成システム
DE19803032A1 (de) * 1998-01-27 1999-07-29 Daimler Chrysler Ag Verfahren zur computergestützten Optimierung von Prüfspezifikationen und Minimierung von Prüfsoftware
US6363520B1 (en) * 1998-06-16 2002-03-26 Logicvision, Inc. Method for testability analysis and test point insertion at the RT-level of a hardware development language (HDL) specification
US7185049B1 (en) * 1999-02-01 2007-02-27 At&T Corp. Multimedia integration description scheme, method and system for MPEG-7
US7072818B1 (en) * 1999-11-30 2006-07-04 Synplicity, Inc. Method and system for debugging an electronic system
US7272823B2 (en) * 2002-08-22 2007-09-18 Sun Microsystems, Inc. Method and apparatus for software metrics immediate feedback mechanism
US7055129B2 (en) * 2002-08-22 2006-05-30 Sun Microsystems, Inc. Method and apparatus for metrics approval mechanism
US20050097515A1 (en) * 2003-10-31 2005-05-05 Honeywell International, Inc. Data empowered laborsaving test architecture
JP2010128583A (ja) * 2008-11-25 2010-06-10 Toshiba Corp テスト容易化設計装置ならびにその方法およびプログラム
CA2734199C (fr) * 2010-03-18 2017-01-03 Accenture Global Services Limited Peptides antigeniques derives de la telomerase
US8949216B2 (en) * 2012-12-07 2015-02-03 International Business Machines Corporation Determining characteristic parameters for web pages
US8935641B2 (en) * 2013-03-13 2015-01-13 Taiwan Semiconductor Manufacturing Company, Ltd. Semiconductor circuit design method, memory compiler and computer program product
US9348571B2 (en) * 2014-08-25 2016-05-24 General Electric Company Method, device, and program storage device for autonomous software life cycle management
FR3026511B1 (fr) 2014-09-30 2018-02-16 Safran Electronics & Defense Procede de test d'un composant logiciel

Also Published As

Publication number Publication date
US10394688B2 (en) 2019-08-27
WO2017108924A1 (fr) 2017-06-29
FR3045860A1 (fr) 2017-06-23
US20190004928A1 (en) 2019-01-03

Similar Documents

Publication Publication Date Title
US20200159976A1 (en) Anomaly localization in a pipeline
RU2016133850A (ru) Определение задач в сообщениях
CN106104496A (zh) 用于任意时序的不受监督的异常检测
US20190139215A1 (en) Pipe feature identification using pipe inspection data analysis
CN106354995A (zh) 一种基于拉格朗日插值与时间序列的预测方法
CN107642347B (zh) 页岩气压裂井下事故预测预警方法及装置
TW200745889A (en) Methodology for layout-based modulation and optimization of nitride liner stress effect in compact models
MX2017003804A (es) Metodo y sistema para la generacion de datos de sensores virtuales con anotacion de profundidad por observacion directa.
JP2009003534A (ja) 時系列データ分類装置、時系列データ分類方法および時系列データ処理装置
ATE524752T1 (de) Verfahren und system zur vorhersage unter der oberfläche
KR101856170B1 (ko) 시계열 데이터를 기초로 시스템의 이상시점을 예측하는 장치 및 그 방법
US8724851B2 (en) Aerial survey video processing
FR2998959B1 (fr) Procede d'affichage d'un plan de vol aeronautique comprenant une etape de parametrage des donnees de vol
WO2010067020A3 (fr) Procede de modelisation geologique de donnees sismiques par correlation de traces
US10389677B2 (en) Analyzing messages in social networks
US20150019298A1 (en) Estimating path information in business process instances when path information influences decision
US9458713B2 (en) Generating hydrocarbon reservoir scenarios from limited target hydrocarbon reservoir information
US10929688B2 (en) System and method of video content filtering
CN111443384A (zh) 确定节点深度和水柱通过速度
MX2022003381A (es) Sistema de inspección de equipos de minería, método de inspección de equipos de minería, y dispositivo de inspección de equipos de minería.
FR3045860B1 (fr) Procede de detection de problemes de testabilite d'un module informatique
Wang et al. Using DTW to measure trajectory distance in grid space
JP2014524170A5 (fr)
CN106156705A (zh) 一种行人异常行为检测方法及系统
IN2015CH04067A (fr)

Legal Events

Date Code Title Description
PLFP Fee payment

Year of fee payment: 2

PLSC Publication of the preliminary search report

Effective date: 20170623

PLFP Fee payment

Year of fee payment: 3

CD Change of name or company name

Owner name: SAFRAN ELECTRONICS & DEFENSE, FR

Effective date: 20180504

PLFP Fee payment

Year of fee payment: 5

PLFP Fee payment

Year of fee payment: 6

PLFP Fee payment

Year of fee payment: 7

PLFP Fee payment

Year of fee payment: 8

PLFP Fee payment

Year of fee payment: 9