嵌入式软件系统测试之实时扩展有限状态机模型(RT - EFSM)
一、RT - EFSM 概述
在实时嵌入式系统的设计中,常常会呈现出基于状态的行为,因此基于状态的建模技术在设计这类系统时非常有用。这种建模过程能为后续的测试设计(如测试序列和测试用例的生成)奠定基础。基于状态的软件测试技术可以全面验证事件、动作、行为、状态以及状态转换之间的关系,通过该技术能够判断基于状态的系统行为是否满足系统需求。
目前,基于传统有限状态机(FSM)和扩展有限状态机(EFSM)的测试方法存在不足,它们无法解决实时嵌入式软件中状态转换的时间描述问题,也难以描述实时嵌入式软件的实时性、并发性、设备交联以及 I/O 接口的复杂性。鉴于传统 EFSM 在描述实时嵌入式软件的复杂性和实时性方面存在明显缺陷,无法满足实时嵌入式软件的建模需求,因此提出了实时扩展有限状态机模型(RT - EFSM),它需要解决以下几个关键问题:
|问题描述|具体说明|
| ---- | ---- |
|完整准确描述行为|能够完整且准确地描述实时嵌入式软件的行为|
|描述复杂状态转换关系|可以描述实时嵌入式软件中的复杂状态转换关系|
|体现实时并发特性|能够体现实时嵌入式软件的实时性和并发特性|
|提供模型验证方法|提供模型验证方法,确保模型的正确性|
|描述时间特性|可以描述实时嵌入式软件状态转换中的时间特性|
|保障测试用例生成|为后续的测试序列和自动测试用例生成提供保障|
二、RT - EFSM 的定义
RT - EFSM 是在原始 EFSM 六元组的基础上扩展为八元组,可描述为 RT - EFSM = ,各部分含义如下