Research Article
Real-Time Extended Interface Automata for Software Testing Cases Generation
Begin: | = ENTRY, ; // denotes all the controllable operating segments that | have been searched already, denotes the current segments, denotes the produced test cases, | Cov denotes the coverage. | While ( and | { | If (find a unmarked and and ) | { | Record and mark it; | If () | { | Record these execution ; | ; | Run and refresh Cov; | } | ; | ; | | } | ; | ; | } | End. |
|