监控开销相关论文
运行时验证中的一个重要研究内容就是减少监控开销,以达到运行时开销对系统影响最小化的目标。总结了近年来运行时验证中减少监控......
软件运行时验证是一种近年来逐步兴起的通过监控程序运行来检验其是否满足给定性质的轻量级验证技术。由于复杂性质的运行时验证中......
通过监控程序运行检验软件运行是否满足给定性质的轻量级验证中常产生高额的时间开销,阻碍了该技术部署后在系统中的应用。如何减......
