Using static analysis to improve automatic test generation

被引：0

作者：

Bozga, M

Fernandez, JC

Ghirvu, L

机构：

[1] VERIMAG, Joint Lab CNRS UJF & INPG Grenoble, Ctr Equat, F-38610 Gieres, France

[2] IMAG, LSR, F-38402 St Martin Dheres, France

来源：

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS | 2000年 / 1785卷

关键词：

conformance testing; asynchronous systems; static analysis; slicing; bisimulation;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hindered by the state explosion problem. Our method reduces its magnitude by reconsidering the test case generation at a higher level and by taking advantage of some static analysis techniques, in particular the slicing techniques. The specification is simplified by pipelining a set of three modules, each one implementing a different slicing technique.

引用

页码：235 / 250

页数：16