面向媒体时序描述的带时间自动机的自动构造方法

摘要

依据有穷状态自动机模型,面向程序规范的并发系统和分布式系统测试方法的研究已经取得许多结果.由于特殊的实时和同步要求,这些结果不能直接应用于分布式多媒体软件系统的测试.为此,作者提出一种面向媒体对象时序描述的带时间自动机(Timed automata)的自动构造方法,根据带时间自动机,对分布式多媒体软件系统进行非确定性测试时,可以较容易地判断运行结果正确与否;在进行确定性测试时,可以辅助自动生成测试用例.