CN102279788A - Test system and test method for analyzing target program to generate test program - Google Patents

Test system and test method for analyzing target program to generate test program Download PDF

Info

Publication number
CN102279788A
CN102279788A CN2010101993244A CN201010199324A CN102279788A CN 102279788 A CN102279788 A CN 102279788A CN 2010101993244 A CN2010101993244 A CN 2010101993244A CN 201010199324 A CN201010199324 A CN 201010199324A CN 102279788 A CN102279788 A CN 102279788A
Authority
CN
China
Prior art keywords
test
target program
function
procedure
parameter
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
Application number
CN2010101993244A
Other languages
Chinese (zh)
Inventor
邱全成
方慧
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Inventec Corp
Original Assignee
Inventec Corp
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Inventec Corp filed Critical Inventec Corp
Priority to CN2010101993244A priority Critical patent/CN102279788A/en
Publication of CN102279788A publication Critical patent/CN102279788A/en
Pending legal-status Critical Current

Links

Images

Abstract

The invention discloses a test system and a test method for analyzing a target program to generate a test program, and the test method comprises the following steps of: after generating an analysis result by analyzing a variable and a function in a target program, generating a program code of the test program according to the analysis result; and after executing the test program so as to test the target program, outputting a technical means of the test result generated by the test program, so that a technical effect of providing a unit test can be achieved with same development efficiency.

Description

Resolve target program to generate the test macro and the method for testing thereof of test procedure
Technical field
The present invention relates to a kind of PTS and method thereof, mean that especially a kind of target program of resolving is to generate the test macro and the method for testing thereof of test procedure.
Background technology
Unit testing is the wherein a kind of of multiple test in the program design field.Normally for one section procedure code in the testing software, for example a classification (class), a function (function) etc. are tested by the programmer who is responsible for this unit.What unit testing was tested is, whether the procedure code that the programmer write is carried out according to its contemplated mode, and produces and meet expected result.
Unit testing is the very important ring of program design, and it has the effect of error reporting (bug report), tells that the there is wrong in our procedure code.Owing to all need to carry out unit testing after we finish or revise a unit, therefore, if procedure code is wrong, then mistake can be found usually.
Along with the function of software from strength to strength, the procedure code of software is also more and more tediously long, if purely look for program error (bug) in artificial mode, often the efficient of debug and fiduciary level are not high.Therefore, the programmer can write the program of unit testing and carry out unit testing, yet, even the programmer is the program of writing unit testing by instrument, also still require a great deal of time, this cause easily development can't as the expection finishing, therefore, the programmer often can't carry out unit testing in the program that the development phase of software is write unit testing, can only wait for when software has arrived test phase, carry out the test of whole software by the Test Engineer, but only the test that software is carried out globality is incomplete for testing process, this causes software to produce unexpected mistake easily, so unit testing is still necessary step in the necessary testing process.
In sum, prior art has existed the programmer when software development always since the midium or long term as can be known, does not wish to spend the extra development time and the problem of ignoring unit testing, therefore is necessary to propose improved technological means, solves this problem.
Summary of the invention
Because the problem that prior art exists unit testing often to be ignored by the programmer because needs spend the extra development time, the present invention discloses a kind of target program of resolving then to generate the test macro and the method for testing thereof of test procedure, wherein:
Parsing target program disclosed in this invention is to generate the test macro of test procedure, at least comprise: test data insmods, in order to being written in advance the test data of setting up, the corresponding target program of test data, and test data comprises program name, the function test parameter of target program; The target program parsing module is obtained target program in order to the foundation program name, and in order to parameter and function in the parsing target program, and produce analysis result; The test procedure generation module generates the procedure code of test procedure in order to the foundation analysis result, procedure code comprise with the function test parameter as with target program in the grammer that imports parameter into of corresponding function; The test procedure execution module in order to the execution test procedure, and is obtained the test result that test procedure produces; Output module is in order to output test result.
Parsing target program disclosed in this invention is to generate the method for testing of test procedure, and its step comprises at least: the test data of corresponding target program is provided, and test data comprises program name, and the function test parameter of target program at least; Master routine is obtained target program according to program name; Master routine is resolved parameter and the function in the target program, and produces analysis result; Master routine generates the procedure code of test procedure according to analysis result, procedure code comprise with the function test parameter as with target program in the grammer that imports parameter into of corresponding function; Master routine is carried out test procedure; Test procedure test target program also produces test result; Master routine is analyzed this test result and is produced test report; Master routine output test report.
The another kind of target program of resolving disclosed in this invention is to generate the method for testing of test procedure, and its step comprises at least: the test data of corresponding target program is provided, and test data comprises the program name and the function test parameter of target program; Master routine is obtained target program according to program name; Master routine is resolved parameter and the function in the target program, and produces analysis result; Master routine is according to the procedure code of analysis result generation test procedure, and procedure code comprises the grammer that the function test parameter is imported into the target program execution; Master routine is carried out test procedure; Test procedure test target program also produces test result; Test procedure outputs test result.
System and method for disclosed in this invention as above, and the difference between the prior art is that the present invention is by after resolving the parameter and function generation analysis result in the target program, generate the procedure code of test procedure according to analysis result, after test procedure is carried out with the test target program, the output test result that test procedure produced, so as to solution existing in prior technology problem, and can reach the technology effect that unit testing is provided with same development efficiency.
Description of drawings
Fig. 1 for parsing target program that the present invention carried to generate the test macro Organization Chart of test procedure.
Fig. 2 A resolves target program to generate the method for testing process flow diagram of test procedure for first kind that the present invention carried.
Fig. 2 B resolves target program to generate the method for testing process flow diagram of test procedure for second kind that the present invention carried.
The third resolved target program to generate the method for testing process flow diagram of test procedure to Fig. 2 C for the present invention carries.
Fig. 3 A is the procedure code synoptic diagram of the target program carried of the embodiment of the invention.
Fig. 3 B is the procedure code synoptic diagram of the parsing target program carried of the embodiment of the invention.
Fig. 3 C is the procedure code synoptic diagram of the test target program carried of the embodiment of the invention.
[main element symbol description]
110 test datas insmod
120 target program parsing modules
130 test procedure generation modules
150 test procedure execution modules
160 test result analysis modules
170 output modules
300 target programs
400 procedure codes
420 parameter titles obtain grammer
430 function names are obtained grammer
500 procedure codes
Embodiment
Below will cooperate graphic and embodiment describes feature of the present invention and embodiment in detail, content is enough to make any those of ordinary skill can fully understand the applied technological means of technical solution problem of the present invention easily and implements according to this, realizes the attainable effect of the present invention whereby.
The parsing target program that following elder generation is carried with Fig. 1 the present invention illustrates System Operation of the present invention with the system architecture diagram of the test macro that generates test procedure.As shown in Figure 1, system of the present invention contain mainly that test data insmods 110, target program parsing module 120, test procedure generation module 130, test procedure execution module 150 and output module 170.
Test data insmods and 110 is responsible for being written into the test data corresponding with target program, tested data 110 test datas that are written into that insmod comprise the program name of target program at least, respectively with the corresponding function test parameter (the required parameter that imports function into when being generally call function) of each function in the target program, but test data is not as limit, for example, test data is except comprising program name and function test parameter, can also comprise the function test result corresponding with each function test parameter, and this function test result is just imported the expected results that should produce behind the corresponding function test parameter into when call function, so the function correspondence of function test result meeting and function test parameter correspondence.Wherein, test data is to be set up in advance before carrying out the present invention by the user, generally speaking, test data is stored in to be carried out in the device of the present invention, but the present invention is not as limit, that is to say that test data also may be stored in to be carried out outside the device of the present invention, test data insmods and 110 need be written into test data by connection modes such as networkings.
Target program parsing module 120 is responsible for obtaining target program according to the program name of the target program that is write down in the test data, target program parsing module 120 also is responsible for by parsing parameter (property) and the function (method) that target program has in the obtained target program, and produces corresponding analysis result after resolving target program.
Wherein, target program parsing module 120 can be by the title and the kenel (type) that parse the parameter that target program has in the target program, and the kenel of the parameter that target program parsing module 120 parsed is including but not limited to numerical value, word string or a certain classification (class) etc.; Target program parsing module 120 also can import the kenel of the title of parameter and the passback data of kenel and each function (return data) into by all of resolving each function that target program had in the target program.That is to say, the analysis result that target program parsing module 120 produced promptly comprise the title of the parameter that target program has and kenel, each function that target program had all import the kenel etc. of the passback data of the title of parameter and kenel and each function into, but the analysis result that the present invention carried is not as limit.
Test procedure generation module 130 is responsible for generating the procedure code of test procedure according to insmod analysis result that 110 loaded test datas and target program parsing module 120 produced of test data.In the procedure code that test procedure generation module 130 is generated, comprise the grammer of each function in the test target program.Wherein, what is particularly worth mentioning is that, in the grammer of each function in the test target program, can be so that test data was comprised and the import parameter of the corresponding function test parameter of each function as each function.
In addition, because the procedure code of test procedure comprises the grammer of each function in the test target program, therefore, in the procedure code that test procedure generation module 130 is generated, the whether legal grammer of passback data that also can comprise each function of judging in the target program, but the procedure code of the test procedure that the present invention carried is not as limit.
Test procedure execution module 150 is responsible for carrying out the test procedure that test procedure generation module 130 is generated, and obtains the test result that test procedure test target program is produced.Test result can comprise unusual (exception) message, mistake (error) message, warning (warn) message that output data, the test procedure of each function in the target program are exported, and exports time of above-mentioned various messages etc.In addition, because the procedure code of test procedure comprises the grammer of each function in the test target program, therefore, the test result that test procedure produced also can comprise the passback data of each function in the target program, but the test result that the present invention carried is not exceeded with above-mentioned.
In addition, owing to may comprise the whether legal grammer of passback data of each function of judging in the target program in the procedure code of the test procedure that generated of test procedure generation module 130, so, test procedure can judge whether the passback data of each function in the target program is legal, so as to further test target program correctness.
Output module 170 is responsible for after test procedure execution module 150 is carried out test procedure, output test procedure execution module 150 makes the user to judge whether the output of target program meets expection by the test result that output module 170 is exported by the obtained test result of test procedure (test result that test procedure produced just).Wherein, output module 170 may be displayed on the mode in the display screen of carrying out device of the present invention, or the mode that also can write in the archives outputs test result.
In addition, the present invention more can comprise test result analysis module 160, test result analysis module 160 is responsible for analytical test program execution module 150 by the obtained test result of test procedure (test result that test procedure produced), and produces corresponding test report after analysis.Wherein, test result analysis module 160 can be to the passback data of each function in the test result, the output data of each function, the unusual message/error messages/data such as warning message of test procedure, and the time that above-mentioned various data is output analyze, can allow the easy-to-use test report of user so as to filtering and being combined into, but test result analysis module 160 analytical test results' mode is not as limit.
In addition, 110 loaded test datas also comprise the function test result of and function test parameter correspondence if test data insmods, because the function correspondence of the same and function test parameter of function test result correspondence, therefore, when comprising the passback data of each function in the objective function in test procedure execution module 150 test result (test result that test procedure produced) obtained by test procedure, whether the passback data that test result analysis module 160 can be compared each function is identical with corresponding function test result, and comparison result added in the test report, so as to increasing the correctness that target program is tested.
Output module 170 test report that analysis module 160 is produced that more can output test result, with output test result identical, output module 170 can be presented at test report in the display screen of carrying out device of the present invention, also test report can be write in the archives.
Then explain orally operation system of the present invention and method, and please refer to parsing target program that Fig. 2 A the present invention carried method flow diagram with the method for testing that generates test procedure with an embodiment.
In the present embodiment, hypothetical target program 300 as shown in Figure 3A, run after fame and be called the classification of " KnightOfRoundTable ", wherein, classification " KnightOfRoundTable " comprises two parameters that name is called " name " and " quest ", parameter " name " is respectively " String (word string) " and " HolyGrailQuest " classification with the kenel of " quest ", in addition, target program 300 also comprises the function that name is called " embarkOnQuest ", function " embarkOnQuest " does not have the parameter of importing into, but has the passback data that kenel is a classification " HolyGrail ".But the target program that the present invention carried does not exceed with the classification " KnightOfRoundTable " shown in Fig. 3 A.
When the user needs test target journey 300 (classification " KnightOfRoundTable " just), at first need to provide the test data (step 210a) corresponding with target program 300.In the present embodiment, suppose that test data comprises the title of the target program of desire test, just " KnightOfRoundTable ", and the corresponding function test parameter of and function " embarkOnQuest ".Because in the present embodiment, function " embarkOnQuest " does not import parameter into, therefore, the function test parameter of and function " embarkOnQuest " correspondence is only for to be used for setting up the data " Sandy " that classification " KnightOfRoundTable " is tested, but the function test parameter that the present invention carried is not as limit.And if the function of target program 300 has the parameter of importing into, then with the corresponding function test parameter of this function except comprising the data of setting up classification " KnightOfRoundTable ", yet to comprise the data of importing parameter into, for example, if the Sino-Korean function " getData (String Name) " that comprises of classification " KnightOfRoundTable ", then the function test parameter that and function " getData (String prob) " is corresponding is used for setting up the data " Sandy " that classification " KnightOfRoundTable " tests except comprising, the data of the required parameter of importing into " prob " in the time of also can being included in call function " getData (String prob ", for example " name " etc.
After the user provides the test data (step 210a) corresponding with target program 300, the user can carry out the master routine of test target program, test data in the master routine insmods and 110 can be written into test data, then, target program parsing module 120 in the master routine can be obtained classification " KnightOfRoundTable " (step 220) according to the title " KnightOfRoundTable " of the target program in the test data 300, wherein, target program parsing module 120 can be obtained classification " KnightOfRoundTable " as the grammer in the procedure code 400 of Fig. 3 B " KnightOfRoundTable.getClass () ".
After target program parsing module 120 in master routine is obtained target program 300 (step 220) according to the title of the target program in the test data 300, target program parsing module 120 can continue to resolve the parameter and the function of classification " KnightOfRoundTable " by the procedure code 400 of Fig. 3 B, and produces corresponding analysis result (step 230).In the present embodiment, target program parsing module 120 can be obtained title and the kenel that grammer 420 parses the parameter that classification " KnightOfRoundTable " has by the parameter title, and can be again obtain the title that grammer 430 parses the function that classification " KnightOfRoundTable " has by function name, the kenel of passback data, and title and the kenel of importing parameter into, so, at least can record in the analysis result that target program parsing module 120 produced: the kenel of parameter " name " be " String ", the kenel of parameter " quest " is classification " HolyGrailQuest ", function " embarkOnQuest " does not have the parameter of importing into, but have kenel is the passback data of classification " HolyGrail ", but the analysis result that the present invention carried is not as limit.
After target program parsing module 120 in master routine produced the analysis result of corresponding target program 300, the test procedure generation module 130 in the master routine can generate the procedure code (step 250) of test procedure according to the analysis result that target program parsing module 120 is produced.In the present embodiment, the procedure code 500 of the test procedure that test procedure generation module 130 can generate is shown in Fig. 3 C, the function " testEmbarkOnQuest " that wherein comprises trial function " embarkOnQuest ", after function " testEmbarkOnQuest " is at first set up classification " KnightOfRoundTable " with function test parameter " Sandy ", carry out the function " embarkOnQuest " of the classification of being set up, and verify whether the result behind the execution function " embarkOnQuest " is null set (Null) and the classification " HolyGrail " for expecting, but the test procedure that the present invention carried is not as limit.
After test procedure generation module 130 in master routine generates the procedure code (step 250) of test procedure according to analysis result, test procedure execution module 150 in the master routine can be carried out test procedure (step 260), make that test procedure begins to carry out, so, test result (step 270) be tested and be produced to test procedure can to target program 300.In the present embodiment, suppose test procedure can carry out that function " testEmbarkOnQuest " is preceding, classification " KnightOfRoundTable " is set up the back, the front and back of trial function " embarkOnQuest " (carrying out function " embarkOnQuest ") and finish the test of function " testEmbarkOnQuest " after all export corresponding prompting word string, the generation test result that then test procedure produced promptly may comprise above-mentioned prompting word string, but the test result that the present invention carried is not as limit.In addition, test procedure also can be after testing function " embarkOnQuest ", the passback data of first output function " embarkOnQuest ", and corresponding word string is pointed out in output again, but the present invention is not as limit.
In addition, in the process that test procedure is tested target program 300, whether the passback data that test procedure can also be judged each function in the target program 300 legal (step 275).In the present embodiment, just whether the passback data of discriminant function " embarkOnQuest " is classification " HolyGrail ", and judged result can be outputed in the test result, but the present invention is not as limit.
After test procedure produced test result (step 270), test procedure just can output test result and watch to the user, makes the user can learn the test result of target program.Thus, because test procedure produces automatically by the present invention, the user does not need spended time to write test procedure again, and therefore, the present invention can satisfy and carries out unit testing and the demand of the development time that cuts the waste.
On practice, the present invention more can be shown in the flow process of Fig. 2 B, and after test procedure produced test result (step 270), the test result analysis module 160 in the master routine can be analyzed test result, and produces corresponding test report (step 280).In the present embodiment, suppose the known standard of test result analysis module 160 meeting uses, as standards such as " log4j ", in the test result that test procedure produced, take out specific data, as write down data outside the prompting word string of test process etc., then test result analysis module 160 can be preceding by rejecting execution function " testEmbarkOnQuest " in the test knot, after classification " KnightOfRoundTable " is set up, the front and back of trial function " embarkOnQuest " (carrying out function " embarkOnQuest "), and finish the prompting word string of being exported after the test of function " testEmbarkOnQuest ", whether complete successfully and only stay test, the data such as passback data of function " embarkOnQuest ", the data that these are left, through test result analysis module 160 rearrange combination after, can become the test report of target program 300, but the test report that the present invention carried is not as limit.
After test result analysis module 160 in master routine produces test report (step 280), output module 170 in the master routine just can be exported test report (step 290), make the user and just can carry out more can learning the test result of target program easily and fast the unit testing except not writing test procedure.
In the above-described embodiment, if test data that the user provided is except the program name that comprises target program, function test parameter, the function test result that also comprises and function test parameter correspondence, then the present invention can be shown in the flow process of Fig. 2 C, wherein, test result analysis module 160 more can be compared the passback data of function test result and function " embarkOnQuest ", and comparison result is added (step 286) in the test report.
Moreover, parsing target program of the present invention is to generate the method for testing of test procedure, can be implemented in the combination of hardware, software or hardware and software, also can in computer system, realize or intersperse among the dispersing mode of the computer system of several interconnected and realize with different elements with centralized system.
Though embodiment disclosed in this invention as above, only described content is not in order to direct qualification scope of patent protection of the present invention.Any persons of ordinary skill in the technical field of the present invention under the prerequisite that does not break away from spirit and scope disclosed in this invention, does a little change retouching to reaching of enforcement of the present invention in form on the details, all belong to scope of patent protection of the present invention.Scope of patent protection of the present invention, still must with appending claims the person of being defined be as the criterion.

Claims (10)

1. resolve target program to generate the method for testing of test procedure for one kind, it is characterized in that this method of testing comprises the following step at least:
One of corresponding target program test data is provided, and this test data comprises one of this target program program name at least, reaches a function test parameter;
One master routine is obtained this target program according to this program name;
This master routine is resolved parameter and the function in this target program, and produces an analysis result;
This master routine generates the procedure code of a test procedure according to this analysis result, this procedure code comprise with this function test parameter as with this target program in the grammer that imports parameter into of one of corresponding function;
This master routine is carried out this test procedure;
This test procedure is tested this target program and is produced a test result;
This master routine is analyzed this test result and is produced a test report; And
This master routine is exported this test report.
2. parsing target program as claimed in claim 1 is to generate the method for testing of test procedure, it is characterized in that, this master routine is resolved the step of parameter in this target program and function and is resolved the title and the kenel of the parameter in this target program for this master routine, and resolve each function in this target program all import the title of parameter and the kenel of the kenel and the data of passback into.
3. parsing target program as claimed in claim 1 is to generate the method for testing of test procedure, it is characterized in that, the passback data of function test result that one of it is corresponding with this function test parameter that the step that this master routine produces this test report comprises more that this master routine compares that this test data comprises and this function, and add the step of comparison result to this test report.
4. parsing target program as claimed in claim 1 is to generate the method for testing of test procedure, it is characterized in that whether legal the step that this test procedure produces a test result more comprise passback data the step that this test procedure is judged each function in this target program.
5. resolve target program to generate the method for testing of test procedure for one kind, it is characterized in that this method of testing comprises the following step at least:
One of corresponding target program test data is provided, and this test data comprises one of this target program program name, reaches a function test parameter;
One master routine is obtained this target program according to this program name;
This master routine is resolved parameter and the function in this target program, and produces an analysis result;
This master routine generates the procedure code of a test procedure according to this analysis result, and this procedure code comprises and imports this function test parameter into grammer that this target program is carried out;
This master routine is carried out this test procedure;
This test procedure is tested this target program and is produced a test result; And
This test procedure is exported this test result.
6. resolving target program to generate the test macro of test procedure for one kind, is in order to testing this target program, it is characterized in that, this test macro comprises at least:
One test data insmods, and one of sets up test data in order to be written in advance, and this test data is to should target program, and this test data comprises one of this target program program name, a function test parameter;
One target program parsing module, in order to obtaining this target program according to this program name, and in order to resolving parameter and the function in this target program, and produce an analysis result;
One test procedure generation module, in order to generating the procedure code of a test procedure according to this analysis result, this procedure code comprise with this function test parameter as with this target program in the grammer that imports parameter into of one of corresponding function;
One test procedure execution module in order to carrying out this test procedure, and is obtained this test procedure and is tested this target program and one of produce test result; And
One output module is in order to export this test result.
7. parsing target program as claimed in claim 6 is to generate the test macro of test procedure, it is characterized in that, this target program parsing module is for resolving the title and the kenel of the parameter in this target program, and resolve each function in this target program all import the title of parameter and the kenel of the kenel and the data of passback into.
8. parsing target program as claimed in claim 6 is characterized in that to generate the test macro of test procedure whether this test procedure is more legal in order to the passback data of judging each function in this target program.
9. parsing target program as claimed in claim 6 is to generate the test macro of test procedure, it is characterized in that, this test macro more comprises a test result analysis module, and in order to analyze this test result and to produce a test report, this output module is more in order to export this test report.
10. parsing target program as claimed in claim 9 is to generate the test macro of test procedure, it is characterized in that, this test result analysis module is the passback data of one of corresponding with this function test parameter function test result and this function in order to what compare that this test data comprises more, and adds comparison result to this test report.
CN2010101993244A 2010-06-09 2010-06-09 Test system and test method for analyzing target program to generate test program Pending CN102279788A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN2010101993244A CN102279788A (en) 2010-06-09 2010-06-09 Test system and test method for analyzing target program to generate test program

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN2010101993244A CN102279788A (en) 2010-06-09 2010-06-09 Test system and test method for analyzing target program to generate test program

Publications (1)

Publication Number Publication Date
CN102279788A true CN102279788A (en) 2011-12-14

Family

ID=45105250

Family Applications (1)

Application Number Title Priority Date Filing Date
CN2010101993244A Pending CN102279788A (en) 2010-06-09 2010-06-09 Test system and test method for analyzing target program to generate test program

Country Status (1)

Country Link
CN (1) CN102279788A (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN106502876A (en) * 2016-10-26 2017-03-15 腾讯科技(深圳)有限公司 Method and relevant device that a kind of focus function determines

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN106502876A (en) * 2016-10-26 2017-03-15 腾讯科技(深圳)有限公司 Method and relevant device that a kind of focus function determines

Similar Documents

Publication Publication Date Title
CN109379251B (en) Automatic testing method and system for GOOSE and SV communication of relay protection device process layer
US8539475B2 (en) API backward compatibility checking
Konrad et al. Facilitating the construction of specification pattern-based properties
CN103530223A (en) Method and device for automatically generating unit test cases
CN111459821A (en) Software automation unit testing method based on TestNG
CN104331366A (en) Test case design efficiency promotion method and system
US9134976B1 (en) Cross-format analysis of software systems
US20070061641A1 (en) Apparatus and method for generating test driver
US20080244541A1 (en) Code translator and method of automatically translating modeling language code to hardware language code
CN102331967A (en) Method for managing chip verification test cases
CN103425572A (en) Code analyzing method and system
CN103605556A (en) Virtual test subject integrally-constructing system and method
CN105760296A (en) Automation testing control method, device and terminal
CN103530209B (en) A kind of code keypad automated testing method
US20150286555A1 (en) System and method for converting the business processes to test-centric activity diagrams
CN106649110B (en) Software testing method and system
CN101957792A (en) Contract-based automatic check method for behavioral conflict problems in AOP application program
CN110286882B (en) Foreground system design and verification method based on model detection
CN102279788A (en) Test system and test method for analyzing target program to generate test program
EP2535813B1 (en) Method and device for generating an alert during an analysis of performance of a computer application
US20120123990A1 (en) Method And Device For The Quality Analysis Of System Models
Mu et al. Design and implementation of gui automated testing framework based on xml
JP2011154568A (en) Information processing apparatus, program verification method and program
CN110659215A (en) Open type industrial APP rapid development and test verification method
Ven et al. Experiences with the automatic discovery of violations to the normalized systems design theorems

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C02 Deemed withdrawal of patent application after publication (patent law 2001)
WD01 Invention patent application deemed withdrawn after publication

Application publication date: 20111214