Testing; Software; Computer architecture; Concurrent computing; NASA; Automation; Context;
机译:推进测试自动化技术以应对基于模型的软件测试的挑战-客座编辑介绍了第三届IEEE国际软件测试自动化研讨会(AST 2008)的特殊部分
机译:软件用户语音结构,供应商响应-《自动化世界》读者报告称,自动化软件的使用体验不尽人意,而供应商则试图改善这种体验
机译:正规工程方面的经验:Neopost上基于模型的规范,软件总线的实现和测试
机译:经验报告:基于模型的Concurrent Flight Software Bus的测试自动化
机译:实践中的软件指标:问题报告和变更管理系统的自动化
机译:NASA太空飞行软件的软件可靠性分析:实践经验
机译:正规工程方面的经验:Neopost上基于模型的规范,软件总线的实现和测试