CN112527636A - 一种航电系统的简化验证方法 - Google Patents
一种航电系统的简化验证方法 Download PDFInfo
- Publication number
- CN112527636A CN112527636A CN202011383928.4A CN202011383928A CN112527636A CN 112527636 A CN112527636 A CN 112527636A CN 202011383928 A CN202011383928 A CN 202011383928A CN 112527636 A CN112527636 A CN 112527636A
- Authority
- CN
- China
- Prior art keywords
- verified
- function
- verification
- test
- results
- 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
- 238000000034 method Methods 0.000 title claims abstract description 52
- 238000012795 verification Methods 0.000 title claims abstract description 38
- 238000012360 testing method Methods 0.000 claims abstract description 45
- 230000008569 process Effects 0.000 claims abstract description 16
- 230000008859 change Effects 0.000 claims abstract description 5
- 238000013461 design Methods 0.000 claims abstract description 4
- 238000009434 installation Methods 0.000 claims abstract description 4
- 230000010354 integration Effects 0.000 claims abstract description 4
- 238000000611 regression analysis Methods 0.000 claims abstract description 4
- 238000011156 evaluation Methods 0.000 claims description 3
- 230000033772 system development Effects 0.000 claims description 3
- 101000699762 Homo sapiens RNA 3'-terminal phosphate cyclase Proteins 0.000 description 6
- 102100029143 RNA 3'-terminal phosphate cyclase Human genes 0.000 description 6
- IWUCXVSUMQZMFG-AFCXAGJDSA-N Ribavirin Chemical compound N1=C(C(=O)N)N=CN1[C@H]1[C@H](O)[C@H](O)[C@@H](CO)O1 IWUCXVSUMQZMFG-AFCXAGJDSA-N 0.000 description 6
- 238000011161 development Methods 0.000 description 2
- 230000018109 developmental process Effects 0.000 description 2
- 230000000694 effects Effects 0.000 description 2
- 238000012797 qualification Methods 0.000 description 2
- 230000009286 beneficial effect Effects 0.000 description 1
- 230000007547 defect Effects 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
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/3604—Software analysis for verifying properties of programs
- G06F11/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
-
- 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/3668—Software testing
- G06F11/3672—Test management
- G06F11/3688—Test management for test execution, e.g. scheduling of test suites
-
- 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/3692—Test management for test results analysis
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)
- Software Systems (AREA)
- Stored Programmes (AREA)
Abstract
本发明公开了一种航电系统的简化验证方法，用于CCAR‑23部飞机航电系统的验证，包括如下步骤：1）产品定义：将产品的功能、功能分类、功能特征及预期运行的状态进行描述；2）验证过程：此过程用于描述如何对产品的功能进行验证，以及如何处置验证结果；所述验证过程主要包括：a)功能验证计划；b)测试：i)执行之前定义的测试场景；ii）对测试结果进行评估并且记录每个测试场景的测试结果，测试结果分为：通过/失败；c)测试失败处置；d)回归分析和测试：对系统或预期安装的更改可能会影响根据本文描述的方法验证的任何功能，应在更改时重新进行验证，此外还需根据系统的设计及其与飞机的集成进行分析；3）验证声明文件。
Description
技术领域
本发明涉及航电系统分析和测试技术领域，具体涉及一种航电系统的简化验证方法。
背景技术
CCAR23部飞机航电系统的验证按照传统的方法是根据咨询通告的要求，机载软件的传统合格审定建议采用RTCA DO-178的符合性方法，机载电子硬件的传统合格审定建议采用RTCA DO-254的符合性方法，不论是机载软件的传统符合性方法，还是机载电子硬件的传统符合性方法，来源都是机载系统的安全性等级，从而根据RTCA DO-178和RTCA DO-254来完成具体的目标活动。
当前，国内航电系统开发商技术基础相对薄弱，而对于RTCA DO-178和RTCA DO-254的掌握也不是很深刻，再加上按照完整的流程进行验证，产生的成本较高，因此国内的航电系统面临着无法通过审定的困境。
发明内容
本发明要解决的技术问题在于，针对现有技术的上述缺陷，提供一种可有效降低航电系统的研制成本，加快航电系统的取证流程的航电系统的验证方法。
本发明的目的是通过如下技术方案来完成的，一种航电系统的简化验证方法，用于CCAR-23部飞机航电系统的验证，包括如下步骤：
1）产品定义：将产品的功能、功能分类、功能特征及预期运行的状态进行清楚的描述；
2）验证过程：此过程用于描述如何对产品的功能进行验证，以及如何处置验证结果；所述验证过程主要包括：
a) 功能验证计划：i) 编制系统/组件的验证计划；ii) 对于每个识别出来的且用本文描述的方法进行验证，定义一系列的测试场景和通过/失败准则，用来跟踪功能的特征并在设定的限制内验证功能的正确运行；在研发测试用例时，需要考虑相似系统和/或组件中的已知故障情况，此外，测试场景应包括适当的和重要的系统级功能失效状态；
b) 测试：i) 执行之前定义的测试场景；ii）对测试结果进行评估并且记录每个测试场景的测试结果，测试结果分为：通过/失败；
c) 测试失败处置：i) 通过以下一种或多种方式解决所有的测试失败结果：对系统或特征进行更改、对系统研制计划进行更改或根据评估结果认为暂时不用修改并描述及记录充足的理由；ii) 系统更改后，识别哪些系统功能需要重新进行测试；
d) 回归分析和测试：对系统或预期安装的更改可能会影响根据本文描述的方法验证的任何功能，应在更改时重新进行验证，此外，还需要根据系统的设计及其与飞机的集成进行分析，以确定哪些功能需要重新验证。
3）验证声明文件；
进一步地，所述步骤1）中的产品定义包括如下步骤：
a)功能识别：识别并记录系统/组件预期的所有功能；
b)功能分类：确定被识别的每个功能是通过哪种方式进行验证的,可以通过本文描述的方法进行验证；也可以通过其他的方式进行验证。
c)功能规范：对于每个被识别出来的且拟通过本文描述的方法进行验证的功能，需描述并记录以下信息：i）对每个预期功能的具体描述；ii) 解释如何按照预期的要求使用此功能；iii）此功能运行的参数和限制。
进一步地，所述步骤3）中验证的声明文件包括以下验证文件：被验证的系统名称、被验证的系统/组件（软硬件）版本、采用本文描述的方法验证的所有功能清单、采用其他方法验证的所有功能清单及完成验证的日期。
本发明的有益技术效果在于：降低了航电系统的研制成本，加快航电系统的取证流程，从而使得国内航电系统可以在CCAR23部飞机上使用，改善CCAR23部飞机航电系统基本上进口的尴尬境地。
附图说明
图1为本发明所述航电系统验证方法的流程图；
图2为本发明所述产品定义过程中的流程图；
图3为本发明所述验证过程中的流程图。
具体实施方式
为使本领域的普通技术人员更加清楚地理解本发明的目的、技术方案和优点，以下结合附图和实施例对本发明做进一步的阐述。
如图1-3所示，本发明所述的一种航电系统的简化验证方法，用于CCAR-23部飞机航电系统的验证，包括如下步骤：
1）产品定义：将产品的功能、功能分类、功能特征及预期运行的状态进行清楚的描述；
2）验证过程：此过程用于描述如何对产品的功能进行验证，以及如何处置验证结果；所述验证过程主要包括：
a) 功能验证计划：i) 编制系统/组件的验证计划；ii) 对于每个识别出来的且用本文描述的方法进行验证，定义一系列的测试场景和通过/失败准则，用来跟踪功能的特征并在设定的限制内验证功能的正确运行；在研发测试用例时，需要考虑相似系统和/或组件中的已知故障情况，此外，测试场景应包括适当的和重要的系统级功能失效状态；
b) 测试：i) 执行之前定义的测试场景；ii）对测试结果进行评估并且记录每个测试场景的测试结果，测试结果分为：通过/失败；
c) 测试失败处置：i) 通过以下一种或多种方式解决所有的测试失败结果：对系统或特征进行更改、对系统研制计划进行更改或根据评估结果认为暂时不用修改并描述及记录充足的理由；ii) 系统更改后，识别哪些系统功能需要重新进行测试；
d) 回归分析和测试：对系统或预期安装的更改可能会影响根据本文描述的方法验证的任何功能，应在更改时重新进行验证，此外，还需要根据系统的设计及其与飞机的集成进行分析，以确定哪些功能需要重新验证。
3）验证声明文件；
参照图2所示：所述步骤1）中的产品定义包括如下步骤：
a)功能识别：识别并记录系统/组件预期的所有功能；
b)功能分类：确定被识别的每个功能是通过哪种方式进行验证的,可以通过本文描述的方法进行验证；也可以通过其他的方式进行验证。
c)功能规范：对于每个被识别出来的且拟通过本文描述的方法进行验证的功能，需描述并记录以下信息：i）对每个预期功能的具体描述；ii) 解释如何按照预期的要求使用此功能；iii）此功能运行的参数和限制。
所述步骤3）中验证的声明文件包括以下验证文件：被验证的系统名称、被验证的系统/组件（软硬件）版本、采用本文描述的方法验证的所有功能清单、采用其他方法验证的所有功能清单及完成验证的日期。
本文中所描述的具体实施例仅例示性说明本发明的原理及其功效，而非用于限制本发明。任何熟悉此技术的人士皆可在不违背本发明的精神及范畴下，对上述实施例进行修饰或改变。因此，但凡所属技术领域中具有通常知识者在未脱离本发明所揭示的精神与技术思想下所完成的一切等效修饰或改变，仍应由本发明的权利要求所涵盖。
Claims (3)
1.一种航电系统的简化验证方法，用于CCAR-23部飞机航电系统的验证，其特征在于：包括如下步骤：
1）产品定义：将产品的功能、功能分类、功能特征及预期运行的状态进行清楚的描述；
2）验证过程：此过程用于描述如何对产品的功能进行验证，以及如何处置验证结果；所述验证过程主要包括：
a) 功能验证计划：i) 编制系统/组件的验证计划；ii) 对于每个识别出来的且用本文描述的方法进行验证，定义一系列的测试场景和通过/失败准则，用来跟踪功能的特征并在设定的限制内验证功能的正确运行；在研发测试用例时，需要考虑相似系统和/或组件中的已知故障情况，此外，测试场景应包括适当的和重要的系统级功能失效状态；
b) 测试：i) 执行之前定义的测试场景；ii）对测试结果进行评估并且记录每个测试场景的测试结果，测试结果分为：通过/失败；
c) 测试失败处置：i) 通过以下一种或多种方式解决所有的测试失败结果：对系统或特征进行更改、对系统研制计划进行更改或根据评估结果认为暂时不用修改并描述及记录充足的理由；ii) 系统更改后，识别哪些系统功能需要重新进行测试；
d) 回归分析和测试：对系统或预期安装的更改可能会影响根据本文描述的方法验证的任何功能，应在更改时重新进行验证，此外，还需要根据系统的设计及其与飞机的集成进行分析，以确定哪些功能需要重新验证；
3）验证声明文件。
2.根据权利要求1所述的航电系统的简化验证方法，其特征在于：所述步骤1）中的产品定义包括如下步骤：
a)功能识别：识别并记录系统/组件预期的所有功能；
b)功能分类：确定被识别的每个功能是通过哪种方式进行验证的,可以通过本文描述的方法进行验证；
c)功能规范：对于每个被识别出来的且拟通过本文描述的方法进行验证的功能，需描述并记录以下信息：i）对每个预期功能的具体描述；ii) 解释如何按照预期的要求使用此功能；iii）此功能运行的参数和限制。
3.根据权利要求1或2所述的航电系统的简化验证方法，其特征在于：所述步骤3）中验证的声明文件包括以下验证文件：被验证的系统名称、被验证的系统/组件（软硬件）版本、采用本文描述的方法验证的所有功能清单、采用其他方法验证的所有功能清单及完成验证的日期。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202011383928.4A CN112527636A (zh) | 2020-12-01 | 2020-12-01 | 一种航电系统的简化验证方法 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202011383928.4A CN112527636A (zh) | 2020-12-01 | 2020-12-01 | 一种航电系统的简化验证方法 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN112527636A true CN112527636A (zh) | 2021-03-19 |
Family
ID=74995814
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202011383928.4A Pending CN112527636A (zh) | 2020-12-01 | 2020-12-01 | 一种航电系统的简化验证方法 |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN112527636A (zh) |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN108897724A (zh) * | 2018-07-03 | 2018-11-27 | 天津芯海创科技有限公司 | 功能完成进度确定方法及装置 |
| CN110134585A (zh) * | 2019-04-12 | 2019-08-16 | 平安普惠企业管理有限公司 | 系统测试计划生成方法及终端设备 |
| CN111859830A (zh) * | 2020-06-30 | 2020-10-30 | 山东云海国创云计算装备产业创新中心有限公司 | 一种验证计划及报告的生成方法、装置、设备及存储介质 |
-
2020
- 2020-12-01 CN CN202011383928.4A patent/CN112527636A/zh active Pending
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN108897724A (zh) * | 2018-07-03 | 2018-11-27 | 天津芯海创科技有限公司 | 功能完成进度确定方法及装置 |
| CN110134585A (zh) * | 2019-04-12 | 2019-08-16 | 平安普惠企业管理有限公司 | 系统测试计划生成方法及终端设备 |
| CN111859830A (zh) * | 2020-06-30 | 2020-10-30 | 山东云海国创云计算装备产业创新中心有限公司 | 一种验证计划及报告的生成方法、装置、设备及存储介质 |
Non-Patent Citations (1)
| Title |
|---|
| 孙立坤: "基于IMA架构的飞行管理系统导航功能的集成和验证", 《中国优秀硕士学位论文全文数据库 工程科技Ⅱ辑》, no. 09, pages 031 - 73 * |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US9208451B2 (en) | Automatic identification of information useful for generation-based functional verification | |
| Rodríguez-Pérez et al. | What if a bug has a different origin? making sense of bugs without an explicit bug introducing change | |
| US20130047036A1 (en) | Self validating applications | |
| CN104751056A (zh) | 一种基于攻击库的漏洞验证系统与方法 | |
| CN112286828B (zh) | 一种区块链智能合约的测试方法和系统 | |
| CN112181800A (zh) | 车辆功能测试装置及其控制方法 | |
| Pries et al. | Testing complex and embedded systems | |
| Silva et al. | A field study on root cause analysis of defects in space software | |
| CN105320592A (zh) | 一种基于fog数据的软件验证方法及装置 | |
| Boyarchuk et al. | Approach to the Analysis of Software Requirements Specification on Its Structure Correctness. | |
| CN112527636A (zh) | 一种航电系统的简化验证方法 | |
| Felbinger et al. | Empirical study of correlation between mutation score and model inference based test suite adequacy assessment | |
| WO2021245939A1 (ja) | システム、方法、及び非一時的なコンピュータ可読媒体 | |
| CN111176978B (zh) | 验证不合格部件的工具验证系统和方法 | |
| Pathania et al. | Role of test case prioritization based on regression testing using clustering | |
| RU2675210C1 (ru) | Система анализа программного обеспечения на отсутствие потенциально опасных функциональных объектов | |
| CN102467443A (zh) | 一种核电站安全级软件测试方法及其系统 | |
| Carter et al. | Proposing the use of hazard analysis for machine learning data sets | |
| Bryans et al. | Model based analysis and validation of access control policies | |
| Quigley | SAE International's Dictionary of Testing, Verification, and Validation | |
| McShane et al. | CAN Bus Fuzz Testing with Artificial Intelligence | |
| Durak et al. | Quality assessment and quality improvement in model engineering | |
| Pozin et al. | Experience in automated functional and load testing in the life cycle of the mission-critical system | |
| Lucas et al. | Evaluating Large Language Models in Detecting Test Smells | |
| Ferrari et al. | Criteria for the analysis of gaps and limitations of v&v methods for safety-and security-critical systems |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination |