CN104699613B - A kind of spacecraft-testing demand automatic creation system and its method - Google Patents
A kind of spacecraft-testing demand automatic creation system and its method Download PDFInfo
- Publication number
- CN104699613B CN104699613B CN201510134653.3A CN201510134653A CN104699613B CN 104699613 B CN104699613 B CN 104699613B CN 201510134653 A CN201510134653 A CN 201510134653A CN 104699613 B CN104699613 B CN 104699613B
- Authority
- CN
- China
- Prior art keywords
- test
- testing
- testing requirement
- demand
- class
- 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.)
- Expired - Fee Related
Links
Landscapes
- Debugging And Monitoring (AREA)
Abstract
The present invention is a kind of spacecraft-testing demand automatic creation system and its method, belongs to system testing field.The system includes testing requirement storehouse, uml model read module, measured target abstraction module and testing requirement and builds module;Testing requirement storehouse is by the testing requirement needed for each model system under test (SUT), subsystem, unit and the module of accumulation;Uml model read module is converted to XML format storage to the state transition graph based on UML and crosslinking figure;Measured target abstraction module extracts the test environment demand of measured target;Testing requirement, which builds module, to be used to build static test demand and dynamic testing requirement.Methods described is based on said system, and static test demand is built according to the class name of measured target, interface name and bus title, and dynamic testing requirement is built according to state transition graph.The present invention realizes the complete extraction for including information to spacecraft-testing demand model, automatically generates testing requirement, reduces repeated work, improves operating efficiency.
Description
Technical field
The invention belongs to system testing field, it is related to the system that a kind of testing requirement in spacecraft-testing is automatically generated
With method.
Background technology
Spacecraft is the real-time system that a kind of safety concerns.Testing requirement for spacecraft can both must describe to be tested
Function, the performance characteristic of system, can also describe the constraint of system.Testing requirement model is used to refer to lead after tester's development
Continuous test activity, the instrument for facilitating communication between tester and designer.Testing requirement document is that tester passes through
《Develop statement of requirements book》、《Interface control document》、《Design documentation》With《User's manual》Arrangement is got, and helps tester to set
Count out the document of the test closer to demand.Tester can also be helped accurately to understand the change of demand quickly to change
Testing scheme.
Due to typical case of the Space Vehicle System as high integration Complex Electronic Systems Based, its testing requirement reaches items up to ten thousand.It is existing
Some testing requirement generation methods concentrate on the static demand for how obtaining system under test (SUT), and existing in terms of dynamic need is obtained
Method is then excessively complicated, is not easy to tester and understands and use.Therefore in current engineering practice, because system is excessively multiple
Miscellaneous, tester generally tests experience manual compiling testing requirement document according to it.This greatly extend test job when
Between.In order to reduce repetitive operation, accelerate testing progress, realize that automatically generating for testing requirement is necessary.
The main research on testing requirement model has the survey towards UUT (Unit Under Test, tested module) at present
Demand model is tried, and based on model measurement demand model.Wherein towards UUT testing requirement model be mainly directed towards be test set
Standby and test cell, the pumping signal required for providing test by analyzing the logic of system under test (SUT), is to quilt from hardware view
Survey unit and carry out testing requirement modeling.Being based particularly on UML based on model, (Unified Modeling Language, standard is built
Mould language) testing requirement model, it mainly describes system under test (SUT) by state diagram and class figure, to the static knot of system under test (SUT)
Structure and dynamic structure carry out testing requirement modeling.But these work are all that based on theoretical research, only providing a kind of test needs
Modeling method is sought, tester still needs generates testing requirement by artificial mode.And how to be given birth to from testing requirement model
It is seldom into the real technology and method for meeting actual testing requirement.
The content of the invention
The present invention improves testing efficiency to reduce the time that tester chooses testing requirement.There is provided one kind towards
The testing requirement automation of spacecraft obtains system and method.The present invention is by analyzing State Transferring of the system under test (SUT) based on UML
The testing requirement model of figure and crosslinking figure, and according to system under test (SUT) rank and a kind of ergodic algorithm, find out the test of system under test (SUT)
Demand.The testing requirement being acquired can require to be transformed into the text output of different-format according to user.
Read the invention provides a kind of spacecraft-testing demand automatic creation system, including testing requirement storehouse, uml model
Module, measured target abstraction module and testing requirement build module.For tested spacecraft according to module level, unit level, point be
Irrespective of size and the system-level state transition graph drawn respectively based on UML and crosslinking figure.
Described testing requirement storehouse is by the survey needed for each model system under test (SUT), subsystem, unit and the module of accumulation
Examination demand, includes environmental testing demand storehouse, bus test demand storehouse and interface testing demand storehouse.The data structure in testing requirement storehouse
Including:Test product title, test product type, test product testing requirement, the interface name and interface type of test product,
And the bus title and bus type of test product association.
Described uml model read module extracts corresponding XML storages to the state transition graph based on UML and crosslinking figure and tied
Structure, and by state transition graph and crosslinking figure be converted to XML format model store., will be by the crosslinking graph model of XML format
Survey product to describe with class view, class view includes the connected mode and interface data between tested class, crosslinking class, class;Crosslinking
Include whether to be tested class, the ID of class, class name and the type of class, the attribute for the bus being connected with tested class in the attribute of graph model
Including bus ID, bus title and bus type, the interface data of class includes interface ID, interface name and interface type.
The function of described measured target abstraction module includes measured target test environment and extracted and measured target test wrapper
Border testing requirement inquiry.Measured target test environment is extracted:When testing requirement is module level or unit level, from friendship
All test products are chosen in connection graph model, each interface of the corresponding class name of test product and test product is therefrom extracted
Interface name;When testing requirement is system-level and subsystem level, all test products in traversal model are extracted and test product
Associated bus title, extracts the interface name of each interface of the corresponding class name of test product and test product;According to
Interface testing needed for test product title, bus title and the interface name being drawn into are filtered out from testing requirement storehouse is needed
Ask, bus test demand and environmental testing demand.Measured target test environment testing requirement is inquired about:According to class name and bus name
Title searches corresponding name of product from testing requirement storehouse, selects required environmental testing demand.
Described testing requirement, which builds module, to be used to build static test demand and dynamic testing requirement;Build static test
Demand refers to interface testing demand, bus test demand and environmental testing the demand output for obtaining measured target abstraction module.
Building the process of dynamic testing requirement is:Reading state changes graph model, travels through all state transition paths, each state is moved
Path is moved, since initial state, the succeeding state and transition condition of each state are found out successively, each state to selection adds
Plus the mark accessed, all state formation functional test demands for realizing transfer are listed, all transition conditions is listed and is formed
Constrain testing requirement, output function testing requirement and constraint testing requirement.
The invention provides a kind of spacecraft-testing demand automatic generation method, mainly comprise the following steps:
Step one:For spacecraft-testing, system, subsystem, the testing requirement of four ranks of unit and module are defined, it is right
Tested spacecraft is according to module level, unit level, subsystem level and the system-level state transition graph drawn respectively based on UML and crosslinking
Figure, extracts state transition graph and the corresponding XML storage organizations of crosslinking figure, and state transition graph and crosslinking figure are converted into XML lattice
The model storage of formula.
In the crosslinking graph model of XML format, test product is described with class view, class view includes tested class, handed over
Join the connected mode and interface data between class, class;Include whether to be tested class, the ID of class, class in the attribute for being crosslinked graph model
The type of name and class, the attribute for the bus being connected with tested class includes bus ID, bus title and bus type, the number of ports of class
According to including interface ID, interface name and interface type.
The logical construction of system under test (SUT) is converted into by serial, parallel, the unit such as selection and circulation constitutes the shape of XML format
State changes graph model;The XML format that the physical arrangement of system under test (SUT) is converted into being made up of units such as black box, interface and buses
It is crosslinked graph model.
Step 2:Judge current testing requirement rank, if rank is module level or unit level, read crosslinking graph model,
All test products in traversal crosslinking graph model, therefrom extract each interface of the corresponding class name of test product and test product
Interface name;If rank is system-level or subsystem level, all test products in crosslinking graph model, traversal model are read, from
It is crosslinked in graph model and extracts the bus title associated with test product, extracts the corresponding class name of test product and test product
Each interface interface name.
Step 3:According to the corresponding class name of the test product being drawn into, bus title and interface name from existing test
Interface testing demand, bus test demand and test environment testing requirement are filtered out in demand storehouse.
Step 4:Reading state changes graph model, is specifically:Since the initial state in state transition graph, look for successively
Go out the succeeding state and transition condition of each state, add the mark accessed in the state when selecting a succeeding state
Note.If a state there are more than two succeeding states, randomly select one and continue without the labeled state accessed,
Until running into final state, step 5 is then performed.
Step 5:Judge whether final state also has the path not traveled through.If in the presence of the path not traveled through, layback
The nearest bifurcation state of final state, performs step 4;If in the absence of the path not traveled through, performing step 6.
Step 6:Each state for realizing transfer is listed in functional test region, functional test demand is formed, has enumerated
Into rear execution step 7.
Step 7:Constraint testing requirement is listed successively in constraint test zone, and step 8 is performed after the completion of enumerating.
Step 8:Interface testing demand, bus test demand, environmental testing demand, functional test demand and constraint are surveyed
Examination demand, which merges, turns into the output of testing requirement analysis table.
Compared with prior art, advantages and positive effects of the present invention are:
(1) completeness:The present invention is realized to space flight by the complete definition of all types of testing requirement field of spacecraft
The complete extraction of information included in device testing requirement model.Survey has been ensured by the testing requirement document structure tree method of automation
Try the completeness of requirement documents content;
(2) ease for use:Testing requirement automatic creation system and its method given by the present invention is easy to use, with visual
Change module, can be operated in graphical interfaces, simple to operate easy-to-use, method interface interchange is easily used, convenient and other modules
It is integrated;
(3) versatility:A kind of spacecraft-testing demand automatic creation system proposed by the present invention and its method, actually should
Specific area engineering is directed in, crosslinking figure is obtained using the method and state transition graph model read interface is suitably repaiied
This area demand can be met by changing;
(4) practicality:In spacecraft-testing, due to the design feature of Practical Project, substantial amounts of static test demand tool
There is versatility, and dynamic testing requirement can be realized by systemic-function and analyzed, a kind of spacecraft-testing proposed by the present invention
Demand automatic creation system and its method, can be according to testing requirement auto-building model testing requirement, to helping tester
Understanding to system under test (SUT), reduces repeated work, facilitates testing requirement to write, and improves operating efficiency and is significant, can be with
Engineering actual demand is met, with certain practicality;
(5) it is compatible:The present invention is already allowed in different test levels in design, and is applied in different model system
Under use, realize that the testing requirement under different model is extracted automatically;Simultaneously can be according to different projects, different safe classes
The different testing requirement library file of selection carries out testing requirement extraction.
(6) reusability:The present invention employs UML to describe test product in design, by the way that UML is converted into
XML file is read out, and because UML and XML is the modeling method of standardization, the testing requirement automatic obtaining method has can
Durability.
(7) it is maintainable:The present invention takes interface type and test product type to the testing requirement in testing requirement storehouse
It is managed, tester's testing requirement storehouse can be facilitated.For different models, by by testing the new survey that experience is obtained
Examination demand knowledge is added into testing requirement storehouse.
(8) scalability:The present invention is that follow-up testing requirement document management is carried by defining test product ID and type
Document management foundation is supplied.
Brief description of the drawings
Fig. 1 is the structural representation of the testing requirement automatic creation system of the present invention;
Fig. 2 is the overall flow figure of the testing requirement automatic generation method of the present invention.
Specific implementation method
The present invention is described in detail below with reference to accompanying drawing and combination implementation.
According to the relevant knowledge of spacecraft-testing, the present invention defines four testing requirement ranks, including module level, unit
Level, subsystem level and it is system-level.Definition first level is system level testing demand model, and the second level is subsystem level testing requirement
Model, the third level is unit level testing requirement model, and the fourth stage is module level testing requirement model.
A kind of structure of testing requirement automatic creation system towards spacecraft as shown in figure 1, comprising testing requirement storehouse 1,
Uml model read module 2, measured target abstraction module 3 and testing requirement build module 4.
Testing requirement storehouse 1 is needed by the test needed for each model system under test (SUT), subsystem, unit and the module of accumulation
Ask, include environmental testing demand storehouse, bus test demand storehouse and interface testing demand storehouse.
Environmental testing demand storehouse is system under test (SUT), subsystem, unit and environmental testing needed for module.Bus test demand
Storehouse is bus test needed for system under test (SUT) and subsystem.Interface testing demand storehouse is system under test (SUT), subsystem, unit and mould
Interface testing needed for block.The data structure information in testing requirement storehouse includes:Test product title, test product type is tested
The bus title and bus type of product test demand, the interface name and interface type of test product, and test product association
Type.The interface type and test product type that the present invention takes are managed to the testing requirement in testing requirement storehouse, with convenient
Tester's testing requirement storehouse.For different types, the new testing requirement knowledge obtained by test experience is added into
Testing requirement storehouse
The major function of uml model read module 2 includes being crosslinked the UML moulds of view and State Transferring view for system under test (SUT)
Type structure extraction, and store uml model according to the model construction of extraction.
Uml model structure extraction:UML crosslinkings figure and state transition graph are defined as follows.
1st, UML is crosslinked graph model:
Crosslinking graph model describes the physical arrangement of system under test (SUT), it is thus necessary to determine that:(1) other associated with system under test (SUT)
Equipment or system;(2) connected mode between system under test (SUT) and environment;(3) interactive information between system under test (SUT) and environment, bag
Include data type, data format and content of information etc..
Test product is described with class view, and class view includes:Connected mode between tested class, crosslinking class, class and
Interface data.When carrying out module level test, the object in class figure is module;When carrying out unit level test, pair in class figure
As for be tested unit;When carrying out subsystem level test, the object in class figure is the module included by subsystem, unit and company
Connect bus;When carrying out system level testing, each subsystem that the object of class figure is included by system, outside each subsystem
The bus that is connected with module and by each object of unit.The interface data of class includes interface ID, interface name and interface class
Type.
2nd, UML State Transferrings graph model:
Dynamic behaviour to system on the basis of system under test (SUT) static structure class figure is described, and draws State Transferring
Figure.State transition graph describes the logical construction of system under test (SUT), and a state transition graph should include state, migration, time and dynamic
Make.
The element of state transition graph includes:State, concurrent, connection, branch, starting point, terminal and migration.Wherein migration includes
Migration source state, migrates dbjective state, and migration trigger condition (constraint).Migration trigger condition includes:Time-constrain Time, refers to
Order constraint Instruction.Instruction bound data structure includes:Receive is received, Send is sent, judges Judge and wait
Wait etc..
After the definition to uml model, uml model is defined as follows to XML conversions:
Crosslinking figure is used in xml<Interaction:Class>Represent, its attribute<Interaction:Porperty>Bag
Whether included is tested class<Ineraction:Test>, the ID of class<Interaction:ID>, the title of class<
Interaction:Name>With the type of class<Interaction:Type>.
The XML structure level for being crosslinked graph model is as follows:
Wherein, class name<Interaction:Name>The attribute of interface name is described, such as 1553B EBIs, COM connects
Mouthful, RJ45 interfaces, SMP interfaces etc.;Type<Interaction:Type>The type of interface, such as 1553B EBIs are described
Type should be Bus, and the type of SMP interfaces should be Inter etc., and type just has corresponding bus for Bus interface, carried out
Bus test.
Crosslinking graph model in bus definition be:
State transition graph is used in xml<State:StateChart>Represent, contain state<State:States>With
Migration<State:Transition>, the XML structure of state transition graph is as follows:
The data structure definition of wherein state is:
The data structure definition of state transition is:
The data structure definition of variable in migration is:
By defined above, UML is crosslinked the XML storage organizations of figure and State Transferring graph model by uml model read module 2
After extraction, the uml model of reading can be stored in XML file.As there is undefined pel in uml model, then illustrate it
There is mistake in model, report prompting should being sent to testing requirement writer, it is changed.
Measured target abstraction module 3 includes the extraction of measured target test environment and measured target test environment testing requirement is looked into
Ask.When module level or unit level testing requirement are write in testing requirement writer selection, chosen from the XML file of storage
<Interaction:Bus>With<Ineraction:Test>Analyzed for True class.Pass through the type Type of interface tax
It is worth the testing requirement that correspondence system under test (SUT) is extracted from environmental testing demand storehouse, while passing through bus type BusType assignment
The testing requirement of correspondence system under test (SUT) is extracted from interface testing demand storehouse.When subsystem is write in testing requirement writer selection
Or during system-level testing requirement, then should choose all classes and be analyzed.Needed by Type assignment from environmental testing
The environmental testing demand that correspondence system under test (SUT) is extracted in storehouse is sought, while being needed respectively from interface requirements storehouse and bus by BusType
Storehouse is asked to extract the testing requirement of correspondence system under test (SUT).Measured target abstraction module 3 will be existing in measured target and testing requirement storehouse
Testing requirement set up incidence relation, by, come search need storehouse, being needed to class name and bus title with being drawn into complete test
Seek data.
The inquiry of measured target test environment testing requirement is the class name according to test product<Interaction:Name>With
Bus title<Interaction:BusName>Corresponding name of product is searched from testing requirement storehouse, required ring is selected
Border testing requirement project, such as high/low temperature are tested, electromagnetic compatibility (EMC) test etc..
Testing requirement builds module 4 and built comprising static test demand structure and dynamic testing requirement.Static test demand
It is the environmental testing demand obtained when being extracted by measured target, the set of interface testing demand and bus test demand.
Dynamic testing requirement is considered the testing requirement of systemic-function, and the migration each time of system mode just can be with
It is considered as a kind of realization of systemic-function, therefore the project of dynamic testing requirement is included:
Whether the 1st, once migration of the system mode from source state to dbjective state can realize, i.e. functional test demand;
2nd, whether transition condition is observed when system mode is migrated successfully, that is, constrains testing requirement.
Building the process of dynamic testing requirement is:Reading state changes graph model, all state transition paths is traveled through, to every
Individual state transition path, since initial state, finds out the succeeding state and transition condition of each state, to the every of selection successively
The mark that individual state addition had been accessed, lists all state formation functional test demands for realizing transfer, lists all migrations
Condition formation constraint testing requirement, output function testing requirement and constraint testing requirement.
A kind of spacecraft-testing demand automatic creation system provided with reference to the present invention, spacecraft-testing of the invention is needed
Automatic generation method is sought, as shown in Fig. 2 below to realizing that step is specifically described.
Step one:For spacecraft-testing, system, subsystem, the testing requirement of four ranks of unit and module, profit are defined
With UML instruments to tested spacecraft according to module level, unit level, subsystem level and system-level is drawn build based on UML's respectively
State transition graph and crosslinking are schemed.The logical construction of system under test (SUT) is converted into by serial, parallel, the unit such as selection and circulation is constituted
The State Transferring graph model of XML format;The physical arrangement of system under test (SUT) is converted into be made up of units such as black box, interface and buses
XML format crosslinking graph model.
If state transition graph or crosslinking figure can not be converted to XML format, tester to can not conversion portion repair
Changed again after changing.
The uml model used, can be by changing state transition graph and crosslinking figure drawn in development process
Obtain, to avoid repetitive work.
Step 2:Judge current test grades, if rank is module level or unit level, read crosslinking graph model, traversal
All test products in graph model are crosslinked, the interface of each interface of the corresponding class name of test product and test product is therefrom extracted
Title;If rank is system-level or subsystem level, all test products in crosslinking graph model, traversal crosslinking graph model are read,
The bus title associated with test product is extracted from crosslinking graph model, the corresponding class name of test product and test product is extracted
Each interface interface name.
More specifically, when extracting data, the ID, class name and class of corresponding class type are extracted to test product, to quilt
Each interface for surveying product extracts interface name, interface ID and interface type.To associated tested total line extraction bus title,
Bus ID and bus type.
For module level or unit level, test product refers to be crosslinked the module or unit included in graph model.For
System-level or subsystem level, test product refers to the subsystem included in model, and independently of the unit that subsystem is present
And module.
Step 2 implements process:First, what the static test demand that tester's mark is imported to be analyzed is which
The testing requirement of one rank, if module level or unit level testing requirement, then traversal is crosslinked the class in graph model, by tested mould
Block or the corresponding class of tested unit are added under testing requirement catalogue, the bus message in the graph model of traversal crosslinking afterwards, by institute
There are tested module or the connected bus of tested unit to be added under testing requirement catalogue;If subsystem level or system level testing
Demand, then the class in traversal crosslinking graph model, testing requirement is added to by class all in tested subsystem or system under test (SUT)
Under catalogue, afterwards traversal crosslinking graph model in bus message, the bus that all tested subsystems or system under test (SUT) are included and
EBI is added under testing requirement catalogue.
Step 3:According to the class name for the test product being drawn into, bus title and interface name are from existing testing requirement
Interface testing demand, bus test demand and environmental testing demand are filtered out in storehouse.By step 3, by what is extracted
Measured target sets up incidence relation with existing testing requirement in testing requirement storehouse, and the testing requirement screened record is existed
Buffering area.
When carrying out data screening in testing requirement storehouse, the data being related to include:The corresponding class name of test product, the class of class
Type, applicable safe class and testing requirement grade.
The physics built required for interface testing and bus test is described in interface testing demand and bus test demand
The support circuit of environmental testing demand, such as periphery, supporting tester etc..And environmental testing requirement description test institute
Test under test under test under the environment needed, such as hot environment, low temperature environment, and complex electromagnetic environment.
If not inquiring the testing requirement of correspondence test product, bus and/or interface in existing testing requirement storehouse, need
Want tester to update testing requirement storehouse, then chosen again.
The step of building static test demand is as follows:
Step a, the environmental testing part that the environmental testing demand inquired is output to testing requirement;
Step b, the interface testing part that the interface testing demand inquired is output to testing requirement;
Step c, the bus test part that the bus test demand inquired is output to testing requirement.
Step 4:Reading state changes graph model, is specifically:Initial state in state transition graph starts, and finds out successively
The succeeding state and transition condition of each state, a flag mark is then added in the state and represents to have accessed.If one
Individual state has multiple succeeding states, then randomly selects one and continue without marked state, until running into final state, hold
Row step 5.
Step 5:Judge whether final state also has the path not traveled through, if in the presence of the path not traveled through, layback
The nearest bifurcation state of final state, performs step 4;If in the absence of the path not traveled through, performing step 6.
Step 6:Each state for realizing transfer is listed in functional test region, as functional test demand has been enumerated
Into rear execution step 7.Specifically, needed the forerunner's state and successor states of each state transition as a functional test
Ask and recorded buffering area.
Step 7:Buffering area is recorded using each state transition condition as an item constraint testing requirement, is surveyed in constraint
Constraint testing requirement is listed in examination region successively, and step 8 is performed after the completion of enumerating.
Functional test demand and constraint testing requirement, which merge, builds dynamic testing requirement, and specific steps four~seven can be by such as
Lower process is realized:
Step 1, state transition graph is stored in an adjacency matrix M.
In step 2, traversal adjacency matrix, the set L that all state transition paths are existed to a chained list.Ergodic algorithm
False code is as follows:
By process above, ergodic state transition diagram has in all state transition paths in chained list L.
Step 3, by each migration source state and dbjective state be stored in an array A [i] [j], A [i] [j] data
Structure should be (Source, Target), and Source represents the source state of migration, and Target represents the dbjective state of migration.
Step 4, each state transition condition is extracted, and preserved.
Step 5, each state transition record in array A is sequentially output the functional test part of testing requirement.
Step 6, the constraint part of detecting that each single item transition condition of preservation record is sequentially output to testing requirement.
Step 8:Interface testing demand, bus test demand, environmental testing demand, functional test demand and constraint are surveyed
Examination demand, which merges, turns into testing requirement analysis table, terminates this method.
In step 8, to submitting the step of buffering area is stored three, step 6 and seven obtained testing requirements, first remove wherein
Redundant operation, obtained testing requirement is then submitted to database again, and update the data storehouse, and export according to user's request
Testing requirement.Pass through above step, it is possible to achieve the testing requirement of spacecraft is obtained automatically.
Claims (3)
1. a kind of spacecraft-testing demand automatic creation system, it is characterised in that for spacecraft-testing, definition system, point it is
System, the testing requirement of four ranks of unit and module, and to tested spacecraft is according to module level, unit level, subsystem level and is
Irrespective of size draws state transition graph and crosslinking figure based on UML respectively;
Described spacecraft-testing demand automatic creation system is taken out including testing requirement storehouse, uml model read module, measured target
Modulus block and testing requirement build module;
Described testing requirement storehouse is needed by the test needed for each model system under test (SUT), subsystem, unit and the module of accumulation
Ask, include environmental testing demand storehouse, bus test demand storehouse and interface testing demand storehouse;The data structure bag in testing requirement storehouse
Include:Test product title, test product type, test product testing requirement, the interface name and interface type of test product, with
And the bus title and bus type of test product association;
Described uml model read module extracts corresponding XML storage organizations to the state transition graph based on UML and crosslinking figure,
And state transition graph and crosslinking figure are converted to the model storage of XML format;, will be tested in the crosslinking graph model of XML format
Product is described with class view, and class view includes the connected mode and interface data between tested class, crosslinking class, class;Crosslinking figure
Include whether to be tested class, the ID of class, class name and the type of class, the attribute bag for the bus being connected with tested class in the attribute of model
Bus ID, bus title and bus type are included, the interface data of class includes interface ID, interface name and interface type;
The function of described measured target abstraction module includes measured target test environment and extracted and the survey of measured target test environment
Examination demand is inquired about;Measured target test environment is extracted:When testing requirement is module level or unit level, from crosslinking artwork
All test products are chosen in type, the interface name of each interface of the corresponding class name of test product and test product is therefrom extracted
Claim;When testing requirement is system-level or subsystem level, all test products in traversal model are extracted associated with test product
Bus title, extract the interface name of each interface of the corresponding class name of test product and test product;According to being drawn into
The corresponding class name of test product, bus title and interface name filtered out from testing requirement storehouse needed for interface testing need
Ask, bus test demand and environmental testing demand;Measured target test environment testing requirement is inquired about:According to class name and bus name
Title searches corresponding name of product from testing requirement storehouse, selects required environmental testing demand;
Described testing requirement, which builds module, to be used to build static test demand and dynamic testing requirement;Build static test demand
Refer to interface testing demand, bus test demand and environmental testing the demand output for obtaining measured target abstraction module;Build
The process of dynamic testing requirement is:Reading state changes graph model, all state transition paths is traveled through, to each state transition road
Footpath, since initial state, finds out the succeeding state and transition condition of each state successively, and each state to selection is added
The mark accessed, lists all state formation functional test demands for realizing transfer, lists all transition condition formation constraints
Testing requirement, output function testing requirement and constraint testing requirement.
2. a kind of method automatically generated towards spacecraft-testing demand, it is characterised in that comprise the following steps:
Step one:For spacecraft-testing, system, subsystem, the testing requirement of four ranks of unit and module are defined, to tested
Spacecraft according to module level, unit level, subsystem level and the system-level state transition graph drawn respectively based on UML and crosslinking figure,
State transition graph and the corresponding XML storage organizations of crosslinking figure are extracted, and state transition graph and crosslinking figure are converted into XML format
Model is stored;
In the crosslinking graph model of XML format, test product is described with class view, class view include tested class, crosslinking class,
Connected mode and interface data between class;Include whether to be tested class, the ID of class, class name and class in the attribute for being crosslinked graph model
Type, the attribute of the bus being connected with tested class includes bus ID, bus title and bus type, and the interface data of class includes
Interface ID, interface name and interface type;
Step 2:Judge current testing requirement rank, if rank is module level or unit level, read crosslinking graph model, traversal
All test products in graph model are crosslinked, the interface of each interface of the corresponding class name of test product and test product is therefrom extracted
Title;If rank is system-level or subsystem level, all test products in crosslinking graph model, traversal crosslinking graph model are read,
Extract the bus title associated with test product from model, the corresponding class name of extraction test product and test product it is each
The interface name of individual interface;
Step 3:Sieved according to the corresponding class name of the test product being drawn into, bus title and interface name from testing requirement storehouse
Select interface testing demand, bus test demand and environmental testing demand;
Step 4:Reading state changes graph model, is specifically:Since the initial state in state transition graph, find out successively each
The succeeding state and transition condition of individual state, the mark accessed is added when selecting a succeeding state in the state;
If a state there are more than two succeeding states, randomly select one and continue without the labeled state accessed, directly
To final state is run into, step 5 is then performed;
Step 5:Judge whether final state also has the path not traveled through, if in the presence of the path not traveled through, layback is terminated
The nearest bifurcation state of state, performs step 4;If in the absence of the path not traveled through, performing step 6;
Step 6:Each state for realizing transfer is listed in functional test region, functional test demand is formed;
Step 7:Constraint testing requirement is listed successively in constraint test zone;
Step 8:Interface testing demand, bus test demand, environmental testing demand, functional test demand and constraint test are needed
Merging is asked to turn into the output of testing requirement analysis table.
3. a kind of method automatically generated towards spacecraft-testing demand according to claim 2, it is characterised in that described
The step of two concrete methods of realizing be:First, what the static test demand that tester's mark is imported to be analyzed is which
The testing requirement of rank, if module level or unit level testing requirement, then the class in traversal crosslinking graph model, by tested module or
The tested corresponding class of unit is added under testing requirement catalogue, the bus message in the graph model of traversal crosslinking afterwards, by all quilts
Survey module or the connected bus of tested unit is added under testing requirement catalogue;If subsystem level or system level testing are needed
Ask, then the class in traversal crosslinking graph model, testing requirement mesh is added to by class all in tested subsystem or system under test (SUT)
Under record, the bus message in the graph model of traversal crosslinking afterwards, the bus that all tested subsystems or system under test (SUT) are included and total
Line interface is added under testing requirement catalogue.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201510134653.3A CN104699613B (en) | 2015-03-26 | 2015-03-26 | A kind of spacecraft-testing demand automatic creation system and its method |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201510134653.3A CN104699613B (en) | 2015-03-26 | 2015-03-26 | A kind of spacecraft-testing demand automatic creation system and its method |
Publications (2)
Publication Number | Publication Date |
---|---|
CN104699613A CN104699613A (en) | 2015-06-10 |
CN104699613B true CN104699613B (en) | 2017-08-04 |
Family
ID=53346766
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201510134653.3A Expired - Fee Related CN104699613B (en) | 2015-03-26 | 2015-03-26 | A kind of spacecraft-testing demand automatic creation system and its method |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN104699613B (en) |
Families Citing this family (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108052450A (en) * | 2017-12-15 | 2018-05-18 | 四川汉科计算机信息技术有限公司 | Avionic software integration test verification platform |
CN108388231B (en) * | 2018-03-09 | 2020-05-01 | 北京航空航天大学 | Airborne equipment test requirement generation method and airborne equipment test method |
CN108509197B (en) * | 2018-03-09 | 2020-08-21 | 北京航空航天大学 | Test requirement view generation method and ATE (automatic test equipment) test method |
CN108776632B (en) * | 2018-05-23 | 2021-06-01 | 中国电子科技集团公司第四十一研究所 | Signal-oriented self-checking flow automatic generation method, device, equipment and readable storage medium |
CN109120330B (en) * | 2018-08-07 | 2021-05-18 | 北京空间技术研制试验中心 | Remote inter-system joint test method for spacecrafts distributed in different places |
CN109992554B (en) * | 2019-03-12 | 2020-11-06 | 中国科学院国家空间科学中心 | Method for realizing 1553B bus communication protocol based on general Schema structure description |
CN113238952B (en) * | 2021-05-25 | 2022-07-12 | 中国科学院软件研究所 | Intelligent auxiliary guide test method and device based on application program state transition diagram |
CN113589050A (en) * | 2021-08-02 | 2021-11-02 | 西安兵标检测有限责任公司 | Capacitor test system and test method |
Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101025686A (en) * | 2007-03-22 | 2007-08-29 | 中兴通讯股份有限公司 | Automation test system and test script generating and operating method |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8365147B2 (en) * | 2008-02-27 | 2013-01-29 | Accenture Global Services Limited | Test script transformation architecture |
-
2015
- 2015-03-26 CN CN201510134653.3A patent/CN104699613B/en not_active Expired - Fee Related
Patent Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101025686A (en) * | 2007-03-22 | 2007-08-29 | 中兴通讯股份有限公司 | Automation test system and test script generating and operating method |
Non-Patent Citations (1)
Title |
---|
航天器测试需求描述及其自动生成;高世伟等;《北京航空航天大学学报,http://www.cnki.net/kcms/detail/11.2625.V.20150317.1635.004.html》;20150317;第1-12页 * |
Also Published As
Publication number | Publication date |
---|---|
CN104699613A (en) | 2015-06-10 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN104699613B (en) | A kind of spacecraft-testing demand automatic creation system and its method | |
CN102341781B (en) | Software test bed generation | |
CN110287097A (en) | Batch testing method, device and computer readable storage medium | |
CN104866426A (en) | Software test integrated control method and system | |
CN103473171A (en) | Coverage rate dynamic tracking method and device based on function call paths | |
CN109739766A (en) | A kind of system and method for fast construction FPGA digital simulation model | |
JP2012256323A (en) | Systems and methods for creating intuitive context for analysis data | |
CN105808428A (en) | Method for performing unified performance test on distributed file system | |
CN103617117B (en) | A kind of based on aviation embedded software test knowledge base system | |
CN101847169A (en) | The interactive simplification of the schematic diagram of integrated circuit (IC) design | |
CN106648682B (en) | A kind of dynamic data general framework of embedded system exploitation | |
CN107741903A (en) | Application compatibility method of testing, device, computer equipment and storage medium | |
CN103955429B (en) | Determine the method and device of regression test scope | |
CN104899141B (en) | A kind of test cases selection and extending method of network-oriented application system | |
CN109408528A (en) | A kind of database script generation method, device, computing device and storage medium | |
CN103744647A (en) | Java workflow development system and method based on workflow GPD | |
US9524366B1 (en) | Annotations to identify objects in design generated by high level synthesis (HLS) | |
CN103455896A (en) | Paperless assembling quality control method based on internet of things | |
CN114328278B (en) | Distributed simulation test method, system, readable storage medium and computer equipment | |
CN106126416A (en) | A kind of service combination path derivation method based on flow process layout | |
CN115113927A (en) | Register model processing method and device, computer equipment and storage medium | |
CN103425795A (en) | Radar data analyzing method based on cloud calculation | |
CN108829903B (en) | Method and system for judging consistency of codes of FPGA redundant design and integrated circuit | |
CN105302547A (en) | Fault injection method for Verilog HDL design | |
CN103345400B (en) | Data processing method and device |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant | ||
TR01 | Transfer of patent right | ||
TR01 | Transfer of patent right |
Effective date of registration: 20210714 Address after: 100191 1408-024, 14th floor, shining building, 35 Xueyuan Road, Haidian District, Beijing Patentee after: Beijing precision digital intelligent technology Co.,Ltd. Address before: 100191 No. 37, Haidian District, Beijing, Xueyuan Road Patentee before: BEIHANG University |
|
CF01 | Termination of patent right due to non-payment of annual fee | ||
CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20170804 Termination date: 20210326 |