分支冲突相关论文
软件测试工具很难达到通用的目标，大多数该类工具都是具体针对某一种或几种程序语言的。对于目前我军常用的程序编写语言开发相应的......
考虑程序中分支冲突和异常处理结构对控制流信息的影响，提出一种改进的程序可达基路径生成方法。分析不可达路径产生的原因及其判定......
面向对象软件测试的主要问题是考虑类间交互的集成测试,交互测试能检查出对象间的消息传递产生的不可达路径.设计了一种约束型标记......
