基于有色Petri网理论的并行自动测试系统建模研究

摘要

提高自动测试系统的性能是当前测试领域的一个重要研究内容.随着测试设备和测试方法的发展,传统的自动测试系统串行任务调度和系统组建方法已成为限制系统性能的瓶颈.近年来,国内外学术界已开始进行自动测试系统并行任务调度以及自动测试系统组建方法的研究,并取得了初步成果.该论文对自动测试系统的并行任务调度及自动测试系统Petri网建模中的若干重要问题进行了深入、系统地研究,提出了两种并行任务调度算法和相应的自动测试系统有色Petri网模型,并结合实际研究课题,对雷达接收机自动测试系统的任务调度和设计验证进行了理论研究和实验分析,得到了有价值的成果.

目录

文摘

英文文摘

独创性声明及使用授权的说明

第一章绪论

1.1研究背景及意义

1.2研究现状

1.2.1并行处理技术

1.2.2形式化设计技术

1.3本文的主要工作与结构安排

第二章自动测试系统的并行任务调度算法

2.1并行任务调度的基本概念

2.2假设条件

2.3并行任务调度算法TaskScheduler

2.3.1TaskScheduler算法

2.3.2举例

2.4并行任务调度算法TaskScheduler-T

2.4.1 TaskScheduler-T算法

2.4.2 举例

2.5仿真实验结果与讨论

2.6本章小结

第三章自动测试系统的有色Petri网模型

3.1有色Petri网的基本理论

3.1.1 Petri网的定义

3.1.2 有色Petri网的静态结构

3.1.3 有色Petri网的动态行为

3.2 自动测试系统的组成及测试过程

3.2.1 自动测试系统的组成

3.2.2 自动测试系统的测试过程

3.3并行自动测试系统的有色Petri网模型

3.3.1 TaskScheduler算法的有色Petri网模型

3.3.2 TaskScheduler-T算法的有色Petri网模型

3.4本章小结

第四章自动测试系统有色Petri网模型的性质验证

4.1 Petri网的基本性质

4.1.1 动态性质

4.1.2 结构性质

4.2 Petri网的性质分析方法

4.2.1可达树方法

4.2.2线性代数方法

4.3 TaskScheduler算法的有色Petri网模型验证

4.3.1 基于可达树的动态性质验证

4.3.2 基于线性代数的结构性质验证

4.4 TaskScheduler-T算法的有色Petri网模型验证

4.4.1 基于可达树的动态性质验证

4.4.2 基于线性代数的结构性质验证

4.5本章小结

5.1雷达接收机原理及测试方法

5.1.1 雷达接收机原理

5.1.2 主要技术指标及测试方法

5.2雷达接收机自动测试系统的结构

5.3雷达接收机自动测试系统的并行任务调度

5.3.1 基于TaskScheduler算法的并行任务序列

5.3.2 仿真实验结果及讨论

5.4并行雷达接收机测试系统的有色Petri网模型

5.5有色Petri网模型分析

5.5.1 基于可达树的动态性质分析

5.5.2 基于线性代数方法的结构性质分析

5.6本章小结

第六章结束语

参考文献

致谢

个人简历、在学期间的研究成果及发表的学术论文