Institutional Repository
| 面向媒体时序描述的带时间自动机的自动构造方法 | |
| Alternative Title | construction of timed automata for temporal specification of a distributed multimedia software system |
| 赵琛 | |
| 1999 | |
| Source | 计算机学报
 |
| ISSN | 0254-4164 |
| Volume | 22Issue:12Pages:1289-1294 |
| English Abstract | 依据有穷状态自动机模型，面向程序规范的并发系统和分布式系统测试方法的研究已经取得许多结果．由于特殊的实时和同步要求，这些结果不能直接应用于分布式多媒体软件系统的测试．为此，作者提出一种面向媒体对象时序描述的带时间自动机（Ｔｉｍ ｅｄ ａｕｔｏｍ ａｔａ）的自动构造方法，根据带时间自动机，对分布式多媒体软件系统进行非确定性测试时，可以较容易地判断运行结果正确与否；在进行确定性测试时，可以辅助自动生成测试用例 |
| Indexed Type | wanfang,cnki,cscd |
| Keyword | 分布式多媒体软件系统 时序描述 带时间自动机 |
| Department | 基础软件国家工程研究中心 |
| Sponsorship | 中国计算机学会 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/4686 |
| Collection | 基础软件国家工程研究中心 |
| Recommended Citation GB/T 7714 | 赵琛. 面向媒体时序描述的带时间自动机的自动构造方法[J]. 计算机学报,1999,22(12):1289-1294. |
| APA | 赵琛.(1999).面向媒体时序描述的带时间自动机的自动构造方法.计算机学报,22(12),1289-1294. |
| MLA | 赵琛."面向媒体时序描述的带时间自动机的自动构造方法".计算机学报 22.12(1999):1289-1294. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 15.pdf（205KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment