Real-Time Extended Interface Automata for Software Testing Cases Generation

Table 2

Comparing RTEIA with other automata models.

Model type	Description of temporal information	Judgment of combination and complexity	Input control	Being applied in the software testing field
Interface automata	No	Yes	No	Yes, focuses on path covering and does not contain temporal information
Timed automata	Yes, can describe time information by logic relationship	No	No	Yes, focuses on collating logic information and path covering
Timed interface; automata	Yes, but cannot describe period information	Yes	No	No
RTEIA	Yes, can describe temporal information by time words	No	Yes, can control the input by establishing the input automata	Yes, can describe temporal information completely and contain interface covering.