A computer-aided incremental protocol test sequence generation: the production systems, approach
A computer-aided incremental protocol test sequence generation: the production systems, approach
复制标题
计算机辅助增量协议测试序列生成：生产系统、方法
DOI：
--
复制
发表时间：
1991
期刊：
影响因子：
--
通讯作者：
M.T. Liu
中科院分区：
文献类型：
--
作者：
C.;Y.;M.T. Liu
提出了一种基于可执行规则规范和实现的增量协议测试序列生成的形式化模型。为了进行直接控制，在设计阶段和测试阶段都使用了同构表示机制，即OPS5生产系统，而不是使用异构表示机制。由于测试的路径可以记录在OPS5生产系统的全局共享数据空间（工作内存）中，测试过程可以通过增量搜索未测试的转换来继续。此方法使用状态消息来验证入口状态，而不是使用区分序列。因此，每个转换只测试一次
The authors present a formal model for incremental protocol test sequence generation based on executable rule-based specification and implementation. In order to have direct control, instead of using heterogeneous representation mechanisms, a homogeneous representation mechanism, the OPS5 production system, is used in both the design phase and the test phase. Since the tested paths can be recorded in a globally shared dataspace (working memory) of the OPS5 production system, the test process can continue by searching for the untested transitions incrementally. This method uses a status message to verify the entrance state instead of using distinguishing sequences. Therefore, each transition is tested exactly once.<<ETX>>