需求导向的重要性

     在软件仿真平台开发／测试过程中，检查需求是否全部实现，找出需求与实现源码间的不相对应错误 - 可能有需求没有源码，或者有源码而没有对应的需求。要确认需求的高一致性实现，就要建立起需求与源码间的双向自动追溯机制。
     在回归测试过程中，不知道修改了源码后，要涉及到那些测试用例；在软件变更过程中，需求改变了，也不知道要涉及到哪些源码；在纠错过程中，需要修改源码模块时，也不知道会涉及哪些需求的实现。总之，需求与源码中任何一个改变了，都可能引起需求与源码间的不一致性错误。
    
目标

     基于需求导向的嵌入式软件开发／测试平台CRESTS/REGuide Validate通过调试和测试嵌入式软件确认需求与源码之间是否一致，实现源码、测试用例和需求之间的双向多级自动追溯，即实现了需求说明书和各对应文档与源代码之间的链接的自动化、多级双向相互追溯的自动化，以及其更新的自动化。
    
支持嵌入式环境

     REGuide Validate提供相当丰富的图形浏览功能，通过源代码产生结构图、函数调用图等。这些结构图快速地给出程序结构，以帮助用户理解、测试和维护用户的软件系统。
     集成了科锐时嵌入式工具。
    
体现GPS功能

     REGuide Validate提供动态的逻辑框图和流程图功能简化了代码跟踪，使得用户在检查代码和跟踪复杂程序的逻辑流程变得更为容易。能大大加快对代码的理解，而且能帮助在程序中找到逻辑错误，显示了嵌入式代码测试覆盖和性能，显示未执行代码和路径。
    
技术与功能特点

     动态地建立测试结果与需求说明书、测试用例、设计文档、源代码等之间的相互追溯能力，具有准确、精确和能自动维护的特点。
     指出没有实现的需求。
     避免源代码修改后回归测试的盲目性。
     指出无用的源码 - 没有需求与之响应。
     防止软件修改的不一致性错误。
     提高回归测试效率，可以达到十倍甚至更高的效率。
     支持科锐时嵌入式软件仿真平台
     支持需求管理和需求变更管理
     支持配制管理和配制变更管理
    
系统实现原理
    
基于需求导向的嵌入式软件开发/测试平台利用测试脚本与CRESTS仿真平台的动态运行来链接，分析出测试用例和源代码之间的相互追溯关系，从而来分析、管理软件需求、测试需求、测试计划、测试用例、测试脚本与源代码之间的一致性，并给出详细的分析结果报告。
     如上原理图所示，软件需求、测试需求、测试用例、测试脚本之间的追溯通过文本链接方式实现去链接。核心是测试用例与源代码之间的追溯，在该系统中，采用软件动态执行作为桥梁，来链接测试用例和源代码。
     双向追溯平台是管理源代码和软件需求、测试需求、测试用例和测试脚本双向追溯的平台，它完成从测试用例正向追溯到源代码，再反向追溯到测试需求，测试脚本和软件需求；也完成从源代码模块正向追溯到模块代码覆盖和反向追溯到测试用例，再从测试用例追溯到测试需求、测试脚本和软件需求。