并发程序分析论文

依赖性分析及其在软件测试中的应用
论文摘要依赖性分析和程序切片,是一种程序分解技术,在软件工程的诸多领域都有广泛应用。现代软件规模的巨大和复杂使得设计和测试这些软件极其困难,其中软件测试通常要占到开发成本的50...