计算机工程与应用 ›› 2012, Vol. 48 ›› Issue (18): 110-114.
薛 疑1,叶晓俊2
XUE Yi1, YE Xiaojun2
摘要: 使用接口自动机描述软件各模块的内、外部行为,依据接口自动机的构件组合方法来描述总体框架的运行机制,可清晰地展示出基于网络嗅探的数据库活动监控工具的多DBMS协议分析支持、分布式部署与协同工作等难点的解决。给出了该工具主要模块的内、外部行为和工具整体行为的接口自动机模型,通过实验,验证了基于该模型所实现工具的正确性和可用性。