发明名称 |
METHOD OF AUTOMATICALLY FORMULATING TEST CASES FOR VERIFYING AT LEAST ONE PART OF A PIECE OF SOFTWARE |
摘要 |
A method of automatic formulation by a computer of test cases for verifying at least one function of a piece of software in relation to a specification including requirements relating input values and output values of the software, the method including the steps of: distinguishing combinatorial requirements and sequential requirements; modeling combinatorial requirements by a truth table and sequential requirements by a finite state machine to obtain a modeled specification; establishing an operation matrix relating the input values of the software with a probability of them being in succession and a transition time between them; selecting the successions of input values to be tested by performing a Monte Carlo draw on the operation matrix; determining a test case including test rows relating each selected succession with the output values expected given the modeled specification; stopping the determination process when the test case being determined makes it possible to reach a predetermined threshold for at least one of the following criteria: verified percentage of function code, verified percentage of requirements, verification time, and verification cost. |
申请公布号 |
EP2286339(A1) |
申请公布日期 |
2011.02.23 |
申请号 |
EP20090761378 |
申请日期 |
2009.05.19 |
申请人 |
JOHNSON CONTROLS TECHNOLOGY COMPANY |
发明人 |
AWEDIKIAN, ROY;YANNOU, BERNARD;LEBRETON, PHILIPPE;BOUCLIER, LINE;MEKHILEF, MOUNIB |
分类号 |
G06F11/36 |
主分类号 |
G06F11/36 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|