[1]方贤文 赵艳 殷志祥.基于Petri网的软件测试分析[J].计算机技术与发展,2007,(02):96-98.
　FANG Xian-wen,ZHAO Yan,YIN Zhi-xiang.The Software Test Analysis Based on Petri Net[J].,2007,(02):96-98.
点击复制

基于Petri网的软件测试分析()
分享到：

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

卷:
期数:
2007年02期
页码:
96-98
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
The Software Test Analysis Based on Petri Net
文章编号:
1673-629X（2007）02-0096-03
作者:
方贤文 赵艳 殷志祥
安徽理工大学
Author(s):
FANG Xian-wen;  ZHAO Yan;  YIN Zhi-xiang
Anhui University of Science and Technology
关键词:
Petri网; 软件测试; C程序; Petri网模型
Keywords:
Petri net; software test; C program; Petri net model
分类号:
TP301.4
文献标志码:
A
摘要:
软件测试是发现软件中错误而检查文档、运行程序的一个过程。对软件文档和代码进行测试，是贯穿于整个开发生命周期的，尤其在开发早期，其作用更为重要。Petri网是一种好的分析工具，它能够动态运行程序模型，分析模型中存在的死锁、并发、冲突等问题，对程序正确性进行验证和分析
Abstract:
The software test is a process to inspect the documents and to run program for discovering the mistake in the software. Carrying on the test to the software documents and the code,is to pass through the entire development life cycle,it is especially more important in the development early time. The Petri net is one kind of good analysis tool, it can operate dynamically the program model, and analyze model whether exist the deadlock,concurrent,conflict and so on or not,and carry on the program validation and analysis

相似文献/References:

[1]张磊 王晓军.基于遗传算法的业务流程测试[J].计算机技术与发展,2010,(03):155.
　ZHANG Lei,WANG Xiao-jun.Test of Business Process Based on Genetic Algorithm[J].,2010,(02):155.
[2]翁辉 徐海珠 陈晓山.基于Petri网的装备战场抢修系统建模研究[J].计算机技术与发展,2010,(03):176.
　WENG Hui,XU Hai-zhu,CHEN Xiao-shan.Modeling Research on Equipment Battlefield Repair System Based on Petri Net[J].,2010,(02):176.
[3]李龙澍 胡正梁.基于Petri网的UML形式化建模应用分析[J].计算机技术与发展,2010,(04):76.
　LI Long-shu,HU Zheng-liang.Application Analysis and Formal Modeling of UML Based on Petri Net[J].,2010,(02):76.
[4]樊玮 朱贺.软件结构化测试用例自动生成方法[J].计算机技术与发展,2010,(05):26.
　FAN Wei,ZHU He.Summary of Method for Software Structured Testing Case Automatic Generation[J].,2010,(02):26.
[5]韩咚 田银花.基于赋时颜色Petri网的NSSK协议建模[J].计算机技术与发展,2010,(06):156.
　HAN Dong,TIAN Yin-hua.The Modeling of NSSK Protocols Based on Timed Colored Petri Nets[J].,2010,(02):156.
[6]高莉 李龙澍.基于UML状态图的测试技术研究[J].计算机技术与发展,2009,(05):68.
　GAO Li,LI Long-shu.A Survey about UML Statechart Testing[J].,2009,(02):68.
[7]徐晶明 杜宝珠.基于Petri网化简技术的工作流过程模型结构验证[J].计算机技术与发展,2009,(06):51.
　XU Jing-ming,DU Bao-zhu.Workflow Process Model Structure Verification Based on Petri Net Reduction Techniques[J].,2009,(02):51.
[8]胡文江 高永兵 樊瑞民 张健.基于Web服务的工作流执行优化方法探讨[J].计算机技术与发展,2009,(06):156.
　HU Wen-jiang,GAO Yong-bing,FAN Rui-min,et al.Research of Workflow Optimal Strategy Based on Web Services[J].,2009,(02):156.
[9]徐金宝 解芳 吴美红 李升.轻量级Java EE框架下软件测试的应用研究[J].计算机技术与发展,2009,(09):115.
　XU Jin-bao,XIE Fang,WU Mei-hong,et al.Research on Software Testing in Light - Weight Java EE Framework[J].,2009,(02):115.
[10]毛伟伟 于素萍.基于Petri网的Web服务动态组合[J].计算机技术与发展,2009,(11):61.
　MAO Wei-wei,YU Su-ping.Dynamic Web Service Composition Based on Petri Nets[J].,2009,(02):61.

备注/Memo

备注/Memo:
国家自然科学基金（30570431）;安徽省优秀青年基金（06042088）;安徽理工大学青年基金（2004020）及硕博基金项目方贤文（1975-），男，河南信阳人，讲师，硕士，研究方向为并行算法、Petri网；殷志祥，教授，博士，主要研究方向为DNA计算、智能计算
更新日期/Last Update: 1900-01-01