位置:成果数据库 > 期刊 > 期刊详情页
基于Petri网的测试路径选择标准
  • ISSN号:1000-1638
  • 期刊名称:《内蒙古大学学报:自然科学版》
  • 时间:0
  • 分类:TP393.06[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]内蒙古大学计算机学院,呼和浩特010021
  • 相关基金:国家自然科学基金项目(60263002).内蒙古科技攻关项目(2002061002);内蒙古自然科学基金项目(200408020806)
中文摘要:

首先介绍了Petri网在分析系统方面的优点,给出基于Petri网进行测试研究的相关概念,提出了基于Petri网的考虑控制流进行测试的标准,也给出了考虑数据流进行测试的标准.然后通过例子,给出了基于各个标准产生的测试路径,最后给出了结论以及下一步应考虑的问题.

英文摘要:

The advantages of Petri net in a system analysis are introduced. Some concepts based on Petri net for research of testing are presented. Moreover,based on Petri net,the testing criteria of considering control flow are given as well as data flow. The test paths of an example to satisfy each testing criteria are listed in a table. Finally the conclusion and the problems which should be considered are presented.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《内蒙古大学学报:自然科学版》
  • 北大核心期刊(2011版)
  • 主管单位:内蒙古自治区教育厅
  • 主办单位:内蒙古大学
  • 主编:李光鹏
  • 地址:呼和浩特市赛罕区大学西路235号
  • 邮编:010021
  • 邮箱:
  • 电话:
  • 国际标准刊号:ISSN:1000-1638
  • 国内统一刊号:ISSN:15-1052/N
  • 邮发代号:16-67
  • 获奖情况:
  • 综合性科技类核心期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘(网络版),美国数学评论(网络版),德国数学文摘,英国动物学记录,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:6683