Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
复制标题
DOI：
10.1007/978-3-642-05089-3_20
复制
发表时间：
2009-11
期刊：
影响因子：
--
通讯作者：
Neil Walkinshaw;J. Derrick;Qiang Guo
中科院分区：
文献类型：
--
作者：
Neil Walkinshaw;J. Derrick;Qiang Guo
本文提出了一种迭代技术，以准确地逆向工程模型的软件系统的行为。该方法的一个关键新奇在于它使用基于模型的测试来改进假设模型。该过程原则上可以完全自动化，并且仅需要非常少量的手动生成的信息来开始。我们已经实现了用于Erlang系统开发的技术，并描述了方法和我们的实现。
This paper presents an iterative technique to accurately reverse engineer models of the behaviour of software systems. A key novelty of the approach is the fact that it uses model-based testing to refine the hypothesised model. The process can in principle be entirely automated, and only requires a very small amount of manually generated information to begin with. We have implemented the technique for use in the development of Erlang systems and describe both the methodology as well as our implementation.