An Approach for Testing Real Time Protocol Entities
An Approach for Testing Real Time Protocol Entities
复制标题
一种测试实时协议实体的方法
DOI：
10.1007/978-0-387-35516-0_18
复制
发表时间：
2000
期刊：
影响因子：
--
通讯作者：
L. Granger
中科院分区：
文献类型：
--
作者：
A. Khoumsi;Mehdi Akalay;R. Dssouli;A. En;L. Granger
我们提出了一种测试实时协议实体的两步法和体系结构。在第一步中，将被测实现的定时规范转换为等效的非定时规范。然后在第二步中，可以使用非实时系统的测试方法。与使用类似方法的其他测试方法相比，我们的方法避免了状态爆炸。提出了第一步转换算法和测试体系结构。
We propose a two-step method and an architecture for testing real-time protocol entities. In the first step, the timed specification of the implementation under test is transformed into an equivalent untimed specification. Then in the second step, test methods for non-real-time systems may be used. In comparison with other test methods using similar approaches, our method avoids state explosion. A transformation algorithm of the first step and a test architecture are proposed.