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

	面向媒体时序描述的带时间自动机的自动构造方法
其他题名	construction of timed automata for temporal specification of a distributed multimedia software system
	赵琛
	1999
发表期刊	计算机学报
ISSN	0254-4164
卷号	22 期号:12 页码:1289-1294
摘要	依据有穷状态自动机模型，面向程序规范的并发系统和分布式系统测试方法的研究已经取得许多结果．由于特殊的实时和同步要求，这些结果不能直接应用于分布式多媒体软件系统的测试．为此，作者提出一种面向媒体对象时序描述的带时间自动机（Ｔｉｍｅｄａｕｔｏｍａｔａ）的自动构造方法，根据带时间自动机，对分布式多媒体软件系统进行非确定性测试时，可以较容易地判断运行结果正确与否；在进行确定性测试时，可以辅助自动生成测试用例
收录类别	wanfang,cnki,cscd
关键词	分布式多媒体软件系统时序描述带时间自动机
部门归属	基础软件国家工程研究中心
资助者	中国计算机学会
语种	中文
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/4686
专题	基础软件国家工程研究中心
推荐引用方式 GB/T 7714	赵琛. 面向媒体时序描述的带时间自动机的自动构造方法[J]. 计算机学报,1999,22(12):1289-1294.
APA	赵琛.(1999).面向媒体时序描述的带时间自动机的自动构造方法.计算机学报,22(12),1289-1294.
MLA	赵琛."面向媒体时序描述的带时间自动机的自动构造方法".计算机学报 22.12(1999):1289-1294.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
15.pdf（205KB）			开放获取	--	请求全文