• 软件体系结构中构件最短路径的设计与实现

    软件体系结构中构件最短路径的设计与实现

    论文摘要随着软件系统规模的剧增,软件开发变得越来越复杂。历史上,大型软件失败的事件屡见不鲜。此类的事件频频发生,如何提高整个开发软件的质量成为新的研究焦点。作为软件开发中的设计...
  • 基于Petri网的并发程序测试路径生成

    基于Petri网的并发程序测试路径生成

    论文摘要随着并发软件的广泛应用,并发软件的测试成为很多学者的研究对象。然而,并发程序执行测试路径时的不确定性使其测试难度加剧。Petri网在描述并发方面具有其它系统模型无法比拟...