An approach to testing specifications
An approach to testing specifications
复制标题
测试规范的方法
DOI：
--
复制
发表时间：
1983
期刊：
影响因子：
--
通讯作者：
G. Bochmann
中科院分区：
文献类型：
--
作者：
C. Jard;G. Bochmann
探索了一种测试规范一致性的方法，适用于通信协议的设计验证和其他逐步细化的情况。在这种方法中，测试模块将从细化规范（例如协议规范）的执行中获得的交互痕迹与参考规范（例如通信服务规范）进行比较。
参考规范中的非确定性带来了某些问题。使用规范的扩展有限状态转换模型，提出了限制不确定性数量的策略。
讨论了一种为给定参考规范构建测试模块的自动化方法。描述了将该测试方法应用于传输协议和分布式互斥算法设计的经验。
An approach to testing the consistency of specifications is explored, which is applicable to the design validation of communication protocols and other cases of step-wise refinement. In this approach, a testing module compares a trace of interactions obtained from an execution of the refined specification (e. g. the protocol specification) with the reference specification (e. g. the communication service specification).
Non-determinism in reference specifications presents certain problems. Using an extended finite state transition model for the specifications, a strategy for limiting the amount of non-determinacy is presented.
An automated method for constructing a testing module for a given reference specification is discussed. Experience with the application of this testing approach to the design of a Transport protocol and a distributed mutual exclusion algorithm is described.