JP2010539576A - 航空機搭載システムのオペレーション・ソフトウェアの妥当性をテストするための自動スクリプト生成の方法および同方法を実施するためのデバイス - Google Patents
航空機搭載システムのオペレーション・ソフトウェアの妥当性をテストするための自動スクリプト生成の方法および同方法を実施するためのデバイス Download PDFInfo
- Publication number
- JP2010539576A JP2010539576A JP2010524554A JP2010524554A JP2010539576A JP 2010539576 A JP2010539576 A JP 2010539576A JP 2010524554 A JP2010524554 A JP 2010524554A JP 2010524554 A JP2010524554 A JP 2010524554A JP 2010539576 A JP2010539576 A JP 2010539576A
- Authority
- JP
- Japan
- Prior art keywords
- test
- script
- software
- developer
- source code
- 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.)
- Pending
Links
Images
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/3664—Environments for testing or debugging software
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
a)入口点および停止点をそれぞれ、テストされるオペレーション・ソフトウェアの機能の先頭および末尾に位置付けることにより、開発者が対話式に妥当なテスト・ケースを識別するステップ(20)と、
b)停止点および入口点の位置を介して前記機能の変数の状態を観察および記録するステップ(22)と、
c)第1に、テスト・ケースの識別中に観察される変数の状態を分析することにより、および第2に、テスト・スクリプトをソース・コード(13)の形で生成することにより、テスト・スクリプトを自動的に生成するステップ(26)と、
d)生成されたテスト・スクリプトのテストをテスト実行環境で自動的に実行するステップ(30)と
を含むことを特徴とする方法に関する。
Description
−入口点および停止点をそれぞれ、テストされるオペレーション・ソフトウェアの機能の先頭および末尾に位置付けることにより、開発者が対話式に妥当なテスト・ケースを識別するステップと、
−停止点および入口点の位置を介して前記機能の変数の状態を観察および記録するステップと、
−第1に、テスト・ケースの識別中に観察される変数の状態を分析することにより、および第2に、テスト・スクリプトをソース・コードの形で生成することにより、テスト・スクリプトを自動的に生成するステップと、
−生成されたテスト・スクリプトのテストを実行環境で自動的に実行するステップと
を含むことを特徴とする方法に関する。
−変数の状態を観察および記録するステップと、テスト・スクリプトを自動的に生成するステップとの間で、テスト・ケースの妥当性をチェックする検証ステップが実行され、開発者はテストされる機能の実行が、観察される変数の状態に関して妥当であるかを決定できる。
−テスト・スクリプトの生成はテスト・ケースごとに行われる。
−自動的にスクリプトを生成するステップと、自動的にスクリプトを実行するステップとの間で、テスト・スクリプトのソース・コードを機械言語の同等のソース・コードに自動的に変換するために前記ソース・コードのコンパイルが作成される。
−コンパイルの後にテスト・スクリプト行編集オペレーションが行われ、開発者によって選択されたテスト実行環境で実行および使用できる2進数コードが生成される。
−選択されたテスト実行環境のタイプにそのまま適合する形でテスト結果が生成される。
5 入出力インターフェース; 6 双方向通信バス; 12 記録;
13 ソース・コード; 14 2進数コード14; 15 結果。
Claims (9)
- 航空機搭載システムのオペレーション・ソフトウェアの妥当性をテストするためのスクリプト生成の方法であって、以下のステップ、すなわち、
a)入口点および停止点をそれぞれ、テストされる前記オペレーション・ソフトウェアの機能の先頭および末尾に位置付けることにより、開発者が対話式に妥当なテスト・ケースを識別するステップ(20)と、
b)前記停止点および前記入口点の位置を介して前記機能の変数の状態を観察および記録するステップ(22)と、
c)第1に、前記テスト・ケースの前記識別中に観察される前記変数の状態を分析することにより、および第2に、テスト・スクリプトをソース・コード(13)の形で生成することにより、テスト・スクリプトを自動的に生成するステップ(26)と、
d)前記生成されたテスト・スクリプトのテストをテスト実行環境で自動的に実行するステップ(30)と
を含むことを特徴とする方法。 - 前記変数の状態を前記観察および記録するステップと、テスト・スクリプトを前記自動的に生成するステップとの間で、前記テスト・ケースの妥当性をチェックする検証ステップが実行され、前記開発者はテストされる機能の実行が、観察される前記変数の状態に関して妥当であるかを決定できることを特徴とする、請求項1に記載の方法。
- 前記テスト・スクリプトの前記生成がテスト・ケースごとに行われることを特徴とする、請求項1および2のいずれか一項に記載の方法。
- 前記自動的にスクリプトを生成するステップと、前記自動的にスクリプトを実行するステップとの間で、前記テスト・スクリプトのソース・コードを機械言語の同等のソース・コードに自動的に変換するために前記ソース・コードのコンパイルが作成されることを特徴とする、請求項1から3のいずれか一項に記載の方法。
- 前記コンパイルの後にテスト・スクリプト行編集オペレーションが行われ、前記開発者によって選択されたテスト実行環境で実行および使用できる2進数コードが生成されることを特徴とする、請求項4に記載の方法。
- 前記選択されたテスト実行環境のタイプにそのまま適合する形でテスト結果が生成されることを特徴とする、請求項1から5のいずれか一項に記載の方法。
- 請求項1から6のいずれか一項に記載の方法を実施することを特徴とする、航空機搭載コンピュータのオペレーションをシミュレートするデバイス。
- 事実上、テストおよびデバグ用ホスト・プラットフォーム上でシミュレートされることを特徴とする、請求項7に記載のデバイス。
- 制御ユニット1にロードできて、前記制御ユニットにロードされ、実行されると、請求項1から6のいずれか一項に記載の方法を実施する命令シーケンスを含むテスト・プログラム。
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
FR0757615A FR2921170B1 (fr) | 2007-09-14 | 2007-09-14 | Procede de generation automatique de programmes de test d'un logiciel de fonctionnement d'un systeme embarque a bord d'un aeronef, et dispositif de mise en oeuvre |
PCT/FR2008/051644 WO2009047430A2 (fr) | 2007-09-14 | 2008-09-12 | Procédé de génération automatique de script pour tester la validité d'un logiciel de fonctionnement d'un système embarqué à bord d'un aéronef, et dispositif de mise en oeuvre |
Publications (1)
Publication Number | Publication Date |
---|---|
JP2010539576A true JP2010539576A (ja) | 2010-12-16 |
Family
ID=39273116
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2010524554A Pending JP2010539576A (ja) | 2007-09-14 | 2008-09-12 | 航空機搭載システムのオペレーション・ソフトウェアの妥当性をテストするための自動スクリプト生成の方法および同方法を実施するためのデバイス |
Country Status (9)
Country | Link |
---|---|
US (1) | US20110047529A1 (ja) |
EP (1) | EP2188723A2 (ja) |
JP (1) | JP2010539576A (ja) |
CN (1) | CN101802792B (ja) |
BR (1) | BRPI0817102A2 (ja) |
CA (1) | CA2696020A1 (ja) |
FR (1) | FR2921170B1 (ja) |
RU (1) | RU2473115C2 (ja) |
WO (1) | WO2009047430A2 (ja) |
Families Citing this family (22)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8732663B2 (en) * | 2010-02-24 | 2014-05-20 | Salesforce.Com, Inc. | System, method and computer program product for providing automated testing by utilizing a preconfigured point of entry in a test or by converting a test to a predefined format |
FR2958427B1 (fr) | 2010-03-30 | 2016-11-18 | Eurocopter France | Procede d'agencement d'un logiciel d'application sur le materiel informatique d'un equipement reel ou virtuel et architecture de commande de l'equipement comprenant un tel logiciel |
CN102541735A (zh) * | 2011-12-28 | 2012-07-04 | 云海创想信息技术(天津)有限公司 | 软件自动化测试方法 |
US9135147B2 (en) * | 2012-04-26 | 2015-09-15 | International Business Machines Corporation | Automated testing of applications with scripting code |
US9286273B1 (en) * | 2013-03-11 | 2016-03-15 | Parallels IP Holding GmbH | Method and system for implementing a website builder |
CN104281518B (zh) * | 2013-07-02 | 2018-05-15 | 腾讯科技(深圳)有限公司 | 终端应用测试方法、装置、系统、平台及移动终端 |
CN103500141A (zh) * | 2013-10-09 | 2014-01-08 | 中国联合网络通信集团有限公司 | 自动化测试方法和装置 |
US20160098259A1 (en) * | 2014-10-02 | 2016-04-07 | The Boeing Company | Software Aircraft Part Installation System |
GB2533117A (en) * | 2014-12-10 | 2016-06-15 | Ibm | Software test automation |
ES2864004T3 (es) * | 2015-04-03 | 2021-10-13 | Iveco Spa | Método para mejorar y extender la lógica de una instalación de prueba para un componente de vehículo, en particular una batería o un alternador |
CN106502896B (zh) * | 2016-10-21 | 2019-08-23 | 武汉斗鱼网络科技有限公司 | 一种函数测试代码的生成方法及装置 |
US11142345B2 (en) | 2017-06-22 | 2021-10-12 | Textron Innovations Inc. | System and method for performing a test procedure |
RU2679350C2 (ru) * | 2017-07-10 | 2019-02-07 | Федеральное государственное бюджетное образовательное учреждение высшего образования "Воронежский государственный технический университет" | Система генерации тестовых данных |
WO2019142266A1 (ja) * | 2018-01-17 | 2019-07-25 | 三菱電機株式会社 | テストケース生成装置、テストケース生成方法およびテストケース生成プログラム |
CN109214043B (zh) * | 2018-07-20 | 2023-04-07 | 北京航空航天大学 | 数字飞行器动力学环境信息传输源代码人工智能书写方法 |
CN112445467A (zh) * | 2019-09-04 | 2021-03-05 | 常州星宇车灯股份有限公司 | 汽车风扇模块软件生成方法 |
US11144437B2 (en) | 2019-11-25 | 2021-10-12 | International Business Machines Corporation | Pre-populating continuous delivery test cases |
CN112699033B (zh) * | 2020-12-29 | 2023-05-23 | 中国航空工业集团公司西安飞机设计研究所 | 一种多分区机载软件测试用例多级同步加载方法 |
US20220237483A1 (en) * | 2021-01-27 | 2022-07-28 | Capital One Services, Llc | Systems and methods for application accessibility testing with assistive learning |
CN113297083B (zh) * | 2021-05-27 | 2022-08-19 | 山东云海国创云计算装备产业创新中心有限公司 | 一种跨平台ic测试方法、装置、设备及介质 |
DE102022213441A1 (de) * | 2022-12-12 | 2024-06-13 | Gts Deutschland Gmbh | Verfahren zum automatischen Erstellen eines Testskripts |
CN116756043B (zh) * | 2023-08-10 | 2023-11-03 | 东方空间技术(山东)有限公司 | 一种目标设备的软件测试方法、装置、设备及存储介质 |
Citations (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH06110733A (ja) * | 1992-09-30 | 1994-04-22 | Hitachi Ltd | プログラムのテストケース生成装置 |
US6161216A (en) * | 1998-04-29 | 2000-12-12 | Emc Corporation | Source code debugging tool |
JP2002207611A (ja) * | 2001-01-11 | 2002-07-26 | Mitsubishi Heavy Ind Ltd | ソフトウェアワーキングベンチ |
JP2003271415A (ja) * | 2002-03-13 | 2003-09-26 | Denso Corp | 実行履歴記録装置、ブレーク命令設定装置、及びプログラム |
JP2004220269A (ja) * | 2003-01-14 | 2004-08-05 | Cyx Inc | 統合テスト管理システム |
JP2006114049A (ja) * | 2004-10-15 | 2006-04-27 | Microsoft Corp | ユーザインターフェースエレメントを可視化するシステムおよび方法 |
JP2006155047A (ja) * | 2004-11-26 | 2006-06-15 | Nec Electronics Corp | 検証システム及び検証方法 |
JP2006260390A (ja) * | 2005-03-18 | 2006-09-28 | Nomura Research Institute Ltd | テストケース生成プログラム及び方法 |
Family Cites Families (11)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
SU1541617A1 (ru) * | 1988-05-10 | 1990-02-07 | Предприятие П/Я А-3821 | Устройство отладки микропрограммных блоков |
US7039912B1 (en) * | 1998-05-12 | 2006-05-02 | Apple Computer, Inc. | Integrated computer testing and task management systems |
WO2002069086A2 (en) * | 2001-02-22 | 2002-09-06 | Accenture Global Services Gmbh | Distributed development environment for building internet applications by developers at remote locations |
US7058857B2 (en) * | 2001-10-10 | 2006-06-06 | International Business Machines Corporation | Method and system for testing a software product |
RU2213939C1 (ru) * | 2002-10-14 | 2003-10-10 | Загороднев Александр Васильевич | Способ передачи информации с бортового накопителя информации летательного аппарата во внешние блоки обработки и система для его осуществления |
US7512526B2 (en) * | 2004-03-01 | 2009-03-31 | Raytheon Company | System and method for dynamic runtime HLA-federation-execution data display |
RU2263973C1 (ru) * | 2004-05-07 | 2005-11-10 | Федеральное государственное унитарное предприятие Летно-исследовательский институт им. М.М. Громова | Пилотажно-тренировочный комплекс |
CN100375057C (zh) * | 2004-08-31 | 2008-03-12 | 中国银联股份有限公司 | 一种自动化测试辅助系统及相应的软件自动测试方法 |
US7526759B2 (en) * | 2005-04-19 | 2009-04-28 | International Business Machines Corporation | Debugging prototyped system solutions in solution builder wizard environment |
CN100362479C (zh) * | 2005-12-09 | 2008-01-16 | 华为技术有限公司 | 基于自动化测试脚本对被测对象进行测试的方法和系统 |
US7895565B1 (en) * | 2006-03-15 | 2011-02-22 | Jp Morgan Chase Bank, N.A. | Integrated system and method for validating the functionality and performance of software applications |
-
2007
- 2007-09-14 FR FR0757615A patent/FR2921170B1/fr active Active
-
2008
- 2008-09-12 CA CA2696020A patent/CA2696020A1/fr not_active Abandoned
- 2008-09-12 BR BRPI0817102 patent/BRPI0817102A2/pt not_active IP Right Cessation
- 2008-09-12 RU RU2010114709/08A patent/RU2473115C2/ru not_active IP Right Cessation
- 2008-09-12 CN CN2008801065576A patent/CN101802792B/zh not_active Expired - Fee Related
- 2008-09-12 WO PCT/FR2008/051644 patent/WO2009047430A2/fr active Application Filing
- 2008-09-12 US US12/678,143 patent/US20110047529A1/en not_active Abandoned
- 2008-09-12 EP EP08836799A patent/EP2188723A2/fr not_active Withdrawn
- 2008-09-12 JP JP2010524554A patent/JP2010539576A/ja active Pending
Patent Citations (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH06110733A (ja) * | 1992-09-30 | 1994-04-22 | Hitachi Ltd | プログラムのテストケース生成装置 |
US6161216A (en) * | 1998-04-29 | 2000-12-12 | Emc Corporation | Source code debugging tool |
JP2002207611A (ja) * | 2001-01-11 | 2002-07-26 | Mitsubishi Heavy Ind Ltd | ソフトウェアワーキングベンチ |
JP2003271415A (ja) * | 2002-03-13 | 2003-09-26 | Denso Corp | 実行履歴記録装置、ブレーク命令設定装置、及びプログラム |
JP2004220269A (ja) * | 2003-01-14 | 2004-08-05 | Cyx Inc | 統合テスト管理システム |
JP2006114049A (ja) * | 2004-10-15 | 2006-04-27 | Microsoft Corp | ユーザインターフェースエレメントを可視化するシステムおよび方法 |
JP2006155047A (ja) * | 2004-11-26 | 2006-06-15 | Nec Electronics Corp | 検証システム及び検証方法 |
JP2006260390A (ja) * | 2005-03-18 | 2006-09-28 | Nomura Research Institute Ltd | テストケース生成プログラム及び方法 |
Also Published As
Publication number | Publication date |
---|---|
US20110047529A1 (en) | 2011-02-24 |
WO2009047430A2 (fr) | 2009-04-16 |
BRPI0817102A2 (pt) | 2015-03-24 |
CN101802792A (zh) | 2010-08-11 |
FR2921170A1 (fr) | 2009-03-20 |
EP2188723A2 (fr) | 2010-05-26 |
FR2921170B1 (fr) | 2018-01-12 |
RU2473115C2 (ru) | 2013-01-20 |
WO2009047430A3 (fr) | 2009-12-30 |
CA2696020A1 (fr) | 2009-04-16 |
CN101802792B (zh) | 2012-12-26 |
RU2010114709A (ru) | 2011-10-20 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP2010539576A (ja) | 航空機搭載システムのオペレーション・ソフトウェアの妥当性をテストするための自動スクリプト生成の方法および同方法を実施するためのデバイス | |
JP7270764B2 (ja) | 人工知能チップ検証 | |
JP2017033562A (ja) | 安全重視ソフトウェア開発のためのモデルベース技術および過程のためのシステムおよび方法 | |
JP5580200B2 (ja) | 航空機搭載のシステムのオペレーション・ソフトウェアをデバッグする方法およびその方法を実施するためのデバイス | |
US20080133977A1 (en) | Non-stop debugging apparatus for correcting errors in embedded systems and method thereof | |
KR102588856B1 (ko) | 소프트웨어 검증 방법 및 이를 위한 장치 | |
CN116069635A (zh) | Soc系统的测试方法、装置、计算机设备及存储介质 | |
US9183118B2 (en) | Method for simulating a system on board an aircraft for testing an operating software program and device for implementing said method | |
Mandrykin et al. | Using Linux device drivers for static verification tools benchmarking | |
US11561888B2 (en) | Initialization sequences for automatic software test generation | |
Brauer et al. | Efficient and trustworthy tool qualification for model-based testing tools | |
WO2016017560A1 (ja) | ソフトウェア検証システムおよび制御装置 | |
US10229029B2 (en) | Embedded instruction sets for use in testing and error simulation of computing programs | |
US20110218794A1 (en) | Concretization of abstracted traces | |
US20160224456A1 (en) | Method for verifying generated software, and verifying device for carrying out such a method | |
US11899561B2 (en) | Method for operating a control unit when testing software of the control unit, and method for operating a test computer when testing software of a control unit | |
CN115562931A (zh) | 处理器调试模块验证方法、装置、电子设备和存储介质 | |
KR100901780B1 (ko) | 내장형 시스템 오류 수정을 위한 비정지 디버깅 장치 및방법 | |
Abraham | Verification and validation spanning models to code | |
US20240231347A1 (en) | Fault injection test method and apparatus, and fault injection method | |
Karlsson et al. | Automation of the creation and execution of system level hardware-in-loop tests through model-based testing | |
Honda et al. | Range analyzer: An automatic tool for arithmetic overflow detection in model-based development | |
Chockler et al. | Validation of evolving software | |
Sherine et al. | Verification of On-board Software of ISRO Launch Vehicles Using Polyspace-A Case Study | |
Zhai et al. | Implementation and automatic testing for security enhancement of linux based on least privilege |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20111101 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20120201 |
|
A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20120313 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20120713 |
|
A911 | Transfer to examiner for re-examination before appeal (zenchi) |
Free format text: JAPANESE INTERMEDIATE CODE: A911 Effective date: 20120905 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20121106 |