«上一篇/Previous Article|本期目录/Table of Contents|下一篇/Next Article»

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:

期数:

2011年01期

页码:

9-11

栏目:

智能、算法、系统工程

出版日期:

1900-01-01

文章信息/Info

Title:

Application of Coloured Petri Nets in Parallel Test

文章编号:

1673-629X（2011）01-0009-03

作者:

李金奎 刘久富 娄坚波 王伟

南京航空航天大学自动化学院

Author(s):

LI Jin-kui;  LIU Jiu-fu;  LOU Jian-bo;  WANG Wei

College of Automation, Nanjing University of Aeronautics and Astronautics

关键词:

有色petri网; 并行测试; 可达树

Keywords:

petri nets; concurrent testing; reachability tree

分类号:

TP311

文献标志码:

A

摘要:

并行测试技术对推动科学的发展起着重要作用，如今科学技术的发展和工程问题的解决都离不开并行处理技术。传统的串行测试方法和串行任务调度方法日益体现出了它的局限性。文中将并行测试调度与建模方法作为主要研究内容，以并行任务调度算法为基础，依据有色petri网的建模理论与方法，建立了基于实例的并行测试系统有色Petri网模型，用有色Pe们网的可达树方法分析验证所建立模型的有界性、活性、公平性。验证结果证明了所建模型的正确性，解决了并行测试建模难的问题，提出了一种新的对复杂系统的建模方法

Abstract:

Parallel test technologies plays an important role for advancing the development of science, now science and technology devel- opment and solution the problem of engineering, which can not be separated by parallel processing technology. Traditional method of serial testing and serial scheduling method increasingly reflect its limitations. Make parallel test scheduling and modeling method as main contents,base on parallel task scheduling algorithm and colored petri net,set up a parallel test model on case. At last the model＇ s character such as boundedness,liveness, fairness was verified by colored petri net reachability tree. Test results prove that it is correct to set up that model, the method solves the difficult problem of parallel test model, give a new method of modeling complex systems

备注/Memo

备注/Memo:

南京航空航天大学青年科学创新基金（NS2010069）李金奎（1985-），男，甘肃庆阳人，硕士研究生，研究方向为并行测试；刘久富，博士，研究方向为计算机科学与软件测试技术

常用功能

更新日期/Last Update: 1900-01-01