面向媒体时序描述的带时间自动机的自动构造方法
文献类型：期刊论文
| 作者 | 赵琛 |
| 刊名 | 计算机学报
 |
| 出版日期 | 1999 |
| 卷号 | 22期号:12页码:1289-1294 |
| 关键词 | 分布式多媒体软件系统 时序描述 带时间自动机 |
| ISSN号 | 0254-4164 |
| 其他题名 | construction of timed automata for temporal specification of a distributed multimedia software system |
| 中文摘要 | 依据有穷状态自动机模型，面向程序规范的并发系统和分布式系统测试方法的研究已经取得许多结果．由于特殊的实时和同步要求，这些结果不能直接应用于分布式多媒体软件系统的测试．为此，作者提出一种面向媒体对象时序描述的带时间自动机（Ｔｉｍ ｅｄ ａｕｔｏｍ ａｔａ）的自动构造方法，根据带时间自动机，对分布式多媒体软件系统进行非确定性测试时，可以较容易地判断运行结果正确与否；在进行确定性测试时，可以辅助自动生成测试用例 |
| 收录类别 | wanfang,cnki,cscd |
| 资助信息 | 中国计算机学会 |
| 语种 | 中文 |
| 公开日期 | 2010-08-25 |
| 源URL | [http://124.16.136.157/handle/311060/4686]  |
| 专题 | 软件研究所_基础软件国家工程研究中心_期刊论文 |
| 推荐引用方式 GB/T 7714 | 赵琛. 面向媒体时序描述的带时间自动机的自动构造方法[J]. 计算机学报,1999,22(12):1289-1294. |
| APA | 赵琛.(1999).面向媒体时序描述的带时间自动机的自动构造方法.计算机学报,22(12),1289-1294. |
| MLA | 赵琛."面向媒体时序描述的带时间自动机的自动构造方法".计算机学报 22.12(1999):1289-1294. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。