CN104461887A - Embedded software black-box test case generation method based on dynamic model - Google Patents
Embedded software black-box test case generation method based on dynamic model Download PDFInfo
- Publication number
- CN104461887A CN104461887A CN201410765293.2A CN201410765293A CN104461887A CN 104461887 A CN104461887 A CN 104461887A CN 201410765293 A CN201410765293 A CN 201410765293A CN 104461887 A CN104461887 A CN 104461887A
- Authority
- CN
- China
- Prior art keywords
- test
- test item
- item
- black
- test case
- 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
Landscapes
- Debugging And Monitoring (AREA)
Abstract
The invention relates to an embedded software black-box test case generation method based on a dynamic model and aims to solve the problems that testing lags, is not visual and is low in efficiency; the test design depending on testers fails to ensure quality of test cases; the quality of black-box test is unable to be guaranteed. The method includes the steps of 1, building a dynamic graphic model of embedded software; 2, checking the built dynamic graphic model, manually planning test items according to test purposes, automatically complementing the test items, automatically judging validity of the test items, and performing filling with names of the test items; 3, automatically generating a black-box test case set corresponding to the test items according to test coverage rules and a test case generation algorithm, and storing the test items and the test case set; 4, managing the existing test items and test case set. The method is applicable to the field of software testing.
Description
Technical field
The present invention relates to the Black-box Testing of Embedded Software case generation method based on dynamic model.
Background technology
Current, the complexity of embedded software is more and more higher, and reliability and requirement of real-time are also more and more stricter, but the time requirement of embedded product listing is shorter and shorter.For meeting these harsh requirements, efficient software test is necessary, comprises the automatic planning of test case, generation, optimization, execution and assessment etc.How efficient software test is trying one's best under weak Test hypotheses if needing to solve, generate as far as possible little but that debugging ability is as far as possible strong test use cases as soon as possible.
Model-based testing (Model-Based Testing, MBT) be a kind of production assurance technology producing test case and assessment test result according to system under test (SUT) (System UnderTest, SUT) demand and the model of function declaration and the model (being commonly referred to as test model) of derivation thereof.Model-based testing is a kind of software test efficiently.
It is generally acknowledged, MBT originates in 1956, is mainly used in the test that circuit, communication protocol etc. are relevant to hardware device at first, just starts for the test relevant to software to the end of the seventies.Through years of researches, MBT has defined three kinds of more classical theories---the theory that automaton theory, UML unified Modeling theory and probability statistics combine with automat.These three kinds of theories distinguish corresponding three class models---FSM/EFSM/LTS/ASM model, uml model and Markov model again.In recent years, mainly comprise about the study hotspot of MBT and model is dissolved in software assembly line, use-case optimization, use-case assessment, MBT is used for different field (as embedded system, large scale distributed system and data acquisition system (DAS) etc.), according to uml model and other models (as Uppaal model, Simulink/Stateflow model etc.) generating test use case etc.
In traditional software test, classical Black-box testing Cases method for designing has equivalence class partition, boundary value analysis, cause-and-effect diagram, decision table, mistake supposition etc.Equivalence class classifying method is that the input domain of program is divided into some parts (class), then from each part, choose a few representative data as test case, the representative data effect in testing of each class is equivalent to other data in this class.Boundary analysis inputs or outputs on the border of variable range at certain, the method whether verification system function is normally run, usually choose just be less than, equal or be just greater than boundary value value as test data.Cause effect graph is a kind of formal graphic language, the various combinations of weight analysis initial conditions by figure, often kind of combination condition be exactly " because of ", it certainly leads to a result exported, and Here it is " really ".Decision table method is a kind of combined analysis method, describes the combination of multiple condition, correspondingly produces multiple action.Mistake conferring method is that tester infers the mistake program and may exist according to working experience and intuition, thus tests targetedly.
At present, Black-box Testing Main Basis requirement documents carries out, but based on the Black-box Testing of requirements specification document, there are the following problems: (1) is based on manual test, test delayed, directly perceived and indigestion, test case is difficult to realization and reuses, cause the duplication of labour, testing efficiency is low; (2) very large to the dependence of tester, and tester is difficult to design comparatively complicated test case, cannot ensure the quality of test case; (3) be difficult to provide high-quality test case set, the quality of Black-box Testing cannot be ensured.
Summary of the invention
The present invention will solve (1) based on manual test, and test delayed, directly perceived and indigestion, test case is difficult to realization and reuses, and causes the duplication of labour, and testing efficiency is low; (2) very large to the dependence of tester, and tester is difficult to design comparatively complicated test case, cannot ensure the quality of test case; (3) be difficult to provide high-quality test case set, the problem of the quality of Black-box Testing cannot be ensured, and provide a kind of Black-box Testing of Embedded Software case generation method based on dynamic model.
Step 1: adopt the expansion semanteme of the nested mechanism between constitutional diagram, sequential chart, fault tree, cause-and-effect diagram, decision table, figure and figure to build the motion graphics model of embedded software, to describe the dynamic test demand of embedded software;
Step 2: the motion graphics model built is verified, manually plans test item according to test purpose, automatically completion and validity decision are carried out to test item, finally fill in the title of test item;
Wherein, the completion of described test item is to reach " inside of test item is communicated with " for target, and the classical ergodic algorithm of the concrete figure of employing realizes, and generates complete test item the most at last;
Namely the validity decision of described test item requires must there is significant pel in complete test item, the meaningless pel of constitutional diagram comprises " initial state " and " final states ", the meaningless pel of fault tree comprises " line ", " with door " and disjunction gate, the meaningless pel of cause-and-effect diagram comprises " line ", if test item is made up of above-mentioned insignificant pel entirely, then will be judged as illegal;
Step 3: automatically generate Black-box testing Cases set corresponding to test item according to Testing criteria and Test cases generation algorithm, and test item and test use cases are incorporated into storehouse preservation;
The concrete manifestation in motion graphics model of described test item is the pel set be made up of one or more graphic element, be divided into constitutional diagram test item, sequential chart test item, fault tree test item, cause-and-effect diagram test item and decision table test item, often kind of corresponding corresponding Test cases generation algorithm of test item;
Step 4: manage existing test item and test case set, comprise interpolation, delete, revise and check operation, to improve the generation of test case set.
Beneficial effect of the present invention is:
(1) more mistake can be found in the early stage intervention of embedded software life cycle, because when creating the Dynamic testing model of embedded software, test deviser can find some the inconsistent or incomplete information in priginal soft demand or system model;
(2) dynamic testing requirement can be realized easily follow the trail of because dynamic testing requirement is present among dynamic model, and model have very strong can traceability, this is conducive to the efficiency improving test;
(3) automatically from formalized model, comparatively complicated test case set can be generated according to Testing criteria, more can find aacode defect than traditional test case, ensure that the quality of test case;
(4) can complete varigrained test easily, because model can have different abstraction hierarchies, this makes test have more specific aim, is conducive to the quality improving test;
(5) model can be reused, and the test case according to model generation also can be reused, and can reduce the duplication of labour like this, and improve testing efficiency;
(6) the generation comparison image of test design and test case is directly perceived, not only ensure that the validity of Test Sample Design, also ensure that repeatability and intelligibility;
(7) changes in demand of embedded software can be responded in time, better test case is safeguarded, because can test case be regenerated after test model change, improve testing efficiency;
(8) compared with the Black-box Testing based on requirements specification document, the Black-box Testing of Embedded Software case generation method based on static model that the present invention proposes can generate the test case of higher testing requirement coverage rate automatically, and testing efficiency improves about 30%.
Accompanying drawing explanation
Fig. 1 is the automated test frame figure of the residing model-based testing in embodiment one;
Fig. 2 is the key step in embodiment one;
Fig. 3 is the relation between the motion graphics in embodiment two;
Fig. 4 is that the data flow diagram in embodiment uses example---the ground floor data flow diagram of automatic saler system;
Fig. 5 is that the constitutional diagram in embodiment uses example---the constitutional diagram that " inspection coin " data mart modeling node is nested;
Fig. 6 is that sequential chart in embodiment uses example---automatic vending machine move back counterfeit money sequential chart;
Fig. 7 is that the fault tree in embodiment uses example---the fault tree that " inspection coin " data mart modeling node is nested;
Fig. 8 is that the decision table in embodiment uses example---the decision table that " inspection coin " data mart modeling node is nested.
Embodiment
Embodiment one: as shown in Figure 1, the present invention is under the automated test frame of MBT, and process to generating test use case set, mainly stresses the description of embedded software dynamic perfromance from structure SUT test model.MBT automated test frame is divided into " three levels, processes "---test model layer, test case layer, physical storage layer and test tracking and management process.The core missions of test model layer build SUT test model.The core missions of test case layer produce test item set, test case set and test script set.The core missions of physical storage layer are for the element of test model layer and test case layer provides physical store service, comprise the physical store of SUT test model, test item set, test case set and test document set.It is tracing and managing test process that test is followed the tracks of with the core missions of management process, comprises the tracking of test item and test case, the change of test model to test item and the impact of test case, the change of test item to the impact etc. of test case.
As shown in Figure 2, the present invention is a kind of Black-box Testing of Embedded Software case generation method based on dynamic model, comprise the following steps: step 1: adopt the expansion semanteme of the nested mechanism between constitutional diagram, sequential chart, fault tree, cause-and-effect diagram, decision table, figure and figure to build the motion graphics model of embedded software, to describe the dynamic test demand of embedded software;
Step 2: the motion graphics model built is verified, manually plans test item according to test purpose, automatically completion and validity decision are carried out to test item, finally fill in the title of test item;
Wherein, the completion of described test item is to reach " inside of test item is communicated with " for target, and the classical ergodic algorithm of the concrete figure of employing realizes, and generates complete test item the most at last;
Namely the validity decision of described test item requires must there is significant pel in complete test item, the meaningless pel of constitutional diagram comprises " initial state " and " final states ", the meaningless pel of fault tree comprises " line ", " with door " and disjunction gate, the meaningless pel of cause-and-effect diagram comprises " line ", if test item is made up of above-mentioned insignificant pel entirely, then will be judged as illegal;
Step 3: automatically generate Black-box testing Cases set corresponding to test item according to Testing criteria and Test cases generation algorithm, and test item and test use cases are incorporated into storehouse preservation;
Wherein, described Testing criteria comprises the migration of constitutional diagram to coverage criterion, full ZOT path coverage criterion and predicate coverage criterion, the minimal cut set coverage criterion of fault tree, the condition metaaction unit combination coverage criterion of decision table; The problem that what described test item solved is " what is surveyed ", it is the embodiment of test point, the concrete manifestation in motion graphics model of described test item is the pel set be made up of one or more graphic element, be divided into constitutional diagram test item, sequential chart test item, fault tree test item, cause-and-effect diagram test item and decision table test item, often kind of corresponding corresponding Test cases generation algorithm of test item;
Step 4: manage existing test item and test case set, comprise interpolation, delete, revise and check operation, to improve the generation of test case set.
The beneficial effect of present embodiment is:
(1) more mistake can be found in the early stage intervention of embedded software life cycle, because when creating the Dynamic testing model of embedded software, test deviser can find some the inconsistent or incomplete information in priginal soft demand or system model;
(2) dynamic testing requirement can be realized easily follow the trail of because dynamic testing requirement is present among dynamic model, and model have very strong can traceability, this is conducive to the efficiency improving test;
(3) automatically from formalized model, comparatively complicated test case set can be generated according to Testing criteria, more can find aacode defect than traditional test case, ensure that the quality of test case;
(4) can complete varigrained test easily, because model can have different abstraction hierarchies, this makes test have more specific aim, is conducive to the quality improving test;
(5) model can be reused, and the test case according to model generation also can be reused, and can reduce the duplication of labour like this, and improve testing efficiency;
(6) the generation comparison image of test design and test case is directly perceived, not only ensure that the validity of Test Sample Design, also ensure that repeatability and intelligibility;
(7) changes in demand of embedded software can be responded in time, better test case is safeguarded, because can test case be regenerated after test model change, improve testing efficiency;
(8) compared with the Black-box Testing based on requirements specification document, the Black-box Testing of Embedded Software case generation method based on static model that the present invention proposes can generate the test case of higher testing requirement coverage rate automatically, and testing efficiency improves about 30%.
Embodiment two: present embodiment and embodiment one unlike: the nested mechanism between figure as shown in Figure 3, the nest relation (starting point is that father schemes, and terminal is subgraph) between black connecting line presentation graphic.
The completion of test item is to reach " inside of test item is communicated with " for target, and the classical ergodic algorithm of the concrete figure of employing realizes, and generates complete test item the most at last.The validity decision of test item requires must there is significant pel in complete test item, the meaningless pel of constitutional diagram comprises " initial state " and " final states ", the meaningless pel of fault tree comprises " line ", " with door " and disjunction gate, the meaningless pel of cause-and-effect diagram comprises " line ", if test item is made up of above-mentioned insignificant pel entirely, then will be judged as illegal.Such as, in constitutional diagram, although comprise some nodes and state transfer in test item, and be communicated with, if but these nodes are all the nodes without concrete meaning such as picture initial state, final states etc., so this test item will be judged as illegal, test item planning failure.
Nested mechanism between the figure in described step 1 is as follows:
(1) the nested sequential chart of the data mart modeling of data flow diagram;
(2) the state node nested condition figure of constitutional diagram, data flow diagram, fault tree, cause-and-effect diagram and decision table;
(3) the nested sub-fault tree of the bottom event of fault tree.
Other step and parameter identical with embodiment one.
Embodiment three: present embodiment and embodiment one or two unlike: the expansion of the figure in described step 1 is semantic as follows:
(1) for the pel of constitutional diagram with the addition of test semanteme, comprise state node and add data variable, nested graphical nodes attribute;
(2) for the pel of sequential chart with the addition of test semanteme, comprise simple message and add guard condition, message content, type of message, message delay attribute;
(3) for the pel of fault tree, to the addition of test semantic, comprise bottom event and add CMP attribute: the quantificational description generation of bottom event;
(4) for decision table with the addition of test semanteme, comprise and automatically generate decision table according to logical expression, add the precondition of decision table.
Other step and parameter identical with embodiment one or two.
Embodiment four: one of present embodiment and embodiment one to three unlike: in described step 2 graphical model verification rule as follows:
(1) constitutional diagram only has an original state, and state does not allow to there is two or more direct transfers simultaneously;
(2) object of sequential chart comes from the data mart modeling of data flow diagram, data source point or data endpoint;
(3) fault trees only have a top event, and bottom event must use CMP attribute quantification to describe;
(4) cause-and-effect diagrams only have one main because of;
(5) in decision table, the condition unit of a regularization term and the equal non-NULL of action element.
Other step and parameter identical with one of embodiment one to three.
Embodiment five: present embodiment and one of embodiment one to four unlike: the Black-box testing Cases set automatically generating constitutional diagram test item corresponding according to Testing criteria and Test cases generation algorithm in described step 3 is specially:
Algorithm inputs: constitutional diagram STD, legal complete constitutional diagram test item I1
Algorithm exports: the test case set T1 of constitutional diagram test item
Algorithmic procedure:
1) in legal complete constitutional diagram test item I1, based on migration, all test path set W1 from initial state to final states are obtained to coverage criterion and full ZOT path coverage criterion traversal;
2) the test case set T1 making constitutional diagram test item is empty set;
3) test path set W1 is traveled through one by one, if current test path is W1 [i];
4) the test case set M1 of test path W [i] is generated based on limit testing coverage criterion and predicate coverage criterion;
5) M1 is added in the test case set T1 of constitutional diagram test item, gets back to step 3) continue traversal until test path in test path set W1 all generated test use cases is only combined into;
6) the test case set T1 of return state figure test item.
Other step and parameter identical with one of embodiment one to four.
Embodiment six: present embodiment and one of embodiment one to five unlike: the Black-box testing Cases set automatically generating sequential chart test item corresponding according to Testing criteria and Test cases generation algorithm in described step 3 is specially:
Algorithm inputs: sequential chart SD, legal complete sequential chart test item I2
Algorithm exports: the test case set T2 of sequential chart test item
Algorithmic procedure:
1) in legal complete sequential chart test item I2, traversal obtains all information test path W2, so that the set of Effect-based operation coverage criterion generating test use case;
2) the test case set T2 making sequential chart test item is empty set;
3) all information test path W2 are traveled through one by one, if current information test path is W2 [i];
4) the test case set M2 of the examination point of foundation information test path W [i] and the transmission timing of message and guard condition generation W [i];
5) M2 is added the test case set T2 of sequential chart test item, gets back to step 3) until information test path in all information test path W2 all generated test use cases is only combined into;
6) the test case set T2 of sequential chart test item is returned.
Other step and parameter identical with one of embodiment one to five.
Embodiment seven: present embodiment and one of embodiment one to six unlike: the Black-box testing Cases set automatically generating fault tree test item corresponding according to Testing criteria and Test cases generation algorithm in described step 3 is specially:
Algorithm inputs: fault tree FTA, legal complete fault tree test item I3
Algorithm exports: the test case set T3 of fault tree test item
Algorithmic procedure:
1) in legal complete fault tree test item I3, minimal cut set algorithm is adopted to obtain all minimal cut set W3 of fault tree, so that based on the set of minimal cut set coverage criterion generating test use case;
2) the test case set T3 making fault tree test item is empty set;
3) all minimal cut set W3 are traveled through one by one, if current minimal cut set is W3 [i];
4) whether there is according to the event of failure in the examination point of current minimal cut set W3 [i] and W3 [i] the test case set M3 generating W3 [i];
5) M3 is added in the test case set T3 of fault tree test item, gets back to step 3) until all minimal cut set W3 generated test use cases is combined into only;
6) pel in legal complete fault tree test item I3 is traveled through one by one, if current pel is I3 [j];
7) if I3 [j] is bottom event, the test case set M4 of I2 [j] is so generated according to the CMP attribute of bottom event I3 [j];
8) M4 is added in the test case set T3 of fault tree test item, gets back to step 6) until the pel in legal complete fault tree test item I3 was all traversed;
9) the test case set T3 of fault tree test item is returned.
Other step and parameter identical with one of embodiment one to six.
Embodiment eight: present embodiment and one of embodiment one to seven unlike: the Black-box testing Cases set automatically generating cause-and-effect diagram test item corresponding according to Testing criteria and Test cases generation algorithm in described step 3 is specially:
Algorithm inputs: cause-and-effect diagram CD, legal complete cause-and-effect diagram test item I4
Algorithm exports: the test case set T4 of cause-and-effect diagram test item
Algorithmic procedure:
1) in legal complete cause-and-effect diagram test item I4, traversal obtains all bottom essential factor W4 of I4;
2) the test case set T4 making cause-and-effect diagram test item is empty set;
3) all bottom essential factor W4 are traveled through one by one, if current bottom essential factor is W4 [i];
4) whether there is according to the examination point of bottom essential factor W4 [i] and bottom essential factor the test case set M5 generating W4 [i];
5) M5 is added the test case set T4 of cause-and-effect diagram test item, gets back to step 3) until all bottom essential factor W4 generated test use cases is combined into only;
6) the test case set T4 of cause-and-effect diagram test item is returned.
Other step and parameter identical with one of embodiment one to seven.
Embodiment nine: present embodiment and one of embodiment one to eight unlike: the Black-box testing Cases set automatically generating decision table test item corresponding according to Testing criteria and Test cases generation algorithm in described step 3 is specially:
Algorithm inputs: decision table DT
Algorithm exports: the test case set T5 of decision table test item
Algorithmic procedure:
1) all conditions metaaction unit combination W5 of decision table DT is obtained, so that based on the coverage criterion generating test use case set of condition metaaction unit;
2) the test case set T5 making decision table test item is empty set;
3) all conditions metaaction unit combination W5 is traveled through one by one, if current condition metaaction unit is combined as W5 [i];
4) W4 [i] is organized as a test case M6, the cooperation of condition tuple is test input, and action element is that test oracle exports;
5) M6 is added the test case set T5 of decision table test item, returns step 3) until all conditions metaaction unit combination W5 generated test case;
6) the test case set T5 of decision table test item is returned.
Other step and parameter identical with one of embodiment one to eight.
Embodiment:
For ease of understanding the Test cases technology process of various test item, draw various motion graphics for automatic saler system below.The motion graphics model that the present invention enumerates is all be nested among data flow diagram as shown in Figure 4, and data flow diagram is that the static structure of embedded software describes, and belongs to static model.
The use example of constitutional diagram as shown in Figure 5, automatic vending machine move back counterfeit money sequential chart as shown in Figure 6, as shown in Figure 7, the use example of decision table is as shown in Figure 8 for the use example of fault tree.
One, automatic saler system is a kind of self-service system, and when selling goods, client drops into coin in the coin slot of machine, utilizes complete coin to check state verification item; Wherein, described state verification item comprises the size of hardware check coin, weight, thickness and edge type;
Two, coin is verified: judge whether the size of coin, weight, thickness and edge type all meet the requirement of effective coin;
If not, then machine refusal accepts counterfeit money, and it is exited from moving back coin hole;
If so, then automatic saler system accepts coin, and after machine receives effective coin, coin is sent in coin storage, and the currency of customer payment adds up according to the face amount of coin;
Three, automatic vending machine is equipped with cargo allocation device, comprises zero or the identical goods of multiple price in each cargo allocation device, and client selects goods and quantity thereof by selecting cargo allocation device.If have enough goods in cargo allocation device, and the monetary value of customer payment is not less than the price of required goods, and goods will be assigned to goods transfer port and give client, and is restored to by suitable change and moves back coin hole.If divider does not have enough goods, then equal with the monetary value of customer payment coin will be sent back to and move back coin hole.If the monetary value of customer payment is less than the price of required goods, wait client is knocked down more currency by machine.If client determine do not buy selected goods, he throw in into currency will exit from moving back coin hole.Automatic saler system requires to move back counterfeit money and move back coin operation and must complete in 5s.
Claims (9)
1., based on a Black-box Testing of Embedded Software case generation method for dynamic model, it is characterized in that it realizes according to the following steps:
Step 1: adopt the expansion semanteme of the nested mechanism between constitutional diagram, sequential chart, fault tree, cause-and-effect diagram, decision table, figure and figure to build the motion graphics model of embedded software, to describe the dynamic test demand of embedded software;
Step 2: the motion graphics model built is verified, manually plans test item according to test purpose, automatically completion and validity decision are carried out to test item, finally fill in the title of test item;
Wherein, the completion of described test item is to reach " inside of test item is communicated with " for target, and the classical ergodic algorithm of the concrete figure of employing realizes, and generates complete test item the most at last;
Namely the validity decision of described test item requires must there is significant pel in complete test item, the meaningless pel of constitutional diagram comprises " initial state " and " final states ", the meaningless pel of fault tree comprises " line ", " with door " and disjunction gate, the meaningless pel of cause-and-effect diagram comprises " line ", if test item is made up of above-mentioned insignificant pel entirely, then will be judged as illegal;
Step 3: automatically generate Black-box testing Cases set corresponding to test item according to Testing criteria and Test cases generation algorithm, and test item and test use cases are incorporated into storehouse preservation;
The concrete manifestation in motion graphics model of described test item is the pel set be made up of one or more graphic element, be divided into constitutional diagram test item, sequential chart test item, fault tree test item, cause-and-effect diagram test item and decision table test item, often kind of corresponding corresponding Test cases generation algorithm of test item;
Step 4: manage existing test item and test case set, comprise interpolation, delete, revise and check operation, to improve the generation of test case set.
2. a kind of Black-box Testing of Embedded Software case generation method based on dynamic model according to claim 1, is characterized in that the nested mechanism between the figure in described step 1 is as follows:
(1) the nested sequential chart of the data mart modeling of data flow diagram;
(2) the state node nested condition figure of constitutional diagram, data flow diagram, fault tree, cause-and-effect diagram and decision table;
(3) the nested sub-fault tree of the bottom event of fault tree.
3. a kind of Black-box Testing of Embedded Software case generation method based on dynamic model according to claim 2, is characterized in that the expansion of the figure in described step 1 is semantic as follows:
(1) for the pel of constitutional diagram with the addition of test semanteme, comprise state node and add data variable, nested graphical nodes attribute;
(2) for the pel of sequential chart with the addition of test semanteme, comprise simple message and add guard condition, message content, type of message, message delay attribute;
(3) for the pel of fault tree, to the addition of test semantic, comprise bottom event and add CMP attribute: the quantificational description generation of bottom event;
(4) for decision table with the addition of test semanteme, comprise and automatically generate decision table according to logical expression, add the precondition of decision table.
4. a kind of Black-box Testing of Embedded Software case generation method based on dynamic model according to claim 3, is characterized in that the rule of motion graphics model checking in described step 2 is as follows:
(1) constitutional diagram only has an original state, and state does not allow to there is two or more direct transfers simultaneously;
(2) object of sequential chart comes from the data mart modeling of data flow diagram, data source point or data endpoint;
(3) fault trees only have a top event, and bottom event must use CMP attribute quantification to describe;
(4) cause-and-effect diagrams only have one main because of;
(5) in decision table, the condition unit of a regularization term and the equal non-NULL of action element.
5. a kind of Black-box Testing of Embedded Software case generation method based on dynamic model according to claim 4, is characterized in that the Black-box testing Cases set automatically generating constitutional diagram test item corresponding according to Testing criteria and Test cases generation algorithm in described step 3 is specially:
1) in legal complete constitutional diagram test item I1, based on migration, all test path set W1 from initial state to final states are obtained to coverage criterion and full ZOT path coverage criterion traversal;
2) the test case set T1 making constitutional diagram test item is empty set;
3) test path set W1 is traveled through one by one, if current test path is W1 [i];
4) the test case set M1 of test path W [i] is generated based on limit testing coverage criterion and predicate coverage criterion;
5) M1 is added in the test case set T1 of constitutional diagram test item, gets back to step 3) continue traversal until test path in test path set W1 all generated test use cases is only combined into;
6) the test case set T1 of return state figure test item.
6. a kind of Black-box Testing of Embedded Software case generation method based on dynamic model according to claim 5, is characterized in that the Black-box testing Cases set automatically generating sequential chart test item corresponding according to Testing criteria and Test cases generation algorithm in described step 3 is specially:
1) in legal complete sequential chart test item I2, traversal obtains all information test path W2, so that the set of Effect-based operation coverage criterion generating test use case;
2) the test case set T2 making sequential chart test item is empty set;
3) all information test path W2 are traveled through one by one, if current information test path is W2 [i];
4) the test case set M2 of the examination point of foundation information test path W [i] and the transmission timing of message and guard condition generation W [i];
5) M2 is added the test case set T2 of sequential chart test item, gets back to step 3) until information test path in all information test path W2 all generated test use cases is only combined into;
6) the test case set T2 of sequential chart test item is returned.
7. a kind of Black-box Testing of Embedded Software case generation method based on dynamic model according to claim 6, is characterized in that the Black-box testing Cases set automatically generating fault tree test item corresponding according to Testing criteria and Test cases generation algorithm in described step 3 is specially:
1) in legal complete fault tree test item I3, minimal cut set algorithm is adopted to obtain all minimal cut set W3 of fault tree, so that based on the set of minimal cut set coverage criterion generating test use case;
2) the test case set T3 making fault tree test item is empty set;
3) all minimal cut set W3 are traveled through one by one, if current minimal cut set is W3 [i];
4) whether there is according to the event of failure in the examination point of current minimal cut set W3 [i] and W3 [i] the test case set M3 generating W3 [i];
5) M3 is added in the test case set T3 of fault tree test item, gets back to step 3) until all minimal cut set W3 generated test use cases is combined into only;
6) pel in legal complete fault tree test item I3 is traveled through one by one, if current pel is I3 [j];
7) if I3 [j] is bottom event, the test case set M4 of I2 [j] is so generated according to the CMP attribute of bottom event I3 [j];
8) M4 is added in the test case set T3 of fault tree test item, gets back to step 6) until the pel in legal complete fault tree test item I3 was all traversed;
9) the test case set T3 of fault tree test item is returned.
8. a kind of Black-box Testing of Embedded Software case generation method based on dynamic model according to claim 7, is characterized in that the Black-box testing Cases set automatically generating cause-and-effect diagram test item corresponding according to Testing criteria and Test cases generation algorithm in described step 3 is specially:
1) in legal complete cause-and-effect diagram test item I4, traversal obtains all bottom essential factor W4 of I4;
2) the test case set T4 making cause-and-effect diagram test item is empty set;
3) all bottom essential factor W4 are traveled through one by one, if current bottom essential factor is W4 [i];
4) whether there is according to the examination point of bottom essential factor W4 [i] and bottom essential factor the test case set M5 generating W4 [i];
5) M5 is added the test case set T4 of cause-and-effect diagram test item, gets back to step 3) until all bottom essential factor W4 generated test use cases is combined into only;
6) the test case set T4 of cause-and-effect diagram test item is returned.
9. a kind of Black-box Testing of Embedded Software case generation method based on dynamic model according to claim 8, is characterized in that the Black-box testing Cases set automatically generating decision table test item corresponding according to Testing criteria and Test cases generation algorithm in described step 3 is specially:
1) all conditions metaaction unit combination W5 of decision table DT is obtained, so that based on the coverage criterion generating test use case set of condition metaaction unit;
2) the test case set T5 making decision table test item is empty set;
3) all conditions metaaction unit combination W5 is traveled through one by one, if current condition metaaction unit is combined as W5 [i];
4) W4 [i] is organized as a test case M6, the cooperation of condition tuple is test input, and action element is that test oracle exports;
5) M6 is added the test case set T5 of decision table test item, returns step 3) until all conditions metaaction unit combination W5 generated test case;
6) the test case set T5 of decision table test item is returned.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201410765293.2A CN104461887A (en) | 2014-12-11 | 2014-12-11 | Embedded software black-box test case generation method based on dynamic model |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201410765293.2A CN104461887A (en) | 2014-12-11 | 2014-12-11 | Embedded software black-box test case generation method based on dynamic model |
Publications (1)
Publication Number | Publication Date |
---|---|
CN104461887A true CN104461887A (en) | 2015-03-25 |
Family
ID=52907976
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201410765293.2A Pending CN104461887A (en) | 2014-12-11 | 2014-12-11 | Embedded software black-box test case generation method based on dynamic model |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN104461887A (en) |
Cited By (11)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN105677563A (en) * | 2016-01-05 | 2016-06-15 | 南昌航空大学 | Integrated test sequence generating method based on SysML module diagrams |
CN106569944A (en) * | 2016-10-14 | 2017-04-19 | 上海微小卫星工程中心 | Constraint-tree-based onboard software test data analysis method |
CN106951368A (en) * | 2017-03-12 | 2017-07-14 | 北京工业大学 | Automatic example generation method based on UML timing diagrams |
CN107608894A (en) * | 2017-09-22 | 2018-01-19 | 深圳航天科技创新研究院 | Software testing generation method, system and storage medium based on dynamic model |
CN107608895A (en) * | 2017-09-22 | 2018-01-19 | 深圳航天科技创新研究院 | Software testing generation method, system and storage medium based on static models |
CN108415846A (en) * | 2018-04-19 | 2018-08-17 | 挖财网络技术有限公司 | A kind of method and apparatus generating minimal automation test use cases |
CN109165124A (en) * | 2018-08-07 | 2019-01-08 | 南京翼辉信息技术有限公司 | A kind of embedded system hardware fault detection and processing method based on fault tree |
CN109739759A (en) * | 2018-12-28 | 2019-05-10 | 中核控制系统工程有限公司 | A method of verifying Black-box testing Cases design integrity |
CN110069410A (en) * | 2019-04-15 | 2019-07-30 | 上海微小卫星工程中心 | A kind of embedded satellite-borne Generation of software test case method based on Dynamic fault tree |
CN111258911A (en) * | 2020-02-13 | 2020-06-09 | 深圳航天科技创新研究院 | Software test case generation method, system and storage medium based on data driving and multiple coverage strategies |
CN115809203A (en) * | 2023-02-07 | 2023-03-17 | 杭州罗莱迪思科技股份有限公司 | Software test case dynamic nesting method, device and application thereof |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1521899A (en) * | 2003-01-28 | 2004-08-18 | 富士康(昆山)电脑接插件有限公司 | Electric coupler assembly |
CN102176200A (en) * | 2009-09-25 | 2011-09-07 | 南京航空航天大学 | Software test case automatic generating method |
US20130159774A1 (en) * | 2011-12-19 | 2013-06-20 | Siemens Corporation | Dynamic reprioritization of test cases during test execution |
CN103530228A (en) * | 2013-09-27 | 2014-01-22 | 西安电子科技大学 | Software testing method based on model |
CN103729293A (en) * | 2013-12-30 | 2014-04-16 | 华东师范大学 | GUI testing method based on UML activity diagrams |
-
2014
- 2014-12-11 CN CN201410765293.2A patent/CN104461887A/en active Pending
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1521899A (en) * | 2003-01-28 | 2004-08-18 | 富士康(昆山)电脑接插件有限公司 | Electric coupler assembly |
CN102176200A (en) * | 2009-09-25 | 2011-09-07 | 南京航空航天大学 | Software test case automatic generating method |
US20130159774A1 (en) * | 2011-12-19 | 2013-06-20 | Siemens Corporation | Dynamic reprioritization of test cases during test execution |
CN103530228A (en) * | 2013-09-27 | 2014-01-22 | 西安电子科技大学 | Software testing method based on model |
CN103729293A (en) * | 2013-12-30 | 2014-04-16 | 华东师范大学 | GUI testing method based on UML activity diagrams |
Non-Patent Citations (1)
Title |
---|
金义富等: "基于界面状态因果图的测试用例生成", 《计算机工程与应用》 * |
Cited By (13)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN105677563A (en) * | 2016-01-05 | 2016-06-15 | 南昌航空大学 | Integrated test sequence generating method based on SysML module diagrams |
CN106569944B (en) * | 2016-10-14 | 2019-12-13 | 上海微小卫星工程中心 | Constraint tree-based satellite-borne software test data analysis method |
CN106569944A (en) * | 2016-10-14 | 2017-04-19 | 上海微小卫星工程中心 | Constraint-tree-based onboard software test data analysis method |
CN106951368A (en) * | 2017-03-12 | 2017-07-14 | 北京工业大学 | Automatic example generation method based on UML timing diagrams |
CN107608894A (en) * | 2017-09-22 | 2018-01-19 | 深圳航天科技创新研究院 | Software testing generation method, system and storage medium based on dynamic model |
CN107608895A (en) * | 2017-09-22 | 2018-01-19 | 深圳航天科技创新研究院 | Software testing generation method, system and storage medium based on static models |
CN108415846A (en) * | 2018-04-19 | 2018-08-17 | 挖财网络技术有限公司 | A kind of method and apparatus generating minimal automation test use cases |
CN109165124A (en) * | 2018-08-07 | 2019-01-08 | 南京翼辉信息技术有限公司 | A kind of embedded system hardware fault detection and processing method based on fault tree |
CN109739759A (en) * | 2018-12-28 | 2019-05-10 | 中核控制系统工程有限公司 | A method of verifying Black-box testing Cases design integrity |
CN110069410A (en) * | 2019-04-15 | 2019-07-30 | 上海微小卫星工程中心 | A kind of embedded satellite-borne Generation of software test case method based on Dynamic fault tree |
CN111258911A (en) * | 2020-02-13 | 2020-06-09 | 深圳航天科技创新研究院 | Software test case generation method, system and storage medium based on data driving and multiple coverage strategies |
CN115809203A (en) * | 2023-02-07 | 2023-03-17 | 杭州罗莱迪思科技股份有限公司 | Software test case dynamic nesting method, device and application thereof |
CN115809203B (en) * | 2023-02-07 | 2023-04-25 | 杭州罗莱迪思科技股份有限公司 | Dynamic nesting method and device for software test cases and application of dynamic nesting method and device |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN104461887A (en) | Embedded software black-box test case generation method based on dynamic model | |
CN104375943A (en) | Embedded software black-box test case generation method based on static models | |
CN108108297A (en) | The method and apparatus of automatic test | |
CN107844424B (en) | Model-based testing system and method | |
CN104123369B (en) | A kind of implementation method of the configuration management Database Systems based on graphic data base | |
CN102341781B (en) | Software test bed generation | |
CN102236672B (en) | A kind of data lead-in method and device | |
US6941546B2 (en) | Method and apparatus for testing a software component using an abstraction matrix | |
CN109302522A (en) | Test method, device and computer system and medium | |
CN104866426A (en) | Software test integrated control method and system | |
CN102523030B (en) | Communication satellite effective load test system simulation platform | |
CN104391995A (en) | SQL (Structured Query Language) statement auditing method, and database operation and maintenance method and system | |
CN110928772A (en) | Test method and device | |
CN111125444A (en) | Big data task scheduling management method, device, equipment and storage medium | |
CN107103448A (en) | Data integrated system based on workflow | |
CN103646104A (en) | Hard real-time fault diagnosis method and system | |
CN109063785A (en) | charging pile fault detection method and terminal device | |
CN107861876A (en) | Method of testing, device, computer equipment and readable storage medium storing program for executing | |
CN110362562A (en) | The method and system of big data sample drawn data | |
CN106407830A (en) | Detection method and device of cloud-based database | |
CN112416369B (en) | Intelligent deployment method oriented to heterogeneous mixed environment | |
CN112148578A (en) | IT fault defect prediction method based on machine learning | |
CN105446952B (en) | For handling the method and system of semantic segment | |
CN107506194A (en) | Application version, which retracts, determines method and device | |
CN110008272B (en) | NoSQL database evaluation system for sensor data and construction method thereof |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
WD01 | Invention patent application deemed withdrawn after publication |
Application publication date: 20150325 |
|
WD01 | Invention patent application deemed withdrawn after publication |