CN107608895A - Software testing generation method, system and storage medium based on static models - Google Patents
Software testing generation method, system and storage medium based on static models Download PDFInfo
- Publication number
- CN107608895A CN107608895A CN201710868048.8A CN201710868048A CN107608895A CN 107608895 A CN107608895 A CN 107608895A CN 201710868048 A CN201710868048 A CN 201710868048A CN 107608895 A CN107608895 A CN 107608895A
- Authority
- CN
- China
- Prior art keywords
- test
- document
- static models
- embedded software
- static
- 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
- Stored Programmes (AREA)
Abstract
The invention discloses a kind of embedded software test document structure tree method, system and storage medium based on static models, this method formulates the document template with Freemarker grammatical markers；Use structural workflow net, using the static models of the semantic structure embedded software of the expansion of DFD, fault tree, cause-and-effect diagram mechanism nested between decision table and figure and figure, test case corresponding to according to graphical model planning test item and generating test item, test item and test case set are stored in the form of database, test document is automatically generated based on static models.The testing requirement of static state is implemented among static models by the present invention, the testing requirement tracking of static state can be easily carried out, automatically generate specification, standardization testing requirement and test specification document, improve document related content it is inconsistent and lack integrality the problems such as, improve operating efficiency.
Description
Technical field
The present invention relates to mathematics library field, more particularly to a kind of embedded software test document based on static models
Generation method, system and storage medium.
Background technology
At present, the software that the research and development for embedded software, test and process management are still driven with traditional document is opened
Based on forwarding method, demand and design documentation, and hand-coding code and test case are write using a large amount of manpowers, while to ensure
Software quality and document and code caused by software development each stage are evaluated using a large amount of manpowers, Walkthrough and test.It is soft
Part quality assurance effect depends on document to demand with designing the levels of precision described and reviewer to the careful of documentation review
Degree, but the shortcomings that the inexactness of natural language and labor management are difficult to avoid that careless omission so that it is this with a large amount of manpower works
Based on, non-automated, document centric software development methodology have that development efficiency is low, cost is high, girth
The problems such as phase is long, quality is difficult to ensure that, seriously constrains the development of the industries such as China's Aeronautics and Astronautics, automobile.
Wherein, the documents such as requirement specification document, design documentation, testing requirement are write as programmer's headache the most
Thing.Writing document has problems with present：
(1) document is not complete, related content is inconsistent, lacks integrality；
(2) artificial careless omission, brings artificial property mistake；
(3) information of document storage can not be carried out continuous, compulsory, complete, regular to the test activity of " artificial "
The restriction and guidance of change；
(5) information of document storage does not utilize situations such as outputting result of previous stage to greatest extent.
To sum up, in order to shorten the lead time of China's model number software conscientiously, lifting reliance security is, it is necessary in state
On border under this graphical, development of automation method main trend, the existing technology of absorption and achievement in research of criticism, and according to
China's model number software Development Techniques state and standard, transform, supplement and improve existing theoretical, technology and instrument, develop it is practical,
Easy-to-use, effective a set of technical system and instrument is accordingly supported, so as to effectively lift the R＆D capability of model number software.
The content of the invention
It is a primary object of the present invention to provide a kind of embedded software test document structure tree method based on static models,
System and storage medium, among the testing requirement of static state being implemented in into static models, static state can be easily carried out
Testing requirement is followed the trail of, and is automatically generated specification, standardization testing requirement and test specification document, is improved document related content not
The problems such as consistent and shortage integrality, improve operating efficiency.
To achieve the above object, a kind of embedded software test document structure tree side based on static models provided by the invention
Method, the embedded software test document structure tree method based on static models comprise the following steps：
S1：Formulate the document template with Freemarker grammatical markers；
S2：Using structural workflow net, using the nested mechanism and the expansion language of figure between default chart and figure
The static models of justice structure embedded software, the default chart include：In DFD, fault tree, cause-and-effect diagram and decision table
One or more；
S3：Test case corresponding to according to graphical model planning test item and generating test item, using the form of database
Store test item and test case set；
S4：Test document is automatically generated based on the static models.
Wherein, in step sl, the document template is Word document template, and Word document template is saved as into XML texts
Part, and Freemarker marks are carried out, obtain the document template that form is .ftl.
Wherein, in step s 2, the static models of the embedded software are stored in the form of XML document.
Wherein, in step s 2, the nested mechanism between the figure is as follows：
(1) DFD layering structure, the data mart modeling of DFD can nested subdata flow graph；
(2) data mart modeling of DFD can be with nested fault tree, cause-and-effect diagram and decision table；
(3) bottom event of fault tree can nested sub- fault tree.
Wherein, in step s 2, the expansion of the figure is semantic as follows：
(1) pel of DFD with the addition of necessary test semanteme, specifically include：Data mart modeling addition inverse program,
Time-domain, hardware and interruption attribute；
(2) the necessary test of pel addition of fault tree is semantic, specifically includes：Bottom event adds CMP attributes；
(3) the necessary test of decision table addition is semantic, specifically includes：Decision table is automatically generated according to logical expression, added
Add the precondition of decision table.
Wherein, in step s 4, the test document is Word document, and is realized and surveyed based on Freemarker template engines
Try document structure tree.
Wherein, in the step S4, " template+data model=output " formula is applied mechanically, show that " test item+test needs
Seek specification document template=testing requirement specification document ", " test item/test case+configuration item test specification document
Template=configuration item test specification document ", wherein, picture, test item set and test case derived from graphical model will be based on
The grammatical markers in document template is replaced in set, obtains required test document.
The present invention also proposes a kind of embedded software test document creating system based on static models, including：Memory,
Processor and the computer program that can be run on the memory and on the processor is stored in, the computer program quilt
The step of method as described above is realized during the computing device.
The present invention also proposes a kind of computer-readable recording medium, and calculating is stored with the computer-readable recording medium
Machine program, the step of computer program realizes method as described above when being executed by processor.
Compared with prior art, the beneficial effects of the invention are as follows：(1) can be in the early detection of embedded software life cycle
More mistakes, because when creating the static test pattern of embedded software, test designer can have found priginal soft demand
Or some inconsistent or incomplete information in system model；(2) static testing requirement is present among static models, and mould
Type has very strong tracing back property, therefore can be easily carried out the testing requirement tracking of static state；(3) model can reuse, so
The duplication of labour can be reduced, makees efficiency in raising；(4) using the document template with Freemarker grammatical markers, realize not
The regular preservation for changing content and formatted data, so greatly facilitate user and change at any time, and without worrying the fortune of program
Row problem；(5) improve the problem of document related content is inconsistent, because after model modification, test document can be regenerated；
(6) specification, standardization document is automatically generated, reduces the mistake manually write and brought, improves operating efficiency.
Brief description of the drawings
Fig. 1 is the schematic flow sheet of the embedded software test document structure tree method of the invention based on static models.
The realization, functional characteristics and advantage of the object of the invention will be described further referring to the drawings in conjunction with the embodiments.
In order that technical scheme is clearer, clear, it is described in further detail below in conjunction with accompanying drawing.
Embodiment
It should be appreciated that the specific embodiments described herein are merely illustrative of the present invention, it is not intended to limit the present invention.
Because in the prior art, research and development, test and process management for embedded software are still driven with traditional document
Based on dynamic software development methodology, demand and design documentation, and hand-coding code and test case are write using a large amount of manpowers,
Development efficiency be present in this software development methodology based on a large amount of manual works, non-automated, document centric
Lowly, the problems such as cost is high, the cycle is long, quality is difficult to ensure that.
The present invention provides a kind of test document generation method based on static models, and this method provides the automatic of two kinds of documents
Generation：Testing requirement specification document and configuration item test specification document, belong to mathematics library field.The method of the present invention
Comprise the following steps：Formulate the document template with Freemarker grammatical markers；Using structural workflow net, using data
The semantic structure embedded software of the expansion of flow graph, fault tree, cause-and-effect diagram mechanism nested between decision table and figure and figure
Static models；Test case corresponding to according to graphical model planning test item and generating test item, using the form of database
Store test item and test case set；Automatically generate test document.The testing requirement of static state is implemented in static mould by the present invention
Among type, the testing requirement tracking of static state can be easily carried out；Specification, standardization testing requirement can be automatically generated
With test specification document, improve document related content it is inconsistent and lack integrality the problems such as, improve operating efficiency
Specifically, as shown in figure 1, the present invention proposes a kind of embedded software test document structure tree side based on static models
Method, the embedded software test document structure tree method based on static models comprise the following steps：
S1：Formulate the document template with Freemarker grammatical markers；
S2：Using structural workflow net, using the nested mechanism and the expansion language of figure between default chart and figure
The static models of justice structure embedded software, the default chart include：In DFD, fault tree, cause-and-effect diagram and decision table
One or more；
S3：Test case corresponding to according to graphical model planning test item and generating test item, using the form of database
Store test item and test case set；
S4：Test document is automatically generated based on the static models.
Wherein, test document of the present invention is Word document.
The present invention is further improved, and in above-mentioned steps S1, Word document template is saved as into XML file, and carry out
Freemarker is marked, and obtains the document template that form is .ftl.
The present invention is further improved, and in step s 2, the static models of the embedded software use the shape of XML document
Formula is stored.Nested mechanism between the figure is as follows：
(1) DFD is layering structure, and the data mart modeling of DFD can nested subdata flow graph；
(2) data mart modeling of DFD can be with nested fault tree, cause-and-effect diagram and decision table；
(3) bottom event of fault tree can nested sub- fault tree.
The expansion of the figure is semantic as follows：
(1) pel of DFD with the addition of necessary test semanteme, as data mart modeling with the addition of inverse program, time
The attributes such as domain, hardware and interruption；
(2) pel of fault tree with the addition of necessary test semanteme, (quantitatively be described as bottom event with the addition of CMP attributes
The generation of bottom event)；
(3) decision table with the addition of necessary test semanteme, such as automatically generate decision table according to logical expression, addition judges
Precondition of table etc..
The present invention is further improved, and in step s 4, the test document is Word document, and is based on Freemarker
Template engine realizes that test document generates." template+data model=output " formula is applied mechanically, draws " test item+testing requirement rule
Lattice illustrate document template=testing requirement specification document ", " test item/test case+configuration item test specification document template
=configuration item test specification document ".Therefore, data (are based on picture, test item set and test case derived from graphical model
Set etc.) replace document template in grammatical markers, obtain required test document.
Compared with prior art, the beneficial effects of the invention are as follows：(1) can be in the early detection of embedded software life cycle
More mistakes, because when creating the static test pattern of embedded software, test designer can have found priginal soft demand
Or some inconsistent or incomplete information in system model；(2) static testing requirement is present among static models, and mould
Type has very strong tracing back property, therefore can be easily carried out the testing requirement tracking of static state；(3) model can reuse, so
The duplication of labour can be reduced, makees efficiency in raising；(4) using the document template with Freemarker grammatical markers, realize not
The regular preservation for changing content and formatted data, so greatly facilitate user and change at any time, and without worrying the fortune of program
Row problem；(5) improve the problem of document related content is inconsistent, because after model modification, test document can be regenerated；
(6) specification, standardization document is automatically generated, reduces the mistake manually write and brought, improves operating efficiency.
The present invention program is described in detail below：
This example carries out formalized description using formalization method for embedded software, enters structure by DFD, failure
The embedded software graphical model of tree, cause-and-effect diagram and decision table composition, is then parsed to graphical model, with XML file tree
Shape structure is preserved.
Wherein, in step sl, Word document template is saved as into XML file, and carries out Freemarker marks, obtained
Form is .ftl document template.Freemarker marks are as follows：
(1) cycle labeling：<#list varList as vartemp>content</#list>
(2) general labeling：${propertyName}
Wherein varList represents the data acquisition system to be circulated, and vartemp represents data current in circulation,
PropertyName represents variable, and general labeling can use in cycle labeling, if for example, vartemp is an object,
Name is its attribute, then can show vartemp name property values using $ { vartemp.name } in the circulating cycle.
Edit Word document template when call format be：
(1) all items in form must belong to same circulating level；
(2) picture will possess general labeling, and the content of general labeling is the path of picture；
(3) each general labeling and the circulating level belonging to it have one-to-one relationship, it is impossible to across circulating level reading member
Plain label substance；
(4) ending of cycle labeling is necessary for WORD new line, and general labeling does not limit；
(5) content of cycle labeling and general labeling must can find unique correspondence in data.
In step s 2, the nested mechanism between the figure is as follows：
(1) DFD is layering structure, and the data mart modeling of DFD can nested subdata flow graph；
(2) data mart modeling of DFD can be with nested fault tree, cause-and-effect diagram and decision table；
(3) bottom event of fault tree can nested sub- fault tree.
In step s 2, the expansion of the figure is semantic as follows：
(1) pel of DFD with the addition of necessary test semanteme, as data mart modeling with the addition of inverse program, time
The attributes such as domain, hardware and interruption；
(2) pel of fault tree with the addition of necessary test semanteme, (quantitatively be described as bottom event with the addition of CMP attributes
The generation of bottom event)；
(3) decision table with the addition of necessary test semanteme, such as automatically generate decision table according to logical expression, addition judges
Precondition of table etc..
In step s 4, the test document is Word document, and realizes test text based on Freemarker template engines
Shelves generation." template+data model=output " formula is applied mechanically, draws " test item+testing requirement specification document template=survey
Try requirements specification document ", " test item/test case+configuration item test specification document template=configuration item test specification text
Shelves ".Therefore, data (being based on picture, test item set and test case set etc. derived from graphical model) are replaced into document mould
Grammatical markers in plate, obtain required test document.Specific algorithm is described as shown in algorithm 1 and algorithm 2.
Algorithm title：Algorithm 1
Input：Static models, testing requirement specification document template
Output：Testing requirement specification document
Process：
1) static models are obtained；
2) obtain tested software title and static models derived from picture；
3) set of all types test item is read from database, including functional test item, interface testing item, performance are surveyed
Item and surplus test item are tried, and obtains the priority specification of test item；
4) parse static models, the nested traversal since first floor DFD, obtain all static node of graph title and
Description.
5) testing requirement specification document template file is loaded based on FreeMarker；
6) output document path and title are set, and create testing requirement specification document files；
7) data obtained 2,3,4 replace the grammatical markers in document template, obtain required test document.
Algorithm title：Algorithm 2
Input：Static models, test specification document template
Output：Configuration item test specification document
Process：
1) static models are obtained；
2) title of tested software is obtained；
3) set of all types test item is read from database, including functional test item, interface testing item, performance are surveyed
Item and surplus test item are tried, and obtains test case set corresponding to test item；
4) FreeMarker load configurations item test specification document templates are based on；
6) output document path and title are set, and create configuration item test specification document files；
7) data obtained 2,3 replace the grammatical markers in document template, obtain required test document.
Compared with prior art, the beneficial effects of the invention are as follows：(1) can be in the early detection of embedded software life cycle
More mistakes, because when creating the static test pattern of embedded software, test designer can have found priginal soft demand
Or some inconsistent or incomplete information in system model；(2) static testing requirement is present among static models, and mould
Type has very strong tracing back property, therefore can be easily carried out the testing requirement tracking of static state；(3) model can reuse, so
The duplication of labour can be reduced, makees efficiency in raising；(4) using the document template with Freemarker grammatical markers, realize not
The regular preservation for changing content and formatted data, so greatly facilitate user and change at any time, and without worrying the fortune of program
Row problem；(5) improve the problem of document related content is inconsistent, because after model modification, test document can be regenerated；
(6) specification, standardization document is automatically generated, reduces the mistake manually write and brought, improves operating efficiency.
In addition, the present invention also proposes a kind of embedded software test document creating system based on static models, including：Deposit
Reservoir, processor and it is stored in the computer program that can be run on the memory and on the processor, the computer
The step of method as described above being realized when program is by the computing device.
The concrete principle of the present embodiment, refer to above-described embodiment, will not be repeated here.
In addition, the present invention also proposes a kind of computer-readable recording medium, stored on the computer-readable recording medium
There is the step of computer program, the computer program realizes method as described above when being executed by processor.
The concrete principle of the present embodiment, refer to above-described embodiment, will not be repeated here.
The preferred embodiments of the present invention are the foregoing is only, are not intended to limit the scope of the invention, every utilization
Equivalent structure or the flow conversion that description of the invention and accompanying drawing content are made, or directly or indirectly it is used in other related skills
Art field, is included within the scope of the present invention.
Claims (9)
- A kind of 1. embedded software test document structure tree method based on static models, it is characterised in that described to be based on static mould The embedded software test document structure tree method of type comprises the following steps：S1：Formulate the document template with Freemarker grammatical markers；S2：Using structural workflow net, using the nested mechanism between default chart and figure and the expansion semanteme structure of figure The static models of embedded software are built, the default chart includes：One in DFD, fault tree, cause-and-effect diagram and decision table Kind is a variety of；S3：Test case corresponding to according to graphical model planning test item and generating test item, is stored in the form of database Test item and test case set；S4：Test document is automatically generated based on the static models.
- 2. the embedded software test document structure tree method according to claim 1 based on static models, it is characterised in that In step sl, the document template is Word document template, Word document template is saved as into XML file, and carry out Freemarker is marked, and obtains the document template that form is .ftl.
- 3. the embedded software test document structure tree method according to claim 1 based on static models, it is characterised in that In step s 2, the static models of the embedded software are stored in the form of XML document.
- 4. the embedded software test document structure tree method according to claim 1 based on static models, it is characterised in that In step s 2, the nested mechanism between the figure is as follows：(1) DFD layering structure, the data mart modeling of DFD can nested subdata flow graph；(2) data mart modeling of DFD can be with nested fault tree, cause-and-effect diagram and decision table；(3) bottom event of fault tree can nested sub- fault tree.
- 5. the embedded software test document structure tree method according to claim 1 based on static models, it is characterised in that In step s 2, the expansion of the figure is semantic as follows：(1) pel of DFD with the addition of necessary test semanteme, specifically include：Data mart modeling addition inverse program, time Domain, hardware and interruption attribute；(2) the necessary test of pel addition of fault tree is semantic, specifically includes：Bottom event adds CMP attributes；(3) the necessary test of decision table addition is semantic, specifically includes：Decision table is automatically generated according to logical expression, addition is sentenced Determine the precondition of table.
- 6. the embedded software test document structure tree method based on static models according to any one of claim 1-5, Characterized in that, in step s 4, the test document is Word document, and test is realized based on Freemarker template engines Document structure tree.
- 7. the embedded software test document structure tree method according to claim 6 based on static models, it is characterised in that In the step S4, " template+data model=output " formula is applied mechanically, draws " test item+testing requirement specification document Template=testing requirement specification document ", " test item/test case+configuration item test specification document template=configuration item is surveyed Examination explanation document ", wherein, picture derived from graphical model, test item set and test case set will be based on and replace document mould Grammatical markers in plate, obtain required test document.
- A kind of 8. embedded software test document creating system based on static models, it is characterised in that including：Memory, place Manage device and be stored in the computer program that can be run on the memory and on the processor, the computer program is by institute The step of method as any one of claim 1-7 being realized when stating computing device.
- 9. a kind of computer-readable recording medium, it is characterised in that be stored with computer on the computer-readable recording medium Program, the step of method as any one of claim 1-7 is realized when the computer program is executed by processor.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201710868048.8A CN107608895A (en) | 2017-09-22 | 2017-09-22 | Software testing generation method, system and storage medium based on static models |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201710868048.8A CN107608895A (en) | 2017-09-22 | 2017-09-22 | Software testing generation method, system and storage medium based on static models |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN107608895A true CN107608895A (en) | 2018-01-19 |
Family
ID=61057538
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201710868048.8A Pending CN107608895A (en) | 2017-09-22 | 2017-09-22 | Software testing generation method, system and storage medium based on static models |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN107608895A (en) |
Cited By (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN109101420A (en) * | 2018-07-20 | 2018-12-28 | 中国邮政储蓄银行股份有限公司 | Determine the method, apparatus and system, terminal of Test Strategy |
| CN110780946A (en) * | 2019-10-30 | 2020-02-11 | 京东数字科技控股有限公司 | Method and apparatus for processing information |
| CN112052181A (en) * | 2020-09-25 | 2020-12-08 | 中国直升机设计研究所 | Embedded software automatic test system based on software engineering |
| CN112948253A (en) * | 2021-03-12 | 2021-06-11 | 南京航空航天大学 | Test case generation method based on VRM model |
| CN113468892A (en) * | 2021-06-21 | 2021-10-01 | 北京搜狗科技发展有限公司 | Model testing method and device for model testing |
| CN113806232A (en) * | 2021-10-08 | 2021-12-17 | 中国航空综合技术研究所 | Model-based embedded software test case generation model |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20080270840A1 (en) * | 2007-04-25 | 2008-10-30 | Samsung Electronics Co., Ltd. | Device and method for testing embedded software using emulator |
| CN104375943A (en) * | 2014-12-11 | 2015-02-25 | 吴翔虎 | Embedded software black-box test case generation method based on static models |
| CN104461887A (en) * | 2014-12-11 | 2015-03-25 | 吴翔虎 | Embedded software black-box test case generation method based on dynamic model |
-
2017
- 2017-09-22 CN CN201710868048.8A patent/CN107608895A/en active Pending
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20080270840A1 (en) * | 2007-04-25 | 2008-10-30 | Samsung Electronics Co., Ltd. | Device and method for testing embedded software using emulator |
| CN104375943A (en) * | 2014-12-11 | 2015-02-25 | 吴翔虎 | Embedded software black-box test case generation method based on static models |
| CN104461887A (en) * | 2014-12-11 | 2015-03-25 | 吴翔虎 | Embedded software black-box test case generation method based on dynamic model |
Cited By (10)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN109101420A (en) * | 2018-07-20 | 2018-12-28 | 中国邮政储蓄银行股份有限公司 | Determine the method, apparatus and system, terminal of Test Strategy |
| CN110780946A (en) * | 2019-10-30 | 2020-02-11 | 京东数字科技控股有限公司 | Method and apparatus for processing information |
| CN110780946B (en) * | 2019-10-30 | 2021-05-25 | 京东数字科技控股有限公司 | Method and apparatus for processing information |
| CN112052181A (en) * | 2020-09-25 | 2020-12-08 | 中国直升机设计研究所 | Embedded software automatic test system based on software engineering |
| CN112052181B (en) * | 2020-09-25 | 2023-06-27 | 中国直升机设计研究所 | Embedded software automation test system based on software engineering |
| CN112948253A (en) * | 2021-03-12 | 2021-06-11 | 南京航空航天大学 | Test case generation method based on VRM model |
| CN113468892A (en) * | 2021-06-21 | 2021-10-01 | 北京搜狗科技发展有限公司 | Model testing method and device for model testing |
| CN113468892B (en) * | 2021-06-21 | 2024-09-20 | 北京搜狗科技发展有限公司 | Model test method and device for model test |
| CN113806232A (en) * | 2021-10-08 | 2021-12-17 | 中国航空综合技术研究所 | Model-based embedded software test case generation model |
| CN113806232B (en) * | 2021-10-08 | 2023-05-09 | 中国航空综合技术研究所 | Model-based embedded software test case generation model |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN107608895A (en) | Software testing generation method, system and storage medium based on static models | |
| CN107608894A (en) | Software testing generation method, system and storage medium based on dynamic model | |
| Moreau et al. | A templating system to generate provenance | |
| La Rosa et al. | Questionnaire-based variability modeling for system configuration | |
| Langer et al. | EMF Profiles: A Lightweight Extension Approach for EMF Models. | |
| CN104866426B (en) | Software test integrated control method and system | |
| CN101661460B (en) | Method and device for generating management system report | |
| CN102402430B (en) | One utilizes script to generate random test example method and system | |
| Nassar et al. | Rule-based repair of EMF models: An automated interactive approach | |
| CN106547681B (en) | Method and device for testing data automatic loading and multiplexing simulation service | |
| Franch et al. | A metamodel for software requirement patterns | |
| CN104699613B (en) | A kind of spacecraft-testing demand automatic creation system and its method | |
| CN106469140A (en) | A kind of report generating system and its method | |
| Demuth et al. | Supporting the co-evolution of metamodels and constraints through incremental constraint management | |
| CN112597062A (en) | Military software structured quality data extraction method and device and software testing device | |
| Yang et al. | A system framework of model quality analysis for product model in collaborative manufacturing | |
| Jones et al. | Case studies in systematic software development | |
| Zarka et al. | TStore: A Trace-Base Management System-Using Finite-state Transducer Approach for Trace Transformation | |
| Wang et al. | An automatic documentation generator based on model-driven techniques | |
| CN108920773B (en) | Design method and system for detailed scheme of dynamics-driven ultra-precise motion system | |
| Scheffczyk et al. | Pragmatic consistency management in industrial requirements specifications | |
| Qu et al. | Research on generating method of embedded software test document based on dynamic model | |
| Friman | Building and adapting SysML based system architecture framework for mechatronic systems | |
| Liu et al. | An automatic testing platform for object-oriented software based on code coverage | |
| Melby | Traceability in model driven engineering |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| RJ01 | Rejection of invention patent application after publication | ||
| RJ01 | Rejection of invention patent application after publication |
Application publication date: 20180119 |