基于元建模和图语法的定时系统测试图形化工具
软件工程
2012-09-25 v1
摘要
测试是验证系统以确保定性和定量实现需求的常用方法之一。在本文中，我们关注基于图转换的形式化测试，因此提出了一种方法，将具有大量状态的持续时间动作时间自动机 (DATA*) 模型转换为时间拒绝区域图 (TRRG)，以创建规范测试器并利用图转换生成测试用例。此外，我们的方法允许自动生成用于 DATA*、TRRG 和规范测试器的可视化建模工具。从头构建可视化建模工具的成本是 prohibitive 的。元建模方法有助于解决这一问题，因为它允许通过图语法对形式化方法本身进行建模。本研究使用了元建模工具 AToM3。
引用
@article{arxiv.1209.5257,
title = {A Graphical Tool for Testing Timed Systems based on Meta- Modeling and Graph Grammars},
author = {Hiba Hachichi and Ilham Kitouni and Kenza Bouaroudj and Djamel-Eddine Saidouni},
journal= {arXiv preprint arXiv:1209.5257},
year = {2012}
}
备注
The International Journal of Computer Science Issues - IJCSI, Vol 9, Issue 4, No 1, July 2012