Scene-based latch test method

A test method and latch technology, applied in software testing/debugging, instrumentation, error detection/correction, etc., can solve problems such as inability to test the correctness of latches, eliminate insufficient test sufficiency, improve test efficiency, The effect of enhancing flexibility

Inactive Publication Date: 2017-06-20
FLIGHT AUTOMATIC CONTROL RES INST
View PDF8 Cites 5 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Traditional test methods often only focus on the current beat value of the latch output, and do not place the latch in the application scene for continuous multi-shot testing and verification; and if the latch uses a delay module to feed the output signal back to the input signal, Since the traditional test method cannot assign the feedback signal alone as an input, it is impossible to test the correctness of the latch

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Scene-based latch test method
  • Scene-based latch test method
  • Scene-based latch test method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0014] Combine below figure 2 The specific implementation steps of the inventive method are described in detail:

[0015] 1. Identify all input and output signals of the latch according to the requirements, in figure 2 The input signals are: nvm_sync, flt_latch, flt_set_lcl, flt_set_ml, flt_set_mr, fcm_ml_vld, flt_set_mr, fcm_mr_vld, flt_in_nvm, init, rst_cmd; the output signals are: flt_latch, flt_set.

[0016] 2. Since the software security level of the software under test is A-level, according to relevant standards, the test coverage must reach 100% coverage of MC / DC;

[0017] 3. Design test cases; figure 2 There is a delayed feedback from the output signal to the input signal, then the output signal of the current beat will be fed back to the digital input terminal in the next beat. In addition, considering the characteristics of the RS latch, it is necessary to meet the 100% coverage of MC / DC. If in Before the next beat signal is input, the RS latch has been set, an...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention belongs to testing technologies of flight control system software, and relates to a test method of a latch in the flight control system software. The method comprises the following steps that a modeled test method is used, conceptual design test cases of scenes are taken, according to concepts of the latch, input signals and executed beat numbers are mapped into matrixes, wherein each matrix is corresponding to a scene, vectors of each column in each of the matrixes are input to a tested program according to the order of time beats sequentially to validate multiple successive beats, and test results are determined by using a mode of PASS/FAIL (pass/fail) criteria, conditions which need to be met by the test results are given through scripts and related information of a test coverage ratio is obtained. The method greatly improves the flexibility of the test and improves the test efficiency.

Description

technical field [0001] The invention belongs to the flight control system software testing technology, and relates to a method for testing a latch in the flight control system software. Background technique [0002] In the design of the flight control system software, the latch occupies a large proportion. For example, in the BIT (built-in self-test) detection of the flight control system, the latch is used to perform fault latching and fault reset on the BIT test results. The test of the latch has always been the focus and difficulty in the flight control software test. Traditional test methods often only focus on the current beat value of the latch output, and do not place the latch in the application scene for continuous multi-shot testing and verification; and if the latch uses a delay module to feed the output signal back to the input signal, Since the traditional test method cannot assign the feedback signal alone as an input, it is impossible to test the correctness ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Applications(China)
IPC IPC(8): G06F11/36
CPCG06F11/3604G06F11/3676
Inventor 陈晰亮张丹涛武方方赵亮李鹏田佳王玮马戎
Owner FLIGHT AUTOMATIC CONTROL RES INST
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap