软件测试是软件工程中保证软件产品质量的重要组成部分。本文概述了基于错误的软件测试方法,重点介绍了一种基于错误的软件测试方法即变异测试,一种衡量测试用例集完备性的测试策略,也被用于生成完备的测试用例集。变异测试是一种行之有效的软件测试方法,通过使用变异算子产生变异体系统模拟软件中的各种缺陷,然后构造能够*这些变异体的测试数据集。最后分析了变异测试与可靠性研究,并介绍了变异测试相关的应用以及研究的前景。

基于模式的静态代码分析、运行时内存监测、单元测试以及数据流分析等软件验证技术是查找嵌入式C语言程序/软件缺陷行之有效的方法。上述技术中的每一种都能查找出某一类特定的错误。即便如此，如果用户仅采用上述技术中的一种或者几种来进行验证，这样的验证方法很有可能会漏过对程序中的一些缺陷的检查。解决此类问题的一种安全和有效的策略就是同时使用上述软件验证中的所有互补技术。这样就能建立起一个牢固的框架来帮助用户检查出可能会避开某种特定技术的缺陷。与此同时，用户也自然地建立起一个能检测出关键并且难以查找的功能性错

在最近的一个大型项目中，我们在早期就定下了一个目标：不会在软件中使用大量QA人员专注于手工测试。通过手工测试发现bug极其耗时且成本高昂，这促使团队尝试尽可能的将质量内嵌 　　在最近的一个大型项目中，我们在早期就定下了一个目标：不会在软件中使用大量QA人员专注于手工测试。通过手工测试发现bug极其耗时且成本高昂，这促使团队尝试尽可能的将质量内嵌到产品内部。但这并不意味着手工测试毫无价值，因为人们总能在怎样使用软件上给你一些特别的惊喜。 　　这是一个为期18个月左右，周期很长的项目，并且后续也会