10.5.1 软件验证与确认
进行软件验证与确认是为了在表10-3中提到的各种类型的测试期间中去除缺陷。当您进行软件确认时，您是在回答第一个问题，而软件验证则回答第二个问题。确认是针对软件规范对软件特性进行审计。根据IEEE Std1012:
软件验证与确认(V&V)是系统工程的技术学科。软件V&V的目的是为了帮助开发机构确保软件在软件生命周期中的质量。软件V&V过程决定了为指定的活动开发的产品是否符合该活动的需求，以及软件是否满足了预期用途和用户需要。这个判定包括了对软件产品和过程的评估、分析、鉴定、审查、检查和测试。软件V&V与软件开发同步进行，并不是位于软件开发结束时。
在SDLC的需求和分析活动中，生成软件规范。出于本书所讨论的多核应用程序设计的目的，规范来自PADL分析以及PBS的设计模型和实现模型。当您执行软件验证时，是在检查软件是否符合这些规范。当您从事于确定软件是否实际执行用户希望的工作时，您是在回答第二个问题。验证是实现"软件的正确(software right)"，而确认是实现"正确的软件(right software)"。软件测试过程的大部分可以被描述为验证过程或确认过程。最终，在SDLC中必须进行表10-3中所有类型的测试。
除了表10-3列出的7种测试类型，还有6种重要的错误与并行编程(www.cppentry.com)相关，需要您引起注意。表10-4列出了常见的并行编程(www.cppentry.com)错误以及它们的描述。
表10-4
|
常见并行编程(www.cppentry.com)错误< xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" /> |
描 述 |
|
死锁 |
任务等待不会发生的事件 |
|
优先级倒置 |
发生在较低优先级的任务阻塞了较高优先级
任务的执行时，这种情况在使用同步变量
或对资源进行竞争时发生 |
|
性能降级 |
发生在系统的性能在响应性、执行时间、
结果计算等方面降低或降级时 |
|
无限期推迟 |
发生在当其他任务受到注意并分配到资
源时，系统无限期地拖延了任务的调度 |
|
互斥量耗尽 |
发生在系统达到能够创建的互斥量的最大数目时 |
|
线程耗尽 |
发生在系统达到能够分配的线程的最大数目时 |