论文部分内容阅读
为降低信息系统应用过程中的各种风险,开发并部署相应的自动监控和过程审计系统成为一种重要甚至必要的措施。不同于传统应用,此类系统以业务系统和操作人员的动态行为过程为目标,其系统测试与确认测试依赖于人工现场操作,施行不便,代价较高。为得到一套较为方便通用的过程监控系统自动测试支持框架,分析了信息系统动态行为过程监控系统的一般特点,建立了一个基于有限状态自动机的监控行为模型,基于此模型设计并实现了一个自动测试脚本语言。进而使用该模型和语言,在Windows平台上开发了一套分布式的自动监控测试系统,并以一个