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...