Design And Implementation Of Runtime Monitoring Based On Cil

With the continuous development of the computer software industry and the increasingly strong market demand, most of businesses are becoming increasingly dependent on computer software, and software failures bring more and more economic losses.For avoiding software failures, software testing has become a critical and comparatively easy way before the major software companies release their products. But, the software production process is gradually becoming more mature, able to achieve a substantial reduction in the cycle.On the part of the development process, the test be put forward higher requirements. The constant increase in labor costs, as well as increasingly complex white-box testing standards, the realization of automated test case generation in the quality assurance of software is particularly valuable.In automated testing, runtime monitoring is an essential technology, monitoring module is responsible for collecting information during the execution of the program, such as the execution path and the path constraints. These information can be used symbolic execution, and then get test cases by solving constrained.To effectively automated white box test, the target code be needed some preprocessing operations by test tools, collected all of the type information contained in the program to construct the layout of the memory operation. Finally, calculate coverage strategy and symbols execution for automatic generation of test cases.Meanwhile, source code instrumentation is needed for collecting symbol status of program, comprehending execution path, symbolizing the input of program. And that is a simplest way to collect information to dynamic symbolic execution.This paper describes and discusses the design and implementation of runtime monitoring based on CIL, detailed analysis how to build the type system of a program, and achieve runtime instrumentation. And build their plans and algorithms to provide prerequisite for the effective implementation of and follow-up symbolic execution and test cases automatically generation.Through some experiments using the test tool CAUT to test some target codes, this paper proves the effectiveness of these programs and algorithms, reflects the effective value of its practical application.