CN106776268A - A kind of aobvious control software and hardware system reliability test motivational techniques based on section mapping - Google Patents
A kind of aobvious control software and hardware system reliability test motivational techniques based on section mapping Download PDFInfo
- Publication number
- CN106776268A CN106776268A CN201610962845.8A CN201610962845A CN106776268A CN 106776268 A CN106776268 A CN 106776268A CN 201610962845 A CN201610962845 A CN 201610962845A CN 106776268 A CN106776268 A CN 106776268A
- Authority
- CN
- China
- Prior art keywords
- software
- section
- task
- hardware
- function
- 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.)
- Granted
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/3668—Software testing
- G06F11/3672—Test management
- G06F11/3684—Test management for test design, e.g. generating new test cases
-
- 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
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)
- Stored Programmes (AREA)
Abstract
The present invention is a kind of aobvious control software and hardware system reliability test motivational techniques based on section mapping, the method determines software reliability test section and synthetic chemistry laboratory section first, then software reliability test section is combined with synthetic chemistry laboratory section using section mapping, software and hardware Reliability Synthesis test profile is formed, using integrated view generation experiment excitation;The true association reflected between running software and external environment condition change of experiment excitation generated by integrated view, avoid software reliability test and hardware reliability experiment carries out brought empirical risk and the wasting of resources respectively, the reliability that product is verified in once experiment is realized while test cost is reduced, test example result indicates the feasibility, reasonability and validity of the method.
Description
Technical field
The present invention is a kind of aobvious control software and hardware system reliability test motivational techniques based on section mapping, belongs to control skill
Art field.
Background technology
Existing software and hardware system reliability test excitation producing method be there are problems that in implementation process it is a lot, mainly
Including following aspects:
1) products-hardware reliability test is carried out respectively with software test:It is current domestic to the development of airborne electronic product
Reliability test work, mainly including two-part content:Part I is to carry out reliability compliance test to hardware, to test
Can the reliability (MTBF) that hardware be demonstrate,proved meet requirement;Part II is to carry out software test to software, by software test come
Improve the reliability level of software.It is at present independently to carry out to hardware test and to software test, can simultaneously for software and hardware
Also there is larger difference by the attention degree of property.For highly integrated, high integrity, what its systemic-function was mainly realized by software
Airborne electronic equipment product, needs synchronous consideration hardware reliability and software reliability in reliability test is carried out;
2) fail to apply effective software excitation in hardware reliability experiment:At present aircraft outfield take a flight test with it is actually used
In, the failure of appearance has plenty of what is caused by hardware, has plenty of what is caused by software.With the rapid popularization of computer technology,
The increasing function of product realizes that the problem brought therewith is by software, and the system failure triggered by software is also gradually
Increase, there are many what software caused in current outfield failure, software has turned into the very important factor of system reliability, because
Hardware should be considered during this checking to product reliability, while also to consider software.In conventional reliability test, mainly
It is the examination to hardware, and for software, a scene, a kind of excitation condition is only reused in reliability test, it is impossible to
The use state of real simulation softward, does not carry out effective examination to software, can not simulation system true usage scenario,
Have impact on the authenticity of reliability test result.
Accordingly, it would be desirable to encourage test of the increase based on the true usage scenario of system by applying software in reliability test
Use-case, investigates reliability index of the system under practical service environment and working condition, makes reliability test result more true,
It is final to ensure product quality.
The content of the invention
The present invention be just directed to above-mentioned the deficiencies in the prior art and design there is provided it is a kind of based on section mapping
Aobvious control software and hardware system reliability test motivational techniques, its purpose includes following aspect:
1) for conventional hardware reliability test and the deficiency of software reliability test, propose it is a kind of based on section mapping
Software and hardware Reliability Synthesis test method, while test cost is reduced, realizes the reliability that product is verified in once experiment
Property;
2) the software and hardware Reliability Synthesis test profile set up using the building method for proposing can truly reflect product
Actually used situation;
3) using the formalized description of integrated view building method, the formalized description is easy to research and development instrument prototype
Deng such that it is able to realize the automation of software and hardware system Reliability Synthesis test profile construction and excitation generation.
Mesh of the invention is achieved through the following technical solutions:
The present invention proposes a kind of aobvious control software and hardware system reliability test motivational techniques based on section mapping, described
It is to complete presentation of information, health monitoring and Working mould that aircraft machine cuts equipment as the aobvious control software and hardware system of tested products
Formula is controlled, it is characterised in that:The step of the method, is as follows:
Step one, acquisition mission profile
The aobvious control software and hardware system of mission profile description needs the various system tasks for completing, and mission profile is defined as four-tuple
Mp={ mi,prei,msgi,pi, wherein miIt is i-th system task, preiIt is system task execution sequence, msgiFor system is appointed
Business information, piFor system task performs frequency, mission profile is obtained using following algorithm:
1.1:According to the system specification explanation of aobvious control software and hardware system, cross-linking apparatus and user MInfo=are determined
{msgjJ=1 ..., m };
1.2:Completing for task is needed to determine system task list Msq={ t according to aobvious control software and hardware systemi, i=1 ...,
n};
1.3:According to aobvious control software and hardware system specification, determine that system task execution sequence pre and system task are performed
Frequency p, construction mission profile Mp;
Step 2, determine software task section
When the aobvious control software and hardware system of software task description of profile completes task, the software task completed required for software is soft
Part mission profile is defined as four-tuple STp={ smi,sprei,smsgi,spi, wherein smiIt is i-th software task, spreiFor
Software task execution sequence, smsgiIt is software task information, spiFor software task performs frequency, system task and software task
Between mapping function be defined as m:Sm → ft (sm), software task section is determined using following algorithm:
2.1:According to mission profile and software development charter, software task list SMsq={ st are determinedi, i=
1 ..., k }, and software task information smsgi;
2.2:According to the software task that system task is included, mapping function ft (st) is set up;
2.3:System task execution sequence pre and system task in mission profile perform frequency p, determine that software is appointed
Business execution sequence spreiAnd software task performs frequency spi, construction software task section STp;
Step 3, conformation function section
Functional profile is to describe software task to complete involved software function, and functional profile is defined as four-tuple SFp=
{sfi,sfprei,sfmsgi,sfpi, wherein sfiIt is i-th software function, sfpreiIt is software function execution sequence, sfmsgi
It is software function information, sfpiFor software function performs frequency, the mapping function between software task and software function is defined as
sm:Sf → fs (sf), functional profile uses following algorithm construction:
3.1:According to Software Requirement Specification, software function list SFsq={ sf are determinedi, i=1 ..., l }, Yi Jigong
Can information sfmsgi;
3.2:Software function according to involved by software task, the mapping function set up between software task and software function
fs(sf);
3.3:Software task execution sequence spre in software task sectioniAnd software task performs frequency spi,
Determine software function execution sequence sfpreiAnd software function performs frequency sfpi, construction software function section SFp;
Step 4, constructor section
Operation Profile is to describe software function to complete involved software operation, and Operation Profile is defined as five-tuple SOp=
{soi,soprei,soti,somsgi,sopi, wherein soiIt is i-th software operation, sopreiFor software operates execution sequence,
somsgiIt is software operation information, sotiIt is distributions of the input data InputValue on time t, sop in software operationiFor
Software operation performs frequency, and the mapping function between software function and software operation is defined as sf:So → fo (so), operation is cutd open
Face uses following algorithm construction:
4.1:Illustrated according to Software for Design, determine input space Ψ '=∪ InputValue of software functionl.Range,l
=1 ..., r, and distribution situation sots of the input data InputValue on time t;
4.2:According to input space Ψ '=∪ InputValuel.Range, l=1 ..., r, determine software operating list
SOsq={ soi, i=1 ..., w }, and software operation information somsgi;
4.3:According to the software operation that software function is included, the mapping function set up between software function and software operation
fo(so);
4.4:Software function execution sequence sfpre in software function sectioniAnd software function performs frequency spi, really
Determine software operation execution sequence sopreiAnd software operation performs frequency sopi, construction software Operation Profile SOp;
Step 5, determine hardware synthesis environmental stress section
Hardware synthesis environmental stress section is to describe ambient parameter and the relation of time that reliability test is used, and hardware is comprehensive
Cyclization border stress profile is defined as four-tuple Hp={ ht, hv, hhi, hl }, wherein ht is the execution time of reliability test, hv
It is that, with the electric stress for performing time change, hh is that, with the temperature stress for performing time change, hl is shaking with execution time change
Dynamic stress, hardware synthesis environmental stress section is determined using following algorithm:
5.1:Hardware synthesis environmental stress is set up according to GJB 899A-2009 hardware synthesis environmental stress profile construction methods
Section Hp={ ht, hv, hhi,hl};
Step 6, comprehensive software and hardware section
Comprehensive software and hardware section is according to the mapping function m between mission profile and software section:So → f (so) and appoint
Business section Mp={ mi,prei,msgi,piMapping function and hardware synthesis environmental stress section between, by software section with it is hard
Part synthetic chemistry laboratory section matches, and obtains comprehensive software and hardware test profile, and comprehensive software and hardware test profile is defined as hexa-atomic
Group SHp={ soi,hti,hvi,hhi,hli,shpi, wherein soiIt is i-th software operation, htiIt is i-th software operation correspondence
The execution time, hviIt is the electric stress in the execution time, hhiIt is the temperature stress in the execution time, hliDuring for the execution
Interior vibration stress, shpiFor it performs frequency;Mapping function between mission profile and hardware synthesis environmental stress sectionComprehensive software and hardware section carries out synthesis using following algorithm:
6.1:According to hardware synthesis environmental stress profile construction process, determine hardware synthesis environmental stress section Hp=ht,
hv,hhi, hl } with mission profile in each task corresponding relation m:Hp → fh (hp), using the corresponding relation by hardware synthesis ring
Border stress profile carries out drawing section;
6.2:According to perform time sequencing, according to hardware synthesis environmental stress section with mission profile each task it is corresponding
Relation and system task and the mapping function of software section, determine between software section and hardware synthesis environmental stress section
Mapping function hp:So → f (so), determines software operation so corresponding to each section of combined stress sectioni, and determine each software operation
Probability shpi;
6.3:Selection Software operation is repeated, until the corresponding software operation total duration ∑ of each section of combined stress section
htiIt is consistent with each section of combined stress section;
Theorem 1:Mapping function between software section and hardware synthesis environmental stress section is hp:So → f (so)=fh-1
(ft(fs(fo(so))))。
Prove:hp:So → f (so)=hp:m:sm:sf:so→fh-1(ft(fs(fo(so))))
Step 7, determine software encourage
Software is encouraged, and is to determine particular content, quantity and applying that software is input into sequentially according to comprehensive software and hardware section,
Software excitation is determined using following algorithm:
7.1:According to combined stress section hpi, and mapping function f (so), corresponding software Operation Profile SOp is obtained,
Take the mode selection operation of random sampling;
7.2:According to input data InputValue, the distribution situation sot on the time determines the specific input data of operation
InputValue;
7.3:Repeat to extract up to software encourages the duration consistent with each section of combined stress section duration, then stop
Only.
Software reliability test and hardware reliability experiment have been carried out synthesis by the method, it is first determined software reliability
Testing profile (containing mission profile, software task section, functional profile, Operation Profile) and synthetic chemistry laboratory section, then
Software reliability test section is combined with synthetic chemistry laboratory section using section mapping, forms software and hardware reliability comprehensive
Close test profile;The integrated view truly reflects the association between running software and external environment condition change, it is to avoid
Software reliability test and hardware reliability experiment carry out brought empirical risk and the wasting of resources respectively, are tested reducing
The reliability that product is verified in once experiment is realized while cost.Meanwhile, provide the shape of integrated view building method
Formulaization is described, and the formalized description is easy to research and development instrument prototype etc., such that it is able to realize that software and hardware system Reliability Synthesis are tested
Profile construction and the automation of excitation generation.
Brief description of the drawings
Fig. 1 generates the FB(flow block) for encouraging to carry out reliability test for aobvious control software and hardware system in the inventive method
Fig. 2 carries out the hardware synthesis environment of reliability test excitation to be directed to aobvious control software and hardware system in the inventive method
Stress profile
Fig. 3 carries out the comprehensive software and hardware section of reliability test excitation to be directed to aobvious control software and hardware system in the inventive method
Fig. 4 carries out task, function, the operation of reliability test excitation to be directed to aobvious control software and hardware system in the inventive method
List
Fig. 5 carries out operation and the experimental arrangement of reliability test excitation to be directed to aobvious control software and hardware system in the inventive method
Corresponding table
Specific embodiment
Technical solution of the present invention is further described below with reference to drawings and Examples:
Embodiment
The main completion system informix of aobvious control software and hardware system in the present embodiment is shown, system health is monitored,
The function such as working state of system and mode of operation control, task management, real-time data record, man-machine interaction and concentration power-up.It is aobvious
The controlling software and hardware system of the task includes:
A) prepare before flying:Including carrying out device power-on self-inspection, task loading.
B) climb:After taking off, system concentrates power-up, and system status and navigation information are checked into operation interface.
C) cruise:Task associative operation is carried out by operation and control interface.
D) make a return voyage:Load shedding, system closedown.
The software function of aobvious control software and hardware system includes:Concentrate power-up control, system information synthesis display, system health shape
Condition monitoring, working state of system and mode of operation control, task management, real-time data record and man-machine interaction.It is system task, soft
Part task, software function, software operation corresponding relation are as shown in table 1.
Referring to shown in accompanying drawing 1, the aobvious control software and hardware system reliability test motivational techniques of section mapping are based on to this kind,
Step is as follows:
Step one, acquisition mission profile
The aobvious control software and hardware system of mission profile description needs the various system tasks for completing, and mission profile is defined as four-tuple
Mp={ mi,prei,msgi,pi, wherein miIt is i-th system task, preiIt is system task execution sequence, msgiFor system is appointed
Business information, piFor system task performs frequency, mission profile is obtained using following algorithm:
1.1:According to the system specification explanation of aobvious control software and hardware system, cross-linking apparatus and user MInfo=are determined
{msgjJ=1 ..., m };
1.2:Completing for task is needed to determine system task list Msq={ t according to aobvious control software and hardware systemi, i=1 ...,
n};
1.3:According to aobvious control software and hardware system specification, determine that system task execution sequence pre and system task are performed
Frequency p, construction mission profile Mp;
Algorithm in above step one is realized by following procedure (mission profile relevant portion):
Step 2, determine software task section
When the aobvious control software and hardware system of software task description of profile completes task, the software task completed required for software is soft
Part mission profile is defined as four-tuple STp={ smi,sprei,smsgi,spi, wherein smiIt is i-th software task, spreiFor
Software task execution sequence, smsgiIt is software task information, spiFor software task performs frequency, system task and software task
Between mapping function be defined as m:Sm → ft (sm), software task section is determined using following algorithm:
2.1:According to mission profile and software development charter, software task list SMsq={ st are determinedi, i=
1 ..., k }, and software task information smsgi;
2.2:According to the software task that system task is included, mapping function ft (st) is set up;
2.3:System task execution sequence pre and system task in mission profile perform frequency p, determine that software is appointed
Business execution sequence spreiAnd software task performs frequency spi, construction software task section STp;
Algorithm above is realized by step one Program (software task section relevant portion).
Step 3, conformation function section
Functional profile is to describe software task to complete involved software function, and functional profile is defined as four-tuple SFp=
{sfi,sfprei,sfmsgi,sfpi, wherein sfiIt is i-th software function, sfpreiIt is software function execution sequence, sfmsgi
It is software function information, sfpiFor software function performs frequency, the mapping function between software task and software function is defined as
sm:Sf → fs (sf), functional profile uses following algorithm construction:
3.1:According to Software Requirement Specification, software function list SFsq={ sf are determinedi, i=1 ..., l }, Yi Jigong
Can information sfmsgi;
3.2:Software function according to involved by software task, the mapping function set up between software task and software function
fs(sf);
3.3:Software task execution sequence spre in software task sectioniAnd software task performs frequency spi,
Determine software function execution sequence sfpreiAnd software function performs frequency sfpi, construction software function section SFp;
Algorithm above is realized by step one Program (functional profile relevant portion).
Step 4, constructor section
Operation Profile is to describe software function to complete involved software operation, and Operation Profile is defined as five-tuple SOp=
{soi,soprei,soti,somsgi,sopi, wherein soiIt is i-th software operation, sopreiFor software operates execution sequence,
somsgiIt is software operation information, sotiIt is distributions of the input data InputValue on time t, sop in software operationiFor
Software operation performs frequency, and the mapping function between software function and software operation is defined as sf:So → fo (so), Operation Profile
Using following algorithm construction:
4.1:Illustrated according to Software for Design, determine input space Ψ '=∪ InputValue of software functionl.Range,l
=1 ..., r, and distribution situation sots of the input data InputValue on time t;
4.2:According to input space Ψ '=∪ InputValuel.Range, l=1 ..., r, determine software operating list
SOsq={ soi, i=1 ..., w }, and software operation information somsgi;
4.3:According to the software operation that software function is included, the mapping function set up between software function and software operation
fo(so);
4.4:Software function execution sequence sfpre in software function sectioniAnd software function performs frequency spi, really
Determine software operation execution sequence sopreiAnd software operation performs frequency sopi, construction software Operation Profile SOp;
Algorithm above is realized by step one Program (Operation Profile relevant portion).
Step 5, determine hardware synthesis environmental stress section
Hardware synthesis environmental stress section is to describe ambient parameter and the relation of time that reliability test is used, and hardware is comprehensive
Cyclization border stress profile is defined as four-tuple Hp={ ht, hv, hhi, hl }, wherein ht is the execution time of reliability test, hv
It is that, with the electric stress for performing time change, hh is that, with the temperature stress for performing time change, hl is shaking with execution time change
Dynamic stress, hardware synthesis environmental stress section is determined using following algorithm:
5.1:Hardware synthesis environmental stress is set up according to GJB 899A-2009 hardware synthesis environmental stress profile construction methods
Section Hp={ ht, hv, hhi,hl};
Algorithm above obtains hardware synthesis environmental stress section as shown in Figure 2.
Step 6, comprehensive software and hardware section
Comprehensive software and hardware section is according to the mapping function m between mission profile and software section:So → f (so) and appoint
Business section Mp={ mi,prei,msgi,piMapping function and hardware synthesis environmental stress section between, by software section with
Hardware synthesis environmental stress section matches, and obtains comprehensive software and hardware test profile, and comprehensive software and hardware test profile is defined as six
Tuple SHp={ soi,hti,hvi,hhi,hli,shpi, wherein soiIt is i-th software operation, htiFor i-th software operation is right
The execution time answered, hviIt is the electric stress in the execution time, hhiIt is the temperature stress in the execution time, hliIt is the execution
Vibration stress in time, shpiFor it performs frequency;Mapping letter between mission profile and hardware synthesis environmental stress section
NumberComprehensive software and hardware section carries out synthesis using following algorithm:
6.1:According to hardware synthesis environmental stress profile construction process, determine hardware synthesis environmental stress section Hp=ht,
hv,hhi, hl } with mission profile in each task corresponding relation m:Hp → fh (hp), using the corresponding relation by hardware synthesis ring
Border stress profile carries out drawing section;
6.2:According to perform time sequencing, according to hardware synthesis environmental stress section with mission profile each task it is corresponding
Relation and system task and the mapping function of software section, determine between software section and hardware synthesis environmental stress section
Mapping function hp:So → f (so), determines software operation so corresponding to each section of combined stress sectioni, and determine each software operation
Probability shpi;
6.3:Selection Software operation is repeated, until the corresponding software operation total duration ∑ of each section of combined stress section
htiIt is consistent with each section of combined stress section;
Comprehensive software and hardware generalized section is such as shown in Fig. 3, and what software involved by algorithm above was operated realizes program file correspondence
Relation by taking " map denotation setting " operation in subordinate list 2 as an example, provides the program of implemented below, in Operation Profile as shown in subordinate list 2
Other operations are corresponding with experimental arrangement as shown in table 2.
Step 7, determine software encourage
Software is encouraged, and is to determine particular content, quantity and applying that software is input into sequentially according to comprehensive software and hardware section,
Software excitation is determined using following algorithm:
7.1:According to combined stress section hpi, and mapping function f (so), corresponding software test section SHp is obtained,
Take the mode selection operation of random sampling;
7.2:According to input data InputValue, the distribution situation sot on the time determines the specific input data of operation
InputValue;
7.3:Repeat to extract up to software encourages the duration consistent with each section of combined stress section duration, then stop
Only.
Algorithm above is realized by step 6 Program (determining that software encourages relevant portion).
According to the testing profile and test data extraction algorithm that determine, test procedure is write, it is automatic using test procedure
Excited data is tested in generation, altogether 14490 test cases.Produced problem totally 54 times in experiment, typical problem can through analysis
It is following several classes to count:1) argument interval in part cannot set respective distance circle;2) partial document data dismount failure;3) enter
When row map denotation is operated, system exception is exited;4) database is disconnected extremely.Tested by display & control system,
Using the experiment excitation producing method for proposing, software and hardware Reliability Synthesis experiment is carried out, process of the test and result show that this is soft or hard
Part reliability test excitation producing method considers the actually used method and operative scenario of software and hardware integrated system so that product
Test method and applying working condition more truly reflect product actual working state, effectively find to influence product reliability
Problem, it is ensured that composite score is truer, so as to improve product reliability level.
Claims (1)
1. a kind of aobvious control software and hardware system reliability test motivational techniques based on section mapping, described as the aobvious of tested products
Control software and hardware system is to complete presentation of information, health monitoring and mode of operation control that aircraft machine cuts equipment, and its feature exists
In:The step of the method, is as follows:
Step one, acquisition mission profile
The aobvious control software and hardware system of mission profile description needs the various system tasks for completing, and mission profile is defined as four-tuple Mp=
{mi,prei,msgi,pi, wherein miIt is i-th system task, preiIt is system task execution sequence, msgiFor system task is believed
Breath, piFor system task performs frequency, mission profile is obtained using following algorithm:
1.1:According to the system specification explanation of aobvious control software and hardware system, cross-linking apparatus and user MInfo={ msg are determinedjJ=
1,…,m};
1.2:Completing for task is needed to determine system task list Msq={ t according to aobvious control software and hardware systemi, i=1 ..., n };
1.3:According to aobvious control software and hardware system specification, determine that system task execution sequence pre and system task perform frequency
P, construction mission profile Mp;
Step 2, determine software task section
When the aobvious control software and hardware system of software task description of profile completes task, the software task completed required for software, software is appointed
Business section is defined as four-tuple STp={ smi,sprei,smsgi,spi, wherein smiIt is i-th software task, spreiIt is software
Tasks carrying sequentially, smsgiIt is software task information, spiFor software task performs frequency, between system task and software task
Mapping function be defined as m:Sm → ft (sm), software task section is determined using following algorithm:
2.1:According to mission profile and software development charter, software task list SMsq={ st are determinedi, i=1 ..., k },
And software task information smsgi;
2.2:According to the software task that system task is included, mapping function ft (st) is set up;
2.3:System task execution sequence pre and system task in mission profile perform frequency p, determine that software task is held
Row order spreiAnd software task performs frequency spi, construction software task section STp;
Step 3, conformation function section
Functional profile is to describe software task to complete involved software function, and functional profile is defined as four-tuple SFp={ sfi,
sfprei,sfmsgi,sfpi, wherein sfiIt is i-th software function, sfpreiIt is software function execution sequence, sfmsgiFor soft
Part function information, sfpiFor software function performs frequency, the mapping function between software task and software function is defined as sm:sf
→ fs (sf), functional profile uses following algorithm construction:
3.1:According to Software Requirement Specification, software function list SFsq={ sf are determinedi, i=1 ..., l }, and function letter
Breath sfmsgi;
3.2:Software function according to involved by software task, the mapping function fs set up between software task and software function
(sf);
3.3:Software task execution sequence spre in software task sectioniAnd software task performs frequency spi, it is determined that
Software function execution sequence sfpreiAnd software function performs frequency sfpi, construction software function section SFp;
Step 4, constructor section
Operation Profile is to describe software function to complete involved software operation, and Operation Profile is defined as five-tuple SOp={ soi,
soprei,soti,somsgi,sopi, wherein soiIt is i-th software operation, sopreiFor software operates execution sequence, somsgi
It is software operation information, sotiIt is distributions of the input data InputValue on time t, sop in software operationiFor software is grasped
Make execution frequency, the mapping function between software function and software operation is defined as sf:So → fo (so), Operation Profile is using such as
Lower algorithm construction:
4.1:Illustrated according to Software for Design, determine the input space of software function
Ψ '=∪ InputValuel.Range, l=1 ..., r, and distribution feelings of the input data InputValue on time t
Condition sot;
4.2:According to input space Ψ '=∪ InputValuel.Range, l=1 ..., r, determine software operating list SOsq=
{soi, i=1 ..., w }, and software operation information somsgi;
4.3:According to the software operation that software function is included, the mapping function fo set up between software function and software operation
(so);
4.4:Software function execution sequence sfpre in software function sectioniAnd software function performs frequency spi, determine soft
Part operation execution sequence sopreiAnd software operation performs frequency sopi, construction software Operation Profile SOp;
Step 5, determine hardware synthesis environmental stress section
Hardware synthesis environmental stress section is to describe ambient parameter and the relation of time that reliability test is used, hardware synthesis ring
Border stress profile is defined as four-tuple Hp={ ht, hv, hhi, hl }, wherein ht for reliability test the execution time, hv be with
The electric stress of time change is performed, hh is that, with the temperature stress for performing time change, hl is should with the vibration for performing time change
Power, hardware synthesis environmental stress section is determined using following algorithm:
5.1:Hardware synthesis environmental stress section is set up according to GJB 899A-2009 hardware synthesis environmental stress profile construction methods
Hp={ ht, hv, hhi,hl};
Step 6, comprehensive software and hardware section
Comprehensive software and hardware section is according to the mapping function m between mission profile and software section:So → f (so) and task are cutd open
Face Mp={ mi,prei,msgi,piMapping function and hardware synthesis environmental stress section between, software section and hardware is comprehensive
Cyclization border stress profile matches, and obtains comprehensive software and hardware test profile, and comprehensive software and hardware test profile is defined as hexa-atomic group of SHp
={ soi,hti,hvi,hhi,hli,shpi, wherein soiIt is i-th software operation, htiFor i-th software operates corresponding execution
Time, hviIt is the electric stress in the execution time, hhiIt is the temperature stress in the execution time, hliFor in the execution time
Vibration stress, shpiFor it performs frequency;Mapping function between mission profile and hardware synthesis environmental stress sectionComprehensive software and hardware section carries out synthesis using following algorithm:
6.1:According to hardware synthesis environmental stress profile construction process, determine hardware synthesis environmental stress section Hp=ht, hv,
hhi, hl } with mission profile in each task corresponding relation m:Hp → fh (hp), using the corresponding relation by hardware synthesis environment
Stress profile carries out drawing section;
6.2:According to time sequencing is performed, according to the corresponding relation of each task in hardware synthesis environmental stress section and mission profile
And system task and the mapping function of software section, determine the mapping between software section and hardware synthesis environmental stress section
Function hp:So → f (so), determines software operation so corresponding to each section of combined stress sectioni, and determine each software evolutionary operator probability
shpi;
6.3:Selection Software operation is repeated, until the corresponding software operation total duration ∑ ht of each section of combined stress sectioniWith it is each
Section combined stress section is consistent;
Step 7, determine software encourage
Software is encouraged, and is to determine particular content, quantity and applying that software is input into sequentially according to comprehensive software and hardware section, software
Excitation is determined using following algorithm:
7.1:According to combined stress section hpi, and mapping function f (so) obtains corresponding software Operation Profile SOp, take with
The mode selection operation of machine sampling;
7.2:According to input data InputValue, the distribution situation sot on the time determines the specific input data of operation
InputValue;
7.3:Repeat to extract up to software encourages the duration consistent with each section of combined stress section duration, then stop.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201610962845.8A CN106776268B (en) | 2016-11-04 | 2016-11-04 | Display control software and hardware system reliability test excitation method based on profile mapping |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201610962845.8A CN106776268B (en) | 2016-11-04 | 2016-11-04 | Display control software and hardware system reliability test excitation method based on profile mapping |
Publications (2)
Publication Number | Publication Date |
---|---|
CN106776268A true CN106776268A (en) | 2017-05-31 |
CN106776268B CN106776268B (en) | 2019-12-24 |
Family
ID=58972487
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201610962845.8A Active CN106776268B (en) | 2016-11-04 | 2016-11-04 | Display control software and hardware system reliability test excitation method based on profile mapping |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN106776268B (en) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN110096426A (en) * | 2019-03-15 | 2019-08-06 | 北京航空航天大学 | Software test section method for building up under the conditions of a kind of environmental load |
CN111680395A (en) * | 2020-04-27 | 2020-09-18 | 中国电子产品可靠性与环境试验研究所((工业和信息化部电子第五研究所)(中国赛宝实验室)) | Reliability comprehensive verification test method and device, electronic equipment and storage medium |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102662841A (en) * | 2012-04-01 | 2012-09-12 | 北京航空航天大学 | Constitution method of comprehensive reliability testing profile for both software and hardware |
CN103914353A (en) * | 2014-04-17 | 2014-07-09 | 北京航空航天大学 | Combined test method for combining software reliability tests with hardware reliability tests |
US20150026664A1 (en) * | 2013-07-17 | 2015-01-22 | International Business Machines Corporation | Method and system for automated test case selection |
-
2016
- 2016-11-04 CN CN201610962845.8A patent/CN106776268B/en active Active
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102662841A (en) * | 2012-04-01 | 2012-09-12 | 北京航空航天大学 | Constitution method of comprehensive reliability testing profile for both software and hardware |
US20150026664A1 (en) * | 2013-07-17 | 2015-01-22 | International Business Machines Corporation | Method and system for automated test case selection |
CN103914353A (en) * | 2014-04-17 | 2014-07-09 | 北京航空航天大学 | Combined test method for combining software reliability tests with hardware reliability tests |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN110096426A (en) * | 2019-03-15 | 2019-08-06 | 北京航空航天大学 | Software test section method for building up under the conditions of a kind of environmental load |
CN111680395A (en) * | 2020-04-27 | 2020-09-18 | 中国电子产品可靠性与环境试验研究所((工业和信息化部电子第五研究所)(中国赛宝实验室)) | Reliability comprehensive verification test method and device, electronic equipment and storage medium |
CN111680395B (en) * | 2020-04-27 | 2023-05-26 | 中国电子产品可靠性与环境试验研究所((工业和信息化部电子第五研究所)(中国赛宝实验室)) | Reliability comprehensive verification test method and device, electronic equipment and storage medium |
Also Published As
Publication number | Publication date |
---|---|
CN106776268B (en) | 2019-12-24 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US8606538B2 (en) | Method of testing an electronic system | |
CN107784152A (en) | Include the simulation of multiple simulators | |
Mohd Saad et al. | A3 thinking approach to support knowledge-driven design | |
CN111176999B (en) | Test platform construction method and test method of unmanned aerial vehicle flight control management software | |
JP2016121869A (en) | Method and system for automatic evaluation of robustness and disruption management for commercial airline flight operations | |
Suarez et al. | Quantifying air traffic controller mental workload | |
CN110096441B (en) | FPGA software simulation test environment establishment method based on UVM method | |
CN113602526A (en) | Verification test method and system for aircraft electromechanical fault prediction and health management system | |
CN106125573A (en) | Aircraft nose wheel Servo Control box method for designing based on graphical model | |
CN103455024B (en) | ECU tests system and method | |
CN106776268A (en) | A kind of aobvious control software and hardware system reliability test motivational techniques based on section mapping | |
Pessa et al. | Integration of different MBSE approaches within the design of a control maintenance system applied to the aircraft fuel system | |
Galiullin et al. | Automation of diesel engine test procedure | |
CN112699036B (en) | Multi-partition multi-version airborne application software test case multiplexing method | |
CN109932588A (en) | A kind of Aerial Electronic Equipment validation test engine | |
CN113704095A (en) | Automatic generation method and device for automatic interface test case | |
CN115019595A (en) | Avionics simulation I/O management-based training simulator implementation method and system | |
CN111190821B (en) | Test platform construction method and test method of cabin door integrated management software | |
Juhnke et al. | A tailored domain analysis method for the development of system-specific testing dsls enabling their smooth introduction in automotive practice | |
CN112699030B (en) | Automatic testing method for power supply partition software | |
CN112231062A (en) | Safety test system and method for programmable industrial controller | |
Peleska | Hardware/software integration testing for the new airbus aircraft families | |
Lukas et al. | A simulation model to predict impacts of alterations in development processes | |
CN112711532B (en) | Automatic testing method for undercarriage partition software | |
CN112699031B (en) | Method for testing partition software architecture |
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 | ||
GR01 | Patent grant | ||
GR01 | Patent grant |