基于扩展有限状态机的SCA符合性测试方法研究

软件通信体系结构（Software Communication Architecture，SCA）标准是针对软件无线电设备缺乏互操作性而制定的标准，通过定义设备组件对底层的硬件进行屏蔽，实现上层应用与底层硬件相互分离，SCA符合性测试通过验证实际的应用是否符合SCA标准中的定义，从而保证应用的跨平台性与通用性。当前国内外对SCA符合性测试的研究较少，测试过程中存在诸多问题，如各需求的测试之间存在依赖关系，某些需求测试的进行可能造成后续需求测试无法执行等，导致目前缺乏自动化的测试方法。针对这些问题，提出了一种测试序列自动生成方法，并基于扩展有限状态机的基本原理构造了SCA符合性测试模型。该模型能够直观地反映测试过程，分析测试中软件无线电系统存在的各种状态，判断测试用例执行序列的可行性，指导测试序列的构建，再结合基于集合的贪心算法对测试序列集进行优化。实验结果表明该方法能有效地保证测试覆盖度，并且提升测试效率。

Research on SCA Compliance Testing Method Based on Extended Finite State Machine

Software Communication Architecture（SCA） specifications are the standard of software definition radio architecture. In this standard, the underlying hardware is shielded by defining device components to achieve isolation of the upper application and the underlying hardware. The purpose of SCA compliance testing is to ensure the portability, configurability and interoperability of waveform components. At present, there are many complex situations in SCA compliance testing, such as the dependency between requirements testing, some requirements testing may cause the subsequent requirements testing can’t be executed, so it is difficult to achieve test automation. In view of this situation, an automatic test sequence generation method is proposed, and SCA compliance testing model is constructed based on the basic principle of extended finite state machine, the model can directly reflect the test process, analyze various states in the system of software radio, judge the feasibility of the test case execution sequence, guide the construction of a test sequence, and optimize the test sequence set combined with set-based greedy algorithm. Experimental results show that the method can effectively guarantee the test coverage and improve the test efficiency.