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

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

Info

Publication number
RU2010114708A
RU2010114708A RU2010114708/08A RU2010114708A RU2010114708A RU 2010114708 A RU2010114708 A RU 2010114708A RU 2010114708/08 A RU2010114708/08 A RU 2010114708/08A RU 2010114708 A RU2010114708 A RU 2010114708A RU 2010114708 A RU2010114708 A RU 2010114708A
Authority
RU
Russia
Prior art keywords
execution
program
state
waypoint
function
Prior art date
Application number
RU2010114708/08A
Other languages
English (en)
Other versions
RU2451990C2 (ru
Inventor
Фамантанантсоа РАНДИМБИВОЛОЛОНА (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 RU2010114708A publication Critical patent/RU2010114708A/ru
Application granted granted Critical
Publication of RU2451990C2 publication Critical patent/RU2451990C2/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. Способ обработки объема данных, используемых во время фазы отладки программы функционального программного обеспечения бортовой системы, включающий следующие этапы: ! а) разбивка (32) пути выполнения указанной рабочей программы на функциональные интервалы путем установки путевых точек в каждой функции программы, ! б) установка (33) контрольных точек, связанных с каждой путевой точкой, ! в) нормальное выполнение программы, которое включает в себя: ! - запись в память состояния выполнения программы в месте каждой путевой точки, ! - при этом запись в память состояния выполнения приводит к стиранию состояния выполнения, ранее записанного для указанной путевой точки, ! - причем при обнаружении ошибки осуществляют: ! - поиск путевой точки, соответствующей нарушенной функции, ! - поиск (41) исходного состояния выполнения программы, ! - восстановление (42) этого исходного состояния выполнения, ! - исправление (44) ошибки в нарушенной функции, и ! - повторное выполнение программы. ! 2. Способ по п.1, характеризующийся тем, что в память данных записывают за один раз только одно состояние выполнения. ! 3. Способ по п.1 или 2, характеризующийся тем, что после нормального выполнения функции путевая точка, соответствующая этой функции, переходит из деактивированного состояния в активированное состояние. ! 4. Способ по п.3, характеризующийся тем, что поиск нарушенной функции заключается в нахождении последней активированной путевой точки. ! 5. Способ по п.3, характеризующийся тем, что в память записывают список путевых точек вместе с их состоянием. ! 6. Способ по п.4, характеризующийся тем, что в память записывают список путевых точек вместе с и�

Claims (9)

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

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
FR0757600 2007-09-14
FR0757600A FR2921171B1 (fr) 2007-09-14 2007-09-14 Procede de minimisation du volume d'informations requis pour le debogage d'un logiciel de fonctionnement d'un systeme embarque a bord d'un aeronef, et dispositif de mise en oeuvre

Publications (2)

Publication Number Publication Date
RU2010114708A true RU2010114708A (ru) 2011-10-20
RU2451990C2 RU2451990C2 (ru) 2012-05-27

Family

ID=39145012

Family Applications (1)

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

Country Status (9)

Country Link
US (1) US20100299559A1 (ru)
EP (1) EP2188724A2 (ru)
JP (1) JP2010539577A (ru)
CN (1) CN101802793A (ru)
BR (1) BRPI0816978A2 (ru)
CA (1) CA2697725C (ru)
FR (1) FR2921171B1 (ru)
RU (1) RU2451990C2 (ru)
WO (1) WO2009047433A2 (ru)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
RU2647801C2 (ru) * 2012-04-24 2018-03-19 Таль Способ и устройство определения потребности для системы автоматического пилотирования летательного аппарата

Families Citing this family (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8880668B2 (en) * 2011-02-28 2014-11-04 Verizon Patent And Licensing Inc. Method and system for integrating data from multiple sources
US8776029B2 (en) 2011-03-23 2014-07-08 Zerodee, Inc. System and method of software execution path identification
US8755612B2 (en) 2011-12-15 2014-06-17 Hewlett-Packard Development Company, L.P. Identifying truncated character strings
US9921859B2 (en) * 2014-12-12 2018-03-20 The Regents Of The University Of Michigan Runtime compiler environment with dynamic co-located code execution
CN106371991A (zh) * 2016-08-31 2017-02-01 重庆四联测控技术有限公司 一种程序故障的监控方法及系统
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
CN111427327A (zh) * 2019-12-27 2020-07-17 湖北航天飞行器研究所 一种飞行器控制软件异常重启的保护方法

Family Cites Families (17)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH03225533A (ja) * 1990-01-31 1991-10-04 Fujitsu Ltd コピーオンライト逆実行チェックポイント方式
JPH103403A (ja) * 1996-06-18 1998-01-06 Toshiba Corp 計算機システムおよびデバッグ方法
JPH10198578A (ja) * 1998-01-29 1998-07-31 Toshiba Corp デバッグ方式およびデバッグ方法
US6748583B2 (en) * 2000-12-27 2004-06-08 International Business Machines Corporation Monitoring execution of an hierarchical visual program such as for debugging a message flow
JP2002207611A (ja) * 2001-01-11 2002-07-26 Mitsubishi Heavy Ind Ltd ソフトウェアワーキングベンチ
IL151251A0 (en) * 2002-08-14 2003-04-10 Elta Systems Ltd Parallel processing platform with synchronous system halt-resume
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
RU2215668C1 (ru) * 2002-11-11 2003-11-10 ОАО "ОКБ им. А.С. Яковлева" Комплекс бортового радиоэлектронного оборудования легкого многоцелевого самолета
ATE504446T1 (de) * 2002-12-02 2011-04-15 Silverbrook Res Pty Ltd Totdüsenausgleich
FR2864655B1 (fr) * 2003-12-31 2006-03-24 Trusted Logic Procede de controle d'integrite de programmes par verification d'empreintes de traces d'execution
RU42303U1 (ru) * 2004-06-08 2004-11-27 Открытое акционерное общество "Раменское приборостроительное конструкторское бюро" Имитатор бортового радиоэлектронного оборудования
US7543278B2 (en) * 2004-10-15 2009-06-02 Microsoft Corporation System and method for making a user interface element visible
US7849450B1 (en) * 2005-01-28 2010-12-07 Intel Corporation Devices, methods and computer program products for reverse execution of a simulation
US20080155216A1 (en) * 2005-02-17 2008-06-26 Dov Shoham Protection and Recovery System for Automatic Disk Recovery
US7443196B2 (en) * 2005-07-15 2008-10-28 Tabula, Inc. Configuration network for a configurable IC
WO2008097912A2 (en) * 2007-02-06 2008-08-14 Progress Software Corporation Event-based process configuration
US20080307397A1 (en) * 2007-06-08 2008-12-11 Bill Angell Program Analysis by Partial Emulation

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
RU2647801C2 (ru) * 2012-04-24 2018-03-19 Таль Способ и устройство определения потребности для системы автоматического пилотирования летательного аппарата

Also Published As

Publication number Publication date
WO2009047433A2 (fr) 2009-04-16
US20100299559A1 (en) 2010-11-25
FR2921171A1 (fr) 2009-03-20
WO2009047433A3 (fr) 2010-03-18
FR2921171B1 (fr) 2015-10-23
CN101802793A (zh) 2010-08-11
CA2697725A1 (fr) 2009-04-16
CA2697725C (fr) 2015-11-17
EP2188724A2 (fr) 2010-05-26
RU2451990C2 (ru) 2012-05-27
JP2010539577A (ja) 2010-12-16
BRPI0816978A2 (pt) 2015-03-24

Similar Documents

Publication Publication Date Title
RU2010114708A (ru) Способ обработки объема данных, используемого во время фазы отладки функционального программного обеспечения системы, установленной на борту летательного аппарата, и устройство для его осуществления
CN110580226B (zh) 操作系统级程序的目标码覆盖率测试方法、系统及介质
RU2010114707A (ru) Способ отладки функционального программного обеспечения системы, установленной на борту летательного аппарата, и устройство для его осуществления
US8732681B2 (en) Stack analysis for post mortem analysis
US9817974B1 (en) Anti-malware program with stalling code detection
RU2007106437A (ru) Способ, операционная система и вычислительное устройство для выполнения компьютерной программы
US20110167311A1 (en) System and Method for Analyzing an Electronics Device Including a Logic Analyzer
CN107045474B (zh) 一种Fuzz测试中的程序流跟踪方法及装置
US9256399B2 (en) Breaking program execution on events
US10176076B2 (en) Breaking code execution based on time consumption
US10628280B1 (en) Event logger
US20140033179A1 (en) Application testing
JP6042025B2 (ja) ソフトウェア搭載機器及びソフトウェア更新方法
CN110020330A (zh) 页面跳转方法及页面跳转装置、设备和存储介质
CN101706752B (zh) 一种软件错误现场定位的方法及装置
CN105550575A (zh) 一种未导出的函数地址和数据结构偏移的获取方法及装置
CN108027762B (zh) 生成和处理指示处理电路的指令执行的跟踪流的装置和方法
CN110647467B (zh) 基于单步异常的目标码覆盖率测试方法、系统及介质
DE60021092D1 (de) Vorrichtung und Verfahren zur Echtzeitfehlerbeseitigung von Quellprogrammen, insbesondere für DSP
JP4763743B2 (ja) プログラム動作比較装置及び方法及びプログラム
JP2018537779A (ja) 制御装置の動作方法ならびに外部バイパスのために設計されている制御装置
KR101188412B1 (ko) 소프트웨어의 함수 추적을 통한 디버깅 방법
CN114443456A (zh) 调试方法和相关产品
CN110727577A (zh) 嵌入式系统软件中概率复现问题的调试方法、系统及介质
CN106897051B (zh) 一种进程清理的方法及装置

Legal Events

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

Effective date: 20200913