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

摘要：

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

关键词：分布式多媒体软件系统、时序描述、带时间自动机

所属期刊栏目：22

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金

在线出版日期：2005-08-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1289-1294