集成轿车电子硬件和软件测验的需求，可所以开发更为流通，本钱更为低价。对要求可盯梢性和验证的需求像一个契约要求给轿车电子供货商施加着影响。跟着频率的进步，厂商逐步意识到以要求为根底的测验通常是软件开发工程成功的重要要素。
作为一种可交付运用的合同，或更一般地说，作为一种劳动产品，要求可盯梢性的使命生成了一个测验验证矩阵(TVM)，TVM是一个很难制成的产品，这个进程消耗着从其他生产率更高的活动中转移过来的有价值的资源。
在人们企图经过项目的测验、集成和打开阶段去维护TVM之时，TVM的实在重要性才会显现出来。当缺点呈现时，TVM的固有缺乏和它代表的人工处理就会以缺点的方式露出出来。确切的说，大部份这类缺点都归因于对要求办理，包含要求承认、分配和正确的完成。事实上，记载显现高达70% 的此类缺点被归类为与要求办理相关!
下个应战是生成一个专门面向开发和测验团队的、作业在现有东西和程序环境中的要求可盯梢性计划。现在，大多数的客户LDRA具有要求数据库或扁平的文档处理才能，在此，他们界说而且维护体系或高档其他需求。
推迟映射
一些客户把这些高档其他要求映射到顶层的规划；乃至较少把这些要求映射为实践制作规划和源代码。大体上，客户至少要把要求映射到验证这些要求的测验用例。但是，当用户等候测验以履行要求可盯梢性之前，过错映射呈现的或许性非常大，尤其在体系测验中。
呈现这么晚的要求映射的原因在于，项目经理的办公室和开发工程师作业站的测验环境或在实验室方针体系上的要求数据库对操作束缚施加了影响。或许在远端，转包商正在履行测验。在最小程度上，这些操作束缚规则，要在要求数据库和该测验环境之间进行某种级其他集成，以引进一种主动的处理计划。。
一种更有用的办法是至少把要求映射到(或具体的)实践制作规划和嵌入式源代码。映射已构建的体系是测验资历或测验准备进程的组成部分，测验准备程序决议要求和代码之间的适宜联系；这种查看得到的一个推论便是，要消除源代码中的抛弃代码(用不上的代码)。此外，或许引起争议的是，行不通的代码或在任何测验数据组合之下不能运转的代码，也应该在测验准备就绪之前校对或铲除。
要求可盯梢性的最佳处理办法包含：第一步，把体系要求映射为最高层规划，在运用一个规划建模东西时适当地履行(该选项在 LDRA 白皮书“LDRA Tool Suite/ Telelogic I-logix Rhapsody Integration ”)。
原型规划
现有的初级和引伸要求迫使对实践制作规划做进一步的要求可盯梢性，开发团队要在具体拟定体系要求(或原型规划)的进程中界说这些要求，并界说可作业和可测验的体系结构。该产品进化的方式在嵌入式软件使命的开发进程中最为明显，其间，也有必要考虑方针束缚和硬件需求。
初级要求的盛行和上下文环境对要求可盯梢性来说是别的一个严重应战。这些要求不考虑体系或客户需求；它们处理软件体系“怎么”作业的问题，而客户需求界说的是体系应该“做什么”的问题。成果，初级和引伸要求常常与体系要求脱节。这就提出了另一个数据办理需求。
初级要求办理、盯梢和验证的一个要害方面，便是怎样把这些要求划分给开发工程师和测验工程师。开发工程师要彻底把握他们将完成的代码的接口规范以及该代码即将调用的程序。这些规范有必要清晰连接到相关的高档要求，以便开发工程师正确地了解完成的上下文环境。获得了适宜的信息，开发工程师就可以针对可测性展开规划，并考虑有必要在多个测验级运用的功用。
要害软件在轿车工业以及全球其他的商业和政府部门方面都有许多使用，例如安全要害、使命要害和商业要害的使用。下面列举了一组常用的此类使用程序。
 |
|
|
假如人们考虑“顾客要害”的使用，那么，这些软件的使用领域更宽，包含ATM和游戏机(特别是花自己钱的时分)。大多数这些使用都是为工业和政府安排开发的，他们界说和出书自己的软件开发和测验规范。下列为此类规范的代表：
MISRA: 车载软件开发攻略，3.6， “测验”
IEEE 1012: 软件验证和承认规范
IEEE 829: 软件测验文档编制规范
IEC 61508: 电气/电子/可编程安全性相关体系的功用安全性
FDA: 软件验证的通用准则， 5.2.5， “由软件开发工程师进行的测验”
EN 50128: 铁路使用， “铁路操控和维护体系的软件”
RTCA DO-178B: 航弹体系和设备认证要求中的软件考虑， 6.x， “软件验证进程”
Def Stan 00-55:国防设备(第2部分)中安全性相关软件的要求，第五节，“测验和集成”
这些规范的共同之处是运转以要求为根底的测验。 在这些规范之中最明显的是航弹体系规范，DO-178B。这个规范首要界说了两个依据测验的要求活动作为功用测验或黑盒测验(下图)，以及结构掩盖或白盒测验。
 |
|
|
功用测验需求开发工程师或测验工程师把握确认被测代码行为的软件要求。更确切的说，开发工程师(或测验工程师)有必要依据输出和预期的成果来界说输入和条件，以便拟定出测验规范。该测验规范或许会以一或多个测验用例的方式给出，以便彻底遍历测验规范的要求。
结构掩盖或白盒测验有助于验证黑盒测验的完整性。结构测验也有助于确认实践制作规划的正确性；例如，假如所必的软件功用现已悉数运转过，但仍然有未掩盖的代码，那么，这段剩余的代码的效果便是问题所在，代码运转时刻的可猜测性也相同。
本文第2部分将评论才能成熟度模型(CMMI)规范在改进软件开发进程中的效果，从中引出把测验信息映射为要求的东西。
Bill St. Clair
LDRA
bstclair@ldra-usa.com
