Model-Based Specification Animation Using Testgraphs
Model-Based Specification Animation Using Testgraphs
复制标题
使用测试图的基于模型的规范动画
DOI：
10.1007/3-540-36103-0_21
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
P. Strooper
中科院分区：
文献类型：
--
作者：
Tim Miller;P. Strooper
本文提出了一个使用测试图系统地动画化规范的框架：部分建模正在动画化的规范的有向图。动画序列是通过遍历测试图派生的。该框架提供了一个测试图编辑器，允许用户编辑测试图，并支持自动测试图遍历。到目前为止，使用该框架的经验表明，它可以有效地用于动画化小型到中型规范，并且可以揭示这些规范中的大量问题。
This paper presents a framework for systematically animating specifications using testgraphs: directed graphs that partially model the specification being animated. Sequences for the animation are derived by traversing the test-graph. The framework provides a testgraph editor that allows users to edit test-graphs and supports automated testgraph traversal. Experience with the framework so far indicates that it can be used to effectively animate small to medium-sized specifications and that it can reveal a significant number of problems in these specifications.