XYZ系统在多媒体领域的应用研究
文献类型：学位论文
| 作者 | 赵琛 |
| 学位类别 | 博士 |
| 答辩日期 | 2000 |
| 授予单位 | 中国科学院软件研究所 |
| 授予地点 | 中国科学院软件研究所 |
| 关键词 | 多媒体系统 XYZ系统 时序描述 逐步求精 自动转换 基于描述的测试 形式化方法 |
| 学位专业 | 计算机软件与理论 |
| 中文摘要 | 本文主要研究XYZ系统在多媒体领域的应用问题。XYZ系统是一个以增强软件可靠性和提高软件生产率为目的的程序开发支撑系统，它由时序逻辑语言（TLL：Temporal Logic Language）XYZ/E和以该语言为基础的一组软件工程工具组成。为了在多媒体领域中应用逐步求精、程序自动生成和面向形式规范的并发系统测试等形式化技术，本文首先研究一个表达能力足够的Allen区间代数（Interval Algebra）的子集合，以它作为多媒体对象时序关系的描述语言。其次，本文研究基于该描述语言的基本求精规则。对这些规则作严格的正确性证明之后，在利用这些规则进行逐步求精过程中，无需再进行语义一致性检查，从而简化了求精过程，便于多媒体领域的工程师接受逐步求精方法。接着，本文研究了从时序描述到XYZ/RE表示的可执行同步器的自动转换，XYZ/RE 是时序逻辑语言族XYZ/E中表示实时系统的子语言。最后，本文对一类特殊的时序描述分别给出自动生成事件序列前后约束（CSPE：Constraints on Succeeding and Preceding Events）和时间自动机（Timed Autoamta)的方法，依据生成的结果，一方面可以应用CSPE的测试理论和工具进行同步器的同步测试；另一方面根据时间自动机，进行非确定性测试，可以较容易地判断运行结果正确与否，在进行确定性测试时，可以辅助自动生成测试用例。 |
| 语种 | 中文 |
| 公开日期 | 2011-03-17 |
| 页码 | 92 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/7030]  |
| 专题 | 软件研究所_中科院软件所_中科院软件所 |
| 推荐引用方式 GB/T 7714 | 赵琛. XYZ系统在多媒体领域的应用研究[D]. 中国科学院软件研究所. 中国科学院软件研究所. 2000. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。