收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于Petri网的软件测试分析

方贤文  赵艳  殷志祥  
【摘要】:软件测试是发现软件中错误而检查文档、运行程序的一个过程。对软件文档和代码进行测试,是贯穿于整个开发生命周期的,尤其在开发早期,其作用更为重要。Petri网是一种好的分析工具,它能够动态运行程序模型,分析模型中存在的死锁、并发、冲突等问题,对程序正确性进行验证和分析。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 李文兵;C程序控制结构设计技巧[J];软件世界;1994年05期
2 梁冬冬,王修信;语音压缩处理C程序在DSP中的实现[J];广西物理;2003年04期
3 刘秀军,赵会全;自动躲避每月26日的C程序[J];电脑学习;1999年06期
4 纪铁军 ,柳长源 ,赵爱明;TMS320F24x的混合编程方法[J];单片机与嵌入式系统应用;2004年08期
5 李军;优化C程序的执行速度[J];电脑编程技巧与维护;1995年10期
6 朱秀英,姜跃胜;实用C程序调用汇编程序的方法[J];计算机时代;2001年11期
7 苗专生;;自定义C函数成为系统库函数的实现方法[J];云南民族大学学报(自然科学版);2006年04期
8 章毅;高燕燕;;浅谈C程序中指针参数如何传递内存[J];电脑知识与技术;2008年S2期
9 王祥瑞;;C语言中的内存泄漏分析[J];长春大学学报;2009年06期
10 曾凌峰;;浅谈软件测试方法[J];科技资讯;2006年03期
11 袁敏;王志刚;李琼;;浅析软件测试中故障模型的建立[J];电脑知识与技术(学术交流);2007年12期
12 袁敏;王志刚;李琼;;浅析软件测试中故障模型的建立[J];电脑知识与技术(学术交流);2007年16期
13 郑英;;C程序实现牛顿迭代法的教学探讨[J];内江师范学院学报;2006年04期
14 张融;;浅谈C程序中的常见错误[J];太原大学教育学院学报;2008年02期
15 李红艳;C程序与FoxPro间的数据传送[J];胜利油田职工大学学报;2001年02期
16 冯捷;;软件测试浅谈[J];电脑知识与技术;2005年36期
17 周晓宇;聂长海;徐宝文;陈火旺;;两两组合覆盖测试数据自动生成集成工具的设计与实现[J];计算机科学;2005年01期
18 袁阳;槐博超;陈巨龙;;基于VxWorks平台的嵌入式实时软件测试方法[J];船电技术;2010年08期
19 崔亮飞;;基于LABVIEW的软件平台测试[J];信息系统工程;2010年09期
20 顾莉;;实现VB调用C程序动态链接库的方法[J];福建电脑;2010年10期
中国重要会议论文全文数据库 前10条
1 栾静;贺英杰;;软件测试方法及用例的设计分析[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集(上册)[C];2010年
2 郑成文;张海粟;韩柯;陈昱松;张乐飞;;一种基于相似性度量的软件测试方法[A];第六届中国测试学术会议论文集[C];2010年
3 焦玉勇;刘泉声;郭启军;许锡昌;;3D DEM在节理岩体研究中的应用初探[A];世纪之交软岩工程技术现状与展望[C];1999年
4 宫云战;;软件测试技术的研究进展[A];第十届全国容错计算学术会议论文集[C];2003年
5 王商武;张长水;韩曾晋;;FMS运行中死锁的预测和避免[A];1993中国控制与决策学术年会论文集[C];1993年
6 胡瑜;陈光(礻禹);;GPIB高速数据传输协议的Petri网模型及分析[A];首届信息获取与处理学术会议论文集[C];2003年
7 李华莹;于秀山;;基于静态测试工具的软件测试方法研究[A];中国电子学会可靠性分会第十四届学术年会论文选[C];2008年
8 张成才;梁永会;李红伟;;河南航道基础地理信息系统测试方案研究与设计[A];《测绘通报》测绘科学前沿技术论坛摘要集[C];2008年
9 赵海廷;;程序系统间数据传递的实现方法[A];第十五届电工理论学术年会论文集[C];2003年
10 牛亚文;边计年;吴强;薛宏熙;;HCDFG-Ⅱ—面向C语言系统描述的控制/数据流图表示[A];全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集[C];2004年
中国博士学位论文全文数据库 前7条
1 田娥;基于Petri网建模的机务段业务流程控制信息化系统的研究[D];武汉理工大学;2007年
2 杨海晶;基于柔性SCADA的电网复杂故障诊断方法的研究[D];华北电力大学(河北);2009年
3 李勇;基于软件事务内存的并行程序验证[D];中国科学技术大学;2011年
4 唐见兵;作战仿真系统可信性研究[D];国防科学技术大学;2009年
5 李克文;软件质量测评模型与测试数据生成方法研究[D];天津大学;2012年
6 潘丽丽;软件测试用例集简化及其构建方法研究[D];湖南大学;2009年
7 赵显琼;基于模型的高速列车运行控制系统可信性验证方法研究[D];北京交通大学;2012年
中国硕士学位论文全文数据库 前10条
1 叶皑;自动售检票软件测试方法及其工具应用研究[D];东华大学;2010年
2 赵承霞;面向用户的软件柔点测试[D];燕山大学;2010年
3 周荣;安全苛求软件测试方法在CTCS-3级列控系统车载设备测试中的应用研究[D];北京交通大学;2012年
4 李雷;基于SCADE的CBTC区域控制器软件测试方法研究[D];北京交通大学;2011年
5 王文清;软件测试方法在教育网络平台开发中的应用[D];上海师范大学;2010年
6 朱叶;基于可信包装的可信软件构造模型[D];河北大学;2011年
7 万丁玮;航天器故障诊断系统软件测试方法研究[D];西安工业大学;2010年
8 吴青林;基于组合开源框架的Web应用软件测试方法的研究[D];湖北工业大学;2010年
9 孙海涛;软件可靠性评价与辅助测试系统的设计与实现[D];电子科技大学;2010年
10 顾蕾蕾;基于复杂网络的软件优先测试策略研究[D];南京信息工程大学;2012年
中国重要报纸全文数据库 前10条
1 特约撰稿 张勇;基于需求的测试:确保需求与软件的统一[N];计算机世界;2011年
2 天津 王磊;二级C语言试题讲解基础篇[N];电脑报;2005年
3 磁动力工作室 明浩;单片机C语言入门讲座(一)—建立C51项目[N];电子报;2005年
4 ;名师讲解经典必考题型(二)[N];电脑报;2005年
5 广东 云飘飘的;冲浪小贴士[N];电脑报;2003年
6 浙江 朱永章;初识编译器gcc[N];电脑报;2004年
7 本报记者 朱玉文;静下心来,成功的开始[N];华夏时报;2004年
8 本报记者 郭平;从共享走向共赢[N];计算机世界;2003年
9 淮河水手;远程控制新法宝[N];电脑报;2004年
10 高华;拓林思蓄势而发[N];中国计算机报;2002年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978