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

• 作者: 赵琛
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 分布式多媒体软件系统 时序描述 带时间自动机
• 年，卷（期）: 1999,（12）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 1289-1294
• 页数: 6页
• 分类号: TP301
• 字数: 5854字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.1999.12.010

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵琛	中国科学院软件研究所计算机开放研究实验室	18	65	5.0	7.0