Computer program verification; Software reliability; Quality control; Softwareengineering; Computer program reliability; Reliability engineering; Data flow analysis; Test and evaluation;
机译:基于组件的软件的最新集成测试技术的比较评估
机译:一种评估软件测试技术可靠性的新方法
机译:自然语言软件需求可测试性技术的分析有效性评估
机译:软件测试技术评估方案
机译:不断发展的软件中代码克隆和重构的程序检查和测试技术
机译:使用模糊逻辑技术确定基于断言的软件测试指标
机译:使用启发式技术根据设计规范生成软件测试数据。在自动生成软件测试数据和测试代码中探索UML状态机图和基于GA的启发式技术。