一种动态监测软件行为的方法

摘要

分析了传统测试的弊端和动态监测的现状,提出并实现了根据形式化逻辑描述的需求规约,判断软件运行行为是否符合预期的动态监测方法,在资源消耗较低的情况下保证了监测的正确性与及时性.最后通过实例数据证明了该方法的高效性.