Testing of modern software systems that integrate many components developed by different teams is a difficult task. Third Eye is a framework for tracing and validating software systems using application domain events. We use formal descriptions of the constraints between events to identify violations in execution traces. Third Eye is a flexible and modular framework that can be used in different products. We present the validation of the Apache Web Server access policy implementation. The results indicate that our tool is a helpful addition to software development infrastructure.
@article{arxiv.cs/0011022,
title = {Apache web server execution tracing using Third Eye},
author = {Raimondas Lencevicius and Alexander Ran and Rahav Yairi},
journal= {arXiv preprint arXiv:cs/0011022},
year = {2007}
}
Comments
In M. Ducasse (ed), proceedings of the Fourth International Workshop on Automated Debugging (AADEBUG 2000), August 2000, Munich. cs.SE/0010035 5 pages, 2 figures