关键词: 构件，实时系统，行为相容性，测试用例产生，时间自动机

Abstract: Although component based software development has gained widespread use, composition of the component based real-time system is still complicated and error-prone. This paper presented an approach for behavioral compatibili- ty test generation of component based real-time system. Necessary extensions of timed automata (hA) were proposed such that the new model can describe the real-time component. Then, a compatibility coverage criterion was proposed and the behavioral compatibility test generation was converted into reachability analysis of the model, based on which the corresponding algorithm was given. Finally, through an example we demonstrated how our technique works and per- forms.

Key words: Component, Rcal-time system, Bchavioral compatibility,Tcst generation, I}imcd automata