基于演进思想的程序断言动态发现模型研究

Study of dynamic assertion detection model based on evolving

程序断言动态侦测技术具有很广的应用范围,如程序测试与排错、程序演进与重构、构件替换与程序容错等领域。相比于传统的程序断言侦测技术,文中介绍了一条简洁的异常排除与接纳并降低时间空间代价的实践思想,它来源于生物演进和计算机免疫技术的启发,为基于这一演进思想的程序断言侦测建立起一个演进模型。

Dynamic detection technology of assertion can be used in many areas, such as pin.am testing and eliminating error, program evolution and restructuring, component replacement and program tolerance etc. This article discusses a new succinct idea removing or admitting abnormity of program behavior to keep overhead of the time and space low. This article introduces a model for this non-traditional idea of dynamic assertion detection based on evolving.