10.3969/j.issn.1673-629X.2007.02.028
基于Petri网的软件测试分析
软件测试是发现软件中错误而检查文档、运行程序的一个过程.对软件文档和代码进行测试,是贯穿于整个开发生命周期的,尤其在开发早期,其作用更为重要.Petri网是一种好的分析工具,它能够动态运行程序模型,分析模型中存在的死锁、并发、冲突等问题,对程序正确性进行验证和分析.
Petri网、软件测试、C程序、Petri网模型
17
TP301.4(计算技术、计算机技术)
国家自然科学基金30570431;安徽省优秀青年科技基金06042088;安徽理工大学校科研和教改项目2004020;安徽理工大学校科研和教改项目
2007-03-21(万方平台首次上网日期,不代表论文的发表时间)
共4页
96-98,102