基于有限状态机的健壮性测试研究

健壮性测试对软件尤其是安全产品有极其重要的意义,本文使用有限状态机来对软件产品进行建模,通过状态扩充和状态对各种异常事件的响应,构建完备的增强有限状态机,使用该模型可以进行健壮性测试。我们利用该方法对GlobalPlatform卡规范中安全通信的安全通道协议SCP02进行了测试。测试结果表明,该方法产生的测试案例包比GP组织认可的测试包具有更高的覆盖性和错误检测能力,该方法产生的案例不仅可以用于健壮性测试,也可以用于功能性和符合性测试。

一种可重构控制器的设计和实现

基于算数增强的有限状态机(AFSM)模型,给出一种可重构(reconfigurable)控制器结构,用于实现各种网络设备接口控制器和存储器接口控制器。该结构具有动态可重构的能力,FPGA仿真结果表明,与传统基于RTL描述的AISC设计方案相比,所提出的可重构控制器结构可以达到相似的性能,但是设计和实现更加简单高效。