...
机译:用于测试安全关键软件的工具和技术
Dept. of Eng., Warwick Univ., Coventry;
program testing; research initiatives; safety; software reliability; software tools; CONTESSE project; DTI/SERC initiative; DTI/SERC research initiative; computer-aided testing; high-integrity software; leading UK companies; safety-critical computer-based systems; safety-critical software testing; safety-critical systems;
机译:安全关键嵌入式软件的软件测试技术
机译:适用于安全关键型应用的基于实时内核的可编程逻辑控制器的软件认证:工具和技术
机译:MIS应用手册。软件测试:通过测试确保质量的方法,技术和工具。丹尼尔·莫斯利(Daniel J. Mosley)。由美国新泽西州恩格尔伍德悬崖的Prentice Hall出版,1992年。ISBN13 907007 9,356页。价格:31.50美元,精装书
机译:提供权衡技术子集,以提高软件测试效果:使用进化算法支持Web工具选择软件测试技术
机译:安全关键型计算机控制系统的软件生命周期和分析技术。
机译:敏捷方法的开源安全关键软件
机译:最新软件测试工具和技术:审查