CN102014016A - System and method for testing defects of network protocol - Google Patents
System and method for testing defects of network protocol Download PDFInfo
- Publication number
- CN102014016A CN102014016A CN2010102676612A CN201010267661A CN102014016A CN 102014016 A CN102014016 A CN 102014016A CN 2010102676612 A CN2010102676612 A CN 2010102676612A CN 201010267661 A CN201010267661 A CN 201010267661A CN 102014016 A CN102014016 A CN 102014016A
- Authority
- CN
- China
- Prior art keywords
- test
- test case
- protocol
- defect
- 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
Images
Landscapes
- Data Exchanges In Wide-Area Networks (AREA)
Abstract
The invention relates to a system and method for testing defects of a network protocol, and a network protocol system is expressed in a graph and form mode through improving the traditional Petri network protocol model. According to the network protocol standard described by a text format, the improved protocol model is applied to modeling a network protocol system to be tested; and then, syntactic analysis is carried out on the external interface and internal core of the network protocol, and possible defects of the network protocol to be tested are listed; a regular expression syntax is utilized to construct a test case template containing defects obtained in the syntactic analysis stage, and the test system automatically and randomly generates a corresponding test data file based on the regular expression rule, namely the defect test case; and finally, the system sends and injects the test case comprising syntactic defects to the protocol system according to the protocol rule to be tested, then waits for the response of the protocol system and returns the response to a test initiation platform, and the defect test system generates a final test report according to the total defect test process.
Description
Technical field
The present invention relates to the communication protocol field, particularly a kind of system and method that is applied to the procotol defect test.
Background technology
In the modern communications field, procotol is a very important notion.As a kind of standard, its standard the exploitation and the utilization of technology in the network.Increasingly sophisticated along with communication network, therefore communication function also more and more uses procotol also from strength to strength in network.Procotol is more complicated all generally, and the correctness of agreement is very big to whole web influence, so the test of procotol is just very important.
Defect test is the pith of communication protocol reliability testing, belongs to one of requisite link in the protocol engineering.Existing defect test lacks theoretical support of related science and methodological basis, especially lack systematized defect analysis method, this point is compared with method with ripe uniformity test is theoretical, seems comparatively backward, simultaneously, be applied to the more complete system tool of defect test also seldom.
At first, existing procotol defect test method, generally be based on some traditional communication protocol model constructions, as limited state machine, Petri net, sequential logic and the calculation of communication progress or the like, these modeling tools or mode do not have universality, and the dependence test personnel can only set up corresponding model respectively at different procotols.
Secondly, existing defect test method is robust too, even some blindness, there is not clear and definite defective target directing, simple dependence experience is judged and range is collected, be close to random test, till the defective of accidental at random discovery protocol system, this way must consume a large amount of manpowers and time.
Once more, nowadays universal mode is to use the whole process of TTCN-3 language description test, and crucial test case generates and also obtains from model analysis, just because of this, test case generates and has been subjected to bigger restriction, can not generate the test case of any amount flexibly automatically according to user's request.And existing a lot of defect test methods are not supported the automatic generation of test case, also need the tester to spend the plenty of time in person under a lot of situations and repeat to write a large amount of test cases.
At last, though the tester clear and definite the particular location that defective exists in the protocol system, traditional defect test method does not provide the corresponding manner of actual exposed defective, promptly how with the existence of the method validation agreement defective of experiment.
Summary of the invention
The objective of the invention is for overcome protocol model selections, the blind search defective that occur in the existing defect test, test case generates automatically and a complicated difficult problem such as test case injection, and proposed one and overlapped complete systematized procotol defect test system and method.The technical scheme that the present invention proposes is as follows:
The main flow process of described procotol defect test comprises: protocol description, Protocol Modeling, model analysis, test case generate, mistake is injected, test report generates step, wherein:
The protocol description step is promptly analyzed the textual description of consensus standard, obtains protocol state machine, message packet form and protocol system interface grammer;
The Protocol Modeling step, it is according to the Petri pessimistic concurrency control of the textual description analysis of agreement being set up test protocol;
The model analysis step is analyzed state in the Petri pessimistic concurrency control and transition, and the definition error type is also designed test case template;
Test case generates step, generates test case automatically according to test case template;
The mistake implantation step is injected into the test case that designs in the tested protocol system by the network connection respondent behavior of observation protocol system;
Test report generates step, generates test report according to test result and execution data.
In the Protocol Modeling step, to improving and expansion of Petri net, the mode that adds form with figure is represented the procotol system: visuals is based on Petri net figure, and the dynamic behaviour of presentation protocol dots for injecting wrong transition in addition; Form partly illustrates the implication of resource and defective, is divided into storehouse institute, transition, resource and 4 tables of defective.
Generate in the step in test case, the using regular expression grammer, structure comprises the test case template that the syntactic analysis phase draws defective, and test macro is based on the corresponding test data file of the regular expression automated randomized generation of rule, i.e. defect test use-case.
Described procotol defect test system comprises three partial contents: test set, testing equipment and test execution platform.Test set is the set of all test cases, and it has described the organizational form of test case based on certain formal method, and has defined the test execution platform and in which type of mode carry out.Procotol defect test system based on extension syntax analysis and test case generation automatically need generate test case automatically by the protocol model atlas, and each figure is the Petri pessimistic concurrency control figure of tested certain scene of agreement, and it is to want the tester to design voluntarily.Testing equipment is the hardware environment and the relevant operating system of test execution, and it is the carrier of test execution system operation.The test execution platform is the platform of test case operation.The test execution system is injected into system under test (SUT) with its mode with the UDP bag, and provides final judgement and test report according to the response of system by introducing the test case in the test set.
Described procotol defect test system mainly is divided into graphics edition module, test generation module, fault injection module, results analyses module, configuration module.
Configuration module comprises system configuration, system under test (SUT) configuration, three parts of protocol configuration.Thereby the information such as agreement that position and receiving port, the system under test (SUT) of system parameters, system under test (SUT) are realized realize configurableization management.
The graphics edition module is used for that agreement is carried out Petri and nets graphical modeling and editor, and the illustraton of model of generation will become the foundation that test case generates.
The test generation module comprises create-rule management and two parts of test case management.Main being responsible for of create-rule management determined with what rule to come analytic modell analytical model and generate test case; The main test case of determining how to organize generation of test case management part, such as being the form that test case is organized into the jar bag, or the form deposited of a plurality of file.
The test injection module comprises injection mode management, two parts of message redirecting management.The main injection mode (a plurality of test cases inject or single test case injects) of being responsible for determining the send mode (as sending) and the test case of test case injection of injection mode management by the UDP bag.
Results analyses module comprises statistical module and report generation module two parts.Statistical module is responsible for information such as statistical test example sum, failure test case number, test case type; The report generation module then is responsible for generating test report with the information organization of statistics and with certain form.
Described procotol defect test method, can not distinguish that the shortcoming that send to receive transition is made amendment and perfect at the Petri net, the mode that adds form with figure is represented the procotol system: visuals is based on Petri net figure, the dynamic behaviour of presentation protocol dots for injecting wrong transition in addition; Form partly illustrates the implication of resource and defective, is divided into storehouse institute, transition, resource and 4 tables of defective.
Secondly, by the analysis of describing for the procotol received text, than accurate in locating protocol system interface and inner defective locations, the basic blindness of eliminating existing defect test.
At last, using regular expression, the possible defective that obtains according to protocol interface standard and protocal analysis, make up the defect test template with the regular expression grammer, based on the regular expression rule, independently generating the corresponding data file at random is the defect test example, and the test case template can revise at any time, has truly realized arbitrarily generating automatically of defect test example.
Beneficial effect of the present invention: this procotol defect test system and method provides a whole set of improved mode for existing defect test method, perfect Protocol Modeling mode, the defective acquisition model of system, automatic test case generative process, this system significantly improves the defective coverage rate, can faster find the defective that exists in the protocol system to be measured.
Description of drawings
Fig. 1 is for showing this procotol defect test method flow.
Fig. 2 is for showing this procotol defect test system logic topological structure.
Fig. 3 forms structure for showing this procotol defect test system module.
Fig. 4 is for showing this procotol defect test systems technology framework.
Embodiment
Described procotol defect test method, at first by improving and improve classical Petri Netcom letter protocol model, the mode that adds form with figure is represented the procotol system: visuals is based on Petri net figure, the dynamic behaviour of presentation protocol dots for injecting wrong transition in addition; Form partly illustrates the implication of resource and defective, is divided into storehouse institute, transition, resource and 4 tables of defective, makes it adapt to the practical application of defect test.
Then, specific descriptions according to the network communication protocol standard of IETF text formatting, analyze defect information such as obtaining protocol state machine, message packet form and interface syntax rule, the Petri pessimistic concurrency control of using above-mentioned expansion is to network communication protocol modeling to be tested, the state and the transition of drawing protocol system, write out the protocol massages source template, analyze and list the interface and the inner defective that may exist of procotol, simultaneously, the definition error type, according to the resource situation of tested protocol system, determine position and type that the agreement defective exists.
Subsequently, based on regular expression, the using regular expression grammer makes up and contains the test case template that the analysis phase draws defective, all defective locations are all represented with match pattern, based on the regular expression rule, independently generating the corresponding data file at random is the defect test example, promptly replaces match pattern with all possible substitute symbol, and every kind of defect type all requires to produce a large amount of different test cases.
At last, test case is injected in the procotol to be measured system, the test case that will contain the grammer defective is according to protocol rule to be measured, directly advanced communication protocol interface in the TCP/UDP mode, send and be injected in the protocol system, wait for the response results of protocol system, and turn back on the test initiation platform, collect test execution situation data directly or indirectly, generate final test report according to whole defect test process.
Described defect test system comprises three partial contents: test set, testing equipment and test execution platform.Test set is the set of all test cases, and it has described the organizational form of test case based on certain formal method, and has defined the test execution platform and in which type of mode carry out.Procotol defect test system based on extension syntax analysis and test case generation automatically need generate test case automatically by the protocol model atlas, and each figure is the Petri pessimistic concurrency control figure of tested certain scene of agreement, and it is to want the tester to design voluntarily.Testing equipment is the hardware environment and the relevant operating system of test execution, and it is the carrier of test execution system operation.The test execution platform is the platform of test case operation.The test execution system is injected into system under test (SUT) with its mode with the UDP bag, and provides final judgement and test report according to the response of system by introducing the test case in the test set.
Test platform operates on the common PC, and system under test (SUT) operates on another PC.Two PC respectively have an Ethernet network interface card, by switch or direct connection communication.
Described procotol defect test system mainly is divided into configuration module, graphics edition module, test generation module, fault injection module, results analyses module.
Configuration module comprises system configuration, system under test (SUT) configuration, three parts of protocol configuration.Thereby the information such as agreement that position and receiving port, the system under test (SUT) of system parameters, system under test (SUT) are realized realize configurableization management.
The graphics edition module is used for that agreement is carried out Petri and nets graphical modeling and editor, and the illustraton of model of generation will become the foundation that test case generates.
The test generation module comprises create-rule management and two parts of test case management.Main being responsible for of create-rule management determined with what rule to come analytic modell analytical model and generate test case; The main test case of determining how to organize generation of test case management part, such as being the form that test case is organized into the jar bag, or the form deposited of a plurality of file.
The test injection module comprises injection mode management, two parts of message redirecting management.Injection mode is managed the main send mode of being responsible for determining the test case injection, sends as wrapping by UDP, and the injection mode of test case (a plurality of test cases inject or single test case injects).
Results analyses module comprises statistical module and report generation module two parts.Statistical module is responsible for information such as statistical test example sum, failure test case number, test case type; The report generation module then is responsible for generating test report with the information organization of statistics and with certain form.
It is programming language that described procotol defect test system realizes with java, comes self-defined needed various graphic assemblies by the UML modeling tool.Test case is kept in the file system by I/O, and the analytic statistics result will be stored in the xml formatted file, statistical result file is resolved and is organized into the report web page files of certain format by XSL.System environments is a Windows XP system, and development environment is Eclipse5.1GA and JDK1.5.
Model editor is realized structure, the maintenance and management of tested agreement Petri pessimistic concurrency control.Model editor is based upon on the Eclipse platform, has utilized two Eclipse plug-in unit: EMF and GEF simultaneously.EMF is the application development framework of a model-driven, can generate the Java code automatically based on the meta-model of above-mentioned test model by EMF, the editor of implementation model, manages, reads and serializing.And GEF is a graphic editor framework, and for the realization of model view provides support, its effect is that model is represented to the user in patterned mode.Model editor has been realized 3 kinds of views, respectively 3 parts in the corresponding test model.
Configuration module adopts the XML file to preserve configuration information, and a plurality of configuration items can be set.System configuration comprises system testing example transmit port, system IP, test case preservation position etc.; The system under test (SUT) configuration comprises system under test (SUT) IP address, acceptance test example port numbers, system under test (SUT) version etc.; The system under test (SUT) protocol configuration mainly is that the agreement that will test is set, so that the test case generation module can correct analytic modell analytical model view and generated correct test case.
The test case generation module is realized the conversion from the illustraton of model to the test case.For grammer test, test case is actually an ordinary file, and the inside has comprised the content that contains certain or some syntax error.Therefore the committed step of test case generation has following 2 points:
(1) analytic modell analytical model view obtains the test case data.
(2) the test case data are write file, and numbering is put under the designated directory.
Eclipse modeling framework (EMF) is increase income framework and a code Core Generator of a Java.Be used for coming the build tool and other application program based on structurized model.The Eclipse platform provided a strong integrated framework on user interface and file-level when, EMF had strengthened this ability and has come the data of fine granularity between implementation tool and the application program to share.Behind the given model, EMF just can generate Java source code-its permission establishment, inquiry, renewal, anti-serialization and serialized model instance.This makes that resolving the acquisition data from illustraton of model becomes possibility.
Java language itself provides powerful I/O function, can at an easy rate data be write as file and is saved in the catalogue of hope or a plurality of test cases are packaged into jar file.
The mistake injector is mainly realized from test macro the test case data being sent to system under test (SUT) by certain mode.Comprising injection mode management and two parts of message redirecting management, respectively by injecting packaging group and injecting and realize that class realizes.The mode that packaging group definition test case injects is to wrap whole injection by the file injection or by jar.Inject and realize class definition with what agreement is communicated by letter with system under test (SUT).Java provides good network programming assembly, can realize network service and message sending function like a cork.
The result of test represents with the form of test report, wherein comprises statistical information.The former mainly is the statistics to the test execution result, comprises the test number that passes through, the test number of failure etc.For the test of failure, its corresponding record is compared with the test case model, help to analyze the reason of failure.
System is with test record statistics and be saved in the file of XML form, and is that the form of test report present to test subscriber with XML with specific format conversion by XSL.
Claims (5)
1. a procotol defect test method is characterized in that, comprising:
The protocol description step is promptly analyzed the textual description of consensus standard, obtains protocol state machine, message packet form and protocol system interface syntax rule;
The Protocol Modeling step, it is according to the Petri pessimistic concurrency control of the textual description analysis of agreement being set up test protocol;
The model analysis step is analyzed state in the Petri pessimistic concurrency control and transition, and the definition error type is also designed test case template;
Test case generates step, generates test case automatically according to test case template;
The mistake implantation step is injected into the test case that designs in the tested protocol system by the network connection respondent behavior of observation protocol system;
Test report generates step, generates test report according to test result and execution data.
2. procotol defect test method according to claim 1, it is characterized in that, in the Protocol Modeling step, to improving and expansion of Petri net, the mode that adds form with figure is represented the procotol system: visuals is based on Petri net figure, the dynamic behaviour of presentation protocol dots for injecting wrong transition in addition; Form partly illustrates the implication of resource and defective, is divided into storehouse institute, transition, resource and 4 tables of defective.
3. procotol defect test method according to claim 1, it is characterized in that, generate in the step in test case, the using regular expression grammer, structure comprises the test case template that the syntactic analysis phase draws defective, test macro is based on the corresponding test data file of the regular expression automated randomized generation of rule, i.e. defect test use-case.
4. a procotol defect test system is characterized in that, comprises: test set, testing equipment and test execution platform, wherein:
Test set is the set of all test cases, and it has described the organizational form of test case based on certain formal method, and has defined the test execution platform and in which type of mode carry out;
Procotol defect test system based on extension syntax analysis and test case generation automatically need generate test case automatically by the protocol model atlas, and each figure is the Petri pessimistic concurrency control figure of tested certain scene of agreement, and it is to want the tester to design voluntarily;
Testing equipment is the hardware environment and the relevant operating system of test execution, and it is the carrier of test execution system operation, and the test execution platform is the platform of test case operation;
The test execution system is injected into system under test (SUT) with its mode with the UDP bag, and provides final judgement and test report according to the response of system by introducing the test case in the test set.
5. procotol defect test according to claim 2 system is characterized in that the specific implementation test macro mainly is divided into configuration module, graphics edition module, test case generation module, mistake injection module, results analyses module, wherein:
Configuration module comprises system configuration, system under test (SUT) configuration, three parts of protocol configuration, thereby the information such as agreement that position and receiving port, the system under test (SUT) of system parameters, system under test (SUT) are realized realize configurableization management;
The graphics edition module is used for that agreement is carried out Petri and nets graphical modeling and editor, and the illustraton of model of generation will become the foundation that test case generates;
The test case generation module comprises create-rule management and two parts of test case management, and main being responsible for of create-rule management determined with what rule to come analytic modell analytical model and generate test case; The main test case of determining how to organize generation of test case management part, such as being the form that test case is organized into the jar bag, or the form deposited of a plurality of file;
The test injection module comprises that injection mode is managed, two parts of message redirecting management, and injection mode is managed the main send mode that definite test case injects of being responsible for, send as wrapping by UDP, and the injection mode of test case;
Results analyses module comprises statistical module and report generation module two parts, and statistical module is responsible for information such as statistical test example sum, failure test case number, test case type; The report generation module then is responsible for generating test report with the information organization of statistics and with certain form.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN2010102676612A CN102014016A (en) | 2010-08-31 | 2010-08-31 | System and method for testing defects of network protocol |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN2010102676612A CN102014016A (en) | 2010-08-31 | 2010-08-31 | System and method for testing defects of network protocol |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN102014016A true CN102014016A (en) | 2011-04-13 |
Family
ID=43844042
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN2010102676612A Pending CN102014016A (en) | 2010-08-31 | 2010-08-31 | System and method for testing defects of network protocol |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN102014016A (en) |
Cited By (18)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN102420727A (en) * | 2012-01-05 | 2012-04-18 | 北京邮电大学 | Distributed protocol test system and method |
| CN103198009A (en) * | 2012-01-04 | 2013-07-10 | 中国移动通信集团公司 | Universal testing method, system and corresponding device |
| CN103220186A (en) * | 2013-03-21 | 2013-07-24 | 大唐联仪科技有限公司 | Communication equipment testing method and system |
| CN103324573A (en) * | 2013-07-02 | 2013-09-25 | 北京邮电大学 | PEACH platform extension method for GUI-based protocol state machine modeling |
| CN104427547A (en) * | 2013-08-29 | 2015-03-18 | 中国移动通信集团公司 | Business and network association test method, device and system |
| CN105354139A (en) * | 2015-10-23 | 2016-02-24 | 天津橙子科技有限公司 | Method for designing data dictionary object for JavaScript |
| CN105591827A (en) * | 2014-10-20 | 2016-05-18 | 中国科学院沈阳自动化研究所 | Method of generating WIA-PA (Wireless networks for Industrial Automation-Process Automation) protocol test set based on equipment life cycle Petri net |
| CN105933286A (en) * | 2016-04-05 | 2016-09-07 | 浪潮电子信息产业股份有限公司 | Method and device for verifying protocol |
| CN106209830A (en) * | 2016-07-08 | 2016-12-07 | 中国人民解放军国防科学技术大学 | A kind of message building method represented based on XML procotol |
| CN107113199A (en) * | 2014-11-18 | 2017-08-29 | 菲尼克斯电气公司 | Analytical equipment for analyzing and handling communication sequence |
| CN108009092A (en) * | 2017-12-04 | 2018-05-08 | 武汉保华显示科技有限公司 | A kind of design method of In-vehicle networking management universal test use-case agreement |
| CN108459964A (en) * | 2018-03-06 | 2018-08-28 | 平安科技（深圳）有限公司 | Test cases selection method, apparatus, equipment and computer readable storage medium |
| CN108763049A (en) * | 2018-03-09 | 2018-11-06 | 南京航空航天大学 | Generation of software test case method based on regular expression failure model |
| CN109240908A (en) * | 2018-08-01 | 2019-01-18 | 口碑(上海)信息技术有限公司 | Abnormality test use-case template establishment method and device |
| CN109491919A (en) * | 2018-11-28 | 2019-03-19 | 中电科西北集团有限公司 | A kind of method for testing software and test platform |
| CN111427774A (en) * | 2020-03-09 | 2020-07-17 | 深圳开源互联网安全技术有限公司 | Request parameter modification method and system for application program test case |
| CN113742724A (en) * | 2021-07-28 | 2021-12-03 | 中国科学院信息工程研究所 | Method for detecting security mechanism defect of network protocol software |
| CN113783721A (en) * | 2021-08-20 | 2021-12-10 | 大连理工大学 | Credibility modeling and verifying method for industrial control network protocol |
Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN1764131A (en) * | 2004-10-22 | 2006-04-26 | 华为技术有限公司 | Protocol testing system and method |
-
2010
- 2010-08-31 CN CN2010102676612A patent/CN102014016A/en active Pending
Patent Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN1764131A (en) * | 2004-10-22 | 2006-04-26 | 华为技术有限公司 | Protocol testing system and method |
Non-Patent Citations (2)
| Title |
|---|
| 郑啸等: "基于Petri网的协议测试例自动生成", 《华中科技大学学报》, vol. 34, no. 3, 31 March 2006 (2006-03-31) * |
| 龙钊等: "扩展的语义分析的WAP协议缺陷测试", 《中国科技论文在线》, 9 October 2008 (2008-10-09) * |
Cited By (28)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN103198009B (en) * | 2012-01-04 | 2016-09-07 | 中国移动通信集团公司 | A kind of universal testing method, system and related device |
| CN103198009A (en) * | 2012-01-04 | 2013-07-10 | 中国移动通信集团公司 | Universal testing method, system and corresponding device |
| CN102420727A (en) * | 2012-01-05 | 2012-04-18 | 北京邮电大学 | Distributed protocol test system and method |
| CN103220186A (en) * | 2013-03-21 | 2013-07-24 | 大唐联仪科技有限公司 | Communication equipment testing method and system |
| CN103324573A (en) * | 2013-07-02 | 2013-09-25 | 北京邮电大学 | PEACH platform extension method for GUI-based protocol state machine modeling |
| CN104427547A (en) * | 2013-08-29 | 2015-03-18 | 中国移动通信集团公司 | Business and network association test method, device and system |
| CN104427547B (en) * | 2013-08-29 | 2017-11-21 | 中国移动通信集团公司 | Business and network associate method of testing, apparatus and system |
| CN105591827A (en) * | 2014-10-20 | 2016-05-18 | 中国科学院沈阳自动化研究所 | Method of generating WIA-PA (Wireless networks for Industrial Automation-Process Automation) protocol test set based on equipment life cycle Petri net |
| CN107113199A (en) * | 2014-11-18 | 2017-08-29 | 菲尼克斯电气公司 | Analytical equipment for analyzing and handling communication sequence |
| CN107113199B (en) * | 2014-11-18 | 2020-10-27 | 菲尼克斯电气公司 | Analysis device for analyzing and processing communication sequences |
| CN105354139A (en) * | 2015-10-23 | 2016-02-24 | 天津橙子科技有限公司 | Method for designing data dictionary object for JavaScript |
| CN105354139B (en) * | 2015-10-23 | 2019-05-10 | 天津橙子科技有限公司 | Data dictionary object designs method for JavaScript |
| CN105933286A (en) * | 2016-04-05 | 2016-09-07 | 浪潮电子信息产业股份有限公司 | Method and device for verifying protocol |
| CN105933286B (en) * | 2016-04-05 | 2019-08-02 | 浪潮电子信息产业股份有限公司 | A kind of method and device of indentification protocol |
| CN106209830A (en) * | 2016-07-08 | 2016-12-07 | 中国人民解放军国防科学技术大学 | A kind of message building method represented based on XML procotol |
| CN106209830B (en) * | 2016-07-08 | 2019-12-10 | 中国人民解放军国防科学技术大学 | message construction method based on XML network protocol expression |
| CN108009092A (en) * | 2017-12-04 | 2018-05-08 | 武汉保华显示科技有限公司 | A kind of design method of In-vehicle networking management universal test use-case agreement |
| CN108459964A (en) * | 2018-03-06 | 2018-08-28 | 平安科技（深圳）有限公司 | Test cases selection method, apparatus, equipment and computer readable storage medium |
| CN108763049A (en) * | 2018-03-09 | 2018-11-06 | 南京航空航天大学 | Generation of software test case method based on regular expression failure model |
| CN108763049B (en) * | 2018-03-09 | 2022-08-05 | 南京航空航天大学 | Software test case generation method based on regular expression failure model |
| CN109240908B (en) * | 2018-08-01 | 2020-04-03 | 口碑(上海)信息技术有限公司 | Method and device for creating abnormal test case template |
| CN109240908A (en) * | 2018-08-01 | 2019-01-18 | 口碑(上海)信息技术有限公司 | Abnormality test use-case template establishment method and device |
| CN109491919A (en) * | 2018-11-28 | 2019-03-19 | 中电科西北集团有限公司 | A kind of method for testing software and test platform |
| CN111427774A (en) * | 2020-03-09 | 2020-07-17 | 深圳开源互联网安全技术有限公司 | Request parameter modification method and system for application program test case |
| CN113742724A (en) * | 2021-07-28 | 2021-12-03 | 中国科学院信息工程研究所 | Method for detecting security mechanism defect of network protocol software |
| CN113742724B (en) * | 2021-07-28 | 2023-09-12 | 中国科学院信息工程研究所 | Security mechanism defect detection method of network protocol software |
| CN113783721A (en) * | 2021-08-20 | 2021-12-10 | 大连理工大学 | Credibility modeling and verifying method for industrial control network protocol |
| CN113783721B (en) * | 2021-08-20 | 2022-06-21 | 大连理工大学 | Credibility modeling and verifying method for industrial control network protocol |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN102014016A (en) | System and method for testing defects of network protocol | |
| Kundu et al. | A novel approach to generate test cases from UML activity diagrams. | |
| CN103365770B (en) | Mobile terminal software test macro and method for testing software | |
| CN104639653A (en) | Self-adaptive method and system based on cloud architecture | |
| CN102163173B (en) | Automated testing method for distributed information system interface | |
| CN107239271A (en) | Develop document structure tree method and device | |
| CN106357457A (en) | Warning test method, warning test apparatus and warning test system | |
| Wang et al. | An executable system architecture approach to discrete events system modeling using SysML in conjunction with colored Petri Net | |
| CN105204991A (en) | Internet of things test method and device | |
| Inçki et al. | Runtime verification of IoT systems using complex event processing | |
| Cavalli et al. | Webmov: A dedicated framework for the modelling and testing of web services composition | |
| CN104598619A (en) | Service compositional verification method based on constraint solver | |
| CN103530209A (en) | Automated testing method for code keyboard | |
| CN114328217A (en) | Application testing method, device, equipment, medium and computer program product | |
| CN107122307B (en) | Internet of things execution system | |
| CN101765129A (en) | Network access test system and method for data value-added service | |
| Wendel et al. | Provenance of software development processes | |
| CN103457957B (en) | A kind of network penetration test macro and method with adaptation function | |
| Sun et al. | Scenario-oriented testing for web service compositions using BPEL | |
| Luo et al. | Clustering and tailoring user session data for testing web applications | |
| Prado et al. | Extracting static and dynamic structural information from java concurrent programs for coverage testing | |
| CN103647687A (en) | Method and device for verifying business parameters of application system | |
| Kakarla et al. | Oracle-based Protocol Testing with Eywa | |
| Colangelo et al. | Reducing software architecture models complexity: A slicing and abstraction approach | |
| Magnus et al. | Test generation for model based fieldbus profiles |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| C02 | Deemed withdrawal of patent application after publication (patent law 2001) | ||
| WD01 | Invention patent application deemed withdrawn after publication |
Application publication date: 20110413 |