RU2010114707A - Способ отладки функционального программного обеспечения системы, установленной на борту летательного аппарата, и устройство для его осуществления - Google Patents

Способ отладки функционального программного обеспечения системы, установленной на борту летательного аппарата, и устройство для его осуществления Download PDF

Info

Publication number
RU2010114707A
RU2010114707A RU2010114707/08A RU2010114707A RU2010114707A RU 2010114707 A RU2010114707 A RU 2010114707A RU 2010114707/08 A RU2010114707/08 A RU 2010114707/08A RU 2010114707 A RU2010114707 A RU 2010114707A RU 2010114707 A RU2010114707 A RU 2010114707A
Authority
RU
Russia
Prior art keywords
program
functional
violation
execution
error
Prior art date
Application number
RU2010114707/08A
Other languages
English (en)
Other versions
RU2454706C2 (ru
Inventor
Фамантанантсоа РАНДИМБИВОЛОЛОНА (FR)
Фамантанантсоа РАНДИМБИВОЛОЛОНА
Флоран ФУРНЬЕ (FR)
Флоран ФУРНЬЕ
Филипп ЛЁМЁР (FR)
Филипп ЛЁМЁР
Венсан БРЕЖЕОН (FR)
Венсан БРЕЖЕОН
Original Assignee
Эрбюс Операсьон (С.А.С) (Fr)
Эрбюс Операсьон (С.А.С)
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 Эрбюс Операсьон (С.А.С) (Fr), Эрбюс Операсьон (С.А.С) filed Critical Эрбюс Операсьон (С.А.С) (Fr)
Publication of RU2010114707A publication Critical patent/RU2010114707A/ru
Application granted granted Critical
Publication of RU2454706C2 publication Critical patent/RU2454706C2/ru

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/362—Software debugging
    • G06F11/3636—Software debugging by tracing the execution of the program

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)
  • Stored Programmes (AREA)

Abstract

1. Способ отладки функционального программного обеспечения бортовой системы, включающий следующие этапы: ! разметка (31) программы путем установки меток вдоль пути выполнения программы для разбивки указанного пути выполнения на смежные функциональные интервалы, ! нормальное выполнение (32) программы, ! выделение (33) состояния выполнения программы при помощи векторов состояния меток, ! при обнаружении ошибки выполняют: ! поиск (36) функционального интервала нарушения на основании векторов состояния меток, ! обратное выполнение (41) программы в этом функциональном интервале нарушения, ! определение и исправление ошибки (42). ! 2. Способ по п.1, характеризующийся тем, что ошибку обнаруживают, когда обнаруживают остановку программы в результате прекращения выполнения операции процессором. ! 3. Способ по п.1 или 2, характеризующийся тем, что содержит операцию уточнения функционального интервала, в котором находится ошибка. !4. Способ по п.3, характеризующийся тем, что операция уточнения функционального интервала содержит определение дополнительных меток входа и выхода и/или промежуточных меток. ! 5. Способ по п.1, характеризующийся тем, что этап поиска функционального интервала нарушения осуществляется автоматически. !6. Способ по п.1, характеризующийся тем, что этап поиска функционального интервала нарушения осуществляют интерактивно с вмешательством разработчика. ! 7. Способ по п.1, характеризующийся тем, что содержит этап записи положения каждой метки и данных о состоянии выполнения программы в файл результатов материнской платы. ! 8. Устройство, моделирующее работу бортовой системы, установленной на борту летательного �

Claims (10)

1. Способ отладки функционального программного обеспечения бортовой системы, включающий следующие этапы:
разметка (31) программы путем установки меток вдоль пути выполнения программы для разбивки указанного пути выполнения на смежные функциональные интервалы,
нормальное выполнение (32) программы,
выделение (33) состояния выполнения программы при помощи векторов состояния меток,
при обнаружении ошибки выполняют:
поиск (36) функционального интервала нарушения на основании векторов состояния меток,
обратное выполнение (41) программы в этом функциональном интервале нарушения,
определение и исправление ошибки (42).
2. Способ по п.1, характеризующийся тем, что ошибку обнаруживают, когда обнаруживают остановку программы в результате прекращения выполнения операции процессором.
3. Способ по п.1 или 2, характеризующийся тем, что содержит операцию уточнения функционального интервала, в котором находится ошибка.
4. Способ по п.3, характеризующийся тем, что операция уточнения функционального интервала содержит определение дополнительных меток входа и выхода и/или промежуточных меток.
5. Способ по п.1, характеризующийся тем, что этап поиска функционального интервала нарушения осуществляется автоматически.
6. Способ по п.1, характеризующийся тем, что этап поиска функционального интервала нарушения осуществляют интерактивно с вмешательством разработчика.
7. Способ по п.1, характеризующийся тем, что содержит этап записи положения каждой метки и данных о состоянии выполнения программы в файл результатов материнской платы.
8. Устройство, моделирующее работу бортовой системы, установленной на борту летательного аппарата, характеризующееся тем, что содержит процессор (2), осуществляющий способ по любому из пп.1-7.
9. Устройство по п.8, характеризующееся тем, что процессор (2) виртуально смоделирован на материнской плате тестирования и отладки.
10. Рабочая программа для бортовой системы летательного аппарата, загружаемая в блок (1) управления, содержащая последовательности команд для осуществления способа по любому из пп.1-7, когда программа загружена в блок и выполняется.
RU2010114707/08A 2007-09-14 2008-09-12 Способ отладки функционального программного обеспечения системы, установленной на борту летательного аппарата, и устройство для его осуществления RU2454706C2 (ru)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
FR0757608A FR2921172B1 (fr) 2007-09-14 2007-09-14 Procede de debogage d'un logiciel de fonctionnement d'un systeme embarque a bord d'un aeronef et dispositif de mise en oeuvre
FR0757608 2007-09-14

Publications (2)

Publication Number Publication Date
RU2010114707A true RU2010114707A (ru) 2011-10-20
RU2454706C2 RU2454706C2 (ru) 2012-06-27

Family

ID=39247645

Family Applications (1)

Application Number Title Priority Date Filing Date
RU2010114707/08A RU2454706C2 (ru) 2007-09-14 2008-09-12 Способ отладки функционального программного обеспечения системы, установленной на борту летательного аппарата, и устройство для его осуществления

Country Status (8)

Country Link
US (1) US8650547B2 (ru)
EP (1) EP2188725A2 (ru)
JP (1) JP5580200B2 (ru)
BR (1) BRPI0816977A2 (ru)
CA (1) CA2697726A1 (ru)
FR (1) FR2921172B1 (ru)
RU (1) RU2454706C2 (ru)
WO (1) WO2009047435A2 (ru)

Families Citing this family (10)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20120192158A1 (en) * 2010-11-22 2012-07-26 Carlo Amalfitano Model Based Verification Using Forward and Reverse Traversal of Variable Time Line
FR2978264B1 (fr) * 2011-07-18 2014-06-27 Airbus Operations Sas Un procede de rechargement automatique de logiciel et un dispositif de rechargement automatique de logiciel
US8793661B1 (en) * 2012-04-27 2014-07-29 Google Inc. Programmer specified conditions for raising exceptions and handling errors detected within programming code
CN103577315B (zh) 2012-07-30 2017-02-22 国际商业机器公司 反向调试器和反向调试方法
US9183122B2 (en) * 2012-09-14 2015-11-10 International Business Machines Corporation Automated program testing to facilitate recreation of test failure
CN106155899B (zh) * 2015-04-17 2019-02-26 比亚迪股份有限公司 多媒体程序缺陷的定位方法和系统
RU2632546C1 (ru) * 2016-06-23 2017-10-05 Публичное акционерное общество "Авиационная холдинговая компания "Сухой" Стенд комплексирования информационно-управляющих систем многофункциональных летательных аппаратов
US10482000B2 (en) * 2017-04-24 2019-11-19 Microsoft Technology Licensing, Llc Machine learned decision guidance for alerts originating from monitoring systems
FR3072475B1 (fr) * 2017-10-17 2019-11-01 Thales Procede de traitement d'une erreur lors de l'execution d'une procedure avionique predeterminee, programme d'ordinateur et systeme de detection et d'alerte associe
CN108549602B (zh) * 2018-03-30 2022-03-08 深圳市江波龙电子股份有限公司 一种软件调试方法

Family Cites Families (22)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH06222952A (ja) * 1993-01-27 1994-08-12 Toshiba Corp デバッグ支援装置
JP3585601B2 (ja) * 1995-09-25 2004-11-04 松下電器産業株式会社 制御ソフトウェアの自動テスト装置及び方法
US5870607A (en) * 1996-09-11 1999-02-09 Brown University Research Foundation Method and apparatus for selective replay of computer programs
JPH11184728A (ja) * 1997-12-25 1999-07-09 Toshiba Corp デバッグ処理方法ならびに装置及び同方法がプログラムされ記録される記録媒体
US6202204B1 (en) * 1998-03-11 2001-03-13 Intel Corporation Comprehensive redundant load elimination for architectures supporting control and data speculation
JP3068578B2 (ja) * 1998-12-10 2000-07-24 日本電気アイシーマイコンシステム株式会社 インサーキットエミュレータおよび飽和演算処理方法
US6832367B1 (en) * 2000-03-06 2004-12-14 International Business Machines Corporation Method and system for recording and replaying the execution of distributed java programs
JP2002207611A (ja) * 2001-01-11 2002-07-26 Mitsubishi Heavy Ind Ltd ソフトウェアワーキングベンチ
US7069544B1 (en) * 2001-04-30 2006-06-27 Mips Technologies, Inc. Dynamic selection of a compression algorithm for trace data
US8473922B2 (en) * 2001-09-19 2013-06-25 Hewlett-Packard Development Company, L.P. Runtime monitoring in component-based systems
JP2004094800A (ja) * 2002-09-03 2004-03-25 Toshiba Corp プログラムシミュレーション装置およびプログラムシミュレーション方法
CA2408457A1 (en) * 2002-10-17 2004-04-17 Ibm Canada Limited-Ibm Canada Limitee Collection and detection of differences of values of expressions/variables when debugging a computer process
JP2005353020A (ja) * 2004-06-08 2005-12-22 Yellow Soft:Kk コンピュータプログラムのシミュレーション方式
US7543278B2 (en) * 2004-10-15 2009-06-02 Microsoft Corporation System and method for making a user interface element visible
JP2006139440A (ja) * 2004-11-11 2006-06-01 Toshiba Corp エミュレータ装置およびその制御方法
US7627857B2 (en) * 2004-11-15 2009-12-01 International Business Machines Corporation System and method for visualizing exception generation
US7849450B1 (en) * 2005-01-28 2010-12-07 Intel Corporation Devices, methods and computer program products for reverse execution of a simulation
WO2006099446A2 (en) * 2005-03-11 2006-09-21 Argade Pramod V Environment for controlling the execution of computer programs
US7836430B2 (en) * 2006-07-21 2010-11-16 Apple Inc. Reversing execution of instructions in a debugger
US8176475B2 (en) * 2006-10-31 2012-05-08 Oracle America, Inc. Method and apparatus for identifying instructions associated with execution events in a data space profiler
US8104022B2 (en) * 2006-11-06 2012-01-24 International Business Machines Corporation Automated method for historical analysis of a memory state
US20080209406A1 (en) * 2007-02-27 2008-08-28 Novell, Inc. History-based call stack construction

Also Published As

Publication number Publication date
EP2188725A2 (fr) 2010-05-26
JP5580200B2 (ja) 2014-08-27
RU2454706C2 (ru) 2012-06-27
FR2921172A1 (fr) 2009-03-20
US20110016358A1 (en) 2011-01-20
CA2697726A1 (fr) 2009-04-16
FR2921172B1 (fr) 2015-09-04
BRPI0816977A2 (pt) 2015-03-24
US8650547B2 (en) 2014-02-11
CN101802794A (zh) 2010-08-11
JP2010539578A (ja) 2010-12-16
WO2009047435A2 (fr) 2009-04-16
WO2009047435A3 (fr) 2010-03-18

Similar Documents

Publication Publication Date Title
RU2010114707A (ru) Способ отладки функционального программного обеспечения системы, установленной на борту летательного аппарата, и устройство для его осуществления
CN110580226B (zh) 操作系统级程序的目标码覆盖率测试方法、系统及介质
US9940220B2 (en) Integrating a protocol analysis device with features of a software development program
US10761963B2 (en) Object monitoring in code debugging
US20210064512A1 (en) Selective memory tracing of program execution
US9208451B2 (en) Automatic identification of information useful for generation-based functional verification
US9262299B1 (en) Simulation observability and control of all hardware and software components of a virtual platform model of an electronics system
US10095611B1 (en) Methodology for unit test and regression framework
US9262305B1 (en) Simulation observability and control of all hardware and software components of a virtual platform model of an electronics system
US20130139129A1 (en) Test method for handheld electronic device application
TWI566090B (zh) Debugging firmware / software to produce tracking systems and methods, recording media and computer program products
US20190251219A1 (en) Correlating verification scenario coverage with hardware coverage events
CN104156311B (zh) 一种基于cpu模拟器的嵌入式c语言目标码级单元测试方法
RU2451990C2 (ru) Способ обработки объема данных, используемого во время фазы отладки функционального программного обеспечения системы, установленной на борту летательного аппарата, и устройство для его осуществления
DeOrio et al. Bridging pre-and post-silicon debugging with BiPeD
US7243059B2 (en) Simulation of hardware based on smart buffer objects
JP2017162130A (ja) ハードウェア／ソフトウェア協調検証装置およびハードウェア／ソフトウェア協調検証方法
US8739091B1 (en) Techniques for segmenting of hardware trace and verification of individual trace segments
US10223077B2 (en) Determination of signals for readback from FPGA
CN110647467B (zh) 基于单步异常的目标码覆盖率测试方法、系统及介质
KR100901780B1 (ko) 내장형 시스템 오류 수정을 위한 비정지 디버깅 장치 및방법
Vasudevan Effective functional verification: principles and processes
CN109800172B (zh) 基于ejtag接口定位嵌入式处理器死机的系统和方法
CN110096888B (zh) 一种加快验证及分析smm安全隐患的方法及系统
JP2010102372A (ja) データ処理装置、検証システム、データ処理装置検証方法

Legal Events

Date Code Title Description
MM4A The patent is invalid due to non-payment of fees

Effective date: 20200913