伍旭东，唐 麒，张 伟，张 健，魏急波，王一军

1.中南大学 计算机学院，长沙410083

2.国防科技大学 电子科学学院，长沙410073

3.中南大学 自动化学院，长沙410083

软件无线电（Software Definition Radio，SDR）[1-2]的基本思想是以一个通用的硬件平台为依托，通过软件编程来实现电台所需的各种功能，因此具有很强的灵活性和开放性。软件无线电系统运行在各种不同的硬件平台上，使用的软件产品可能存在差异，不同系统之间难以实现信息交互。为了解决这个问题，联合战术网络中心发布了软件通信体系结构（Software Communication Architecture，SCA）[3-4]标准。SCA标准提供了应用程序接口要求及组件定义和聚合要求，通过定义设备组件对底层的硬件进行屏蔽，实现上层的软件应用和底层硬件相互分离，使得软件应用能够控制不同的硬件设备，提高软件应用的通用性[5]。

SCA标准是组件功能需求的总集，组件产品的符合性测试应根据其功能定位，从需求集中选取相应的子集，根据子集对具体组件进行测试[6]，其目的是验证实际的组件是否满足SCA标准中的组件定义，保证系统能够对这些应用进行统一的管理，实现软件应用的通用性和跨平台性[7-9]。

在SCA符合性测试方面，联合战术网络中心开发了R-Check SCA测试工具，它是现阶段主流的SCA项目测试工具，采用的是静态测试的方法进行符合性测试，能够对C++/C源代码进行解析，寻找系统中存在的错误，但使用该工具要求测试人员具有较高的编程水平，并且测试结果存在一定的波动性[10]。Botella等人提出了基于模型的……