This paper sets up an exact mathematical expression of a swept volume which is generated by a general cutting tool moving along a given path based on differential geometric theorem. It can be applied to carry out shaded graphics simulation of NC machining with mills of any type. With this expression, the errors of graphical calculation will be minimized, and the verification precision of multi-axis NC program will be improved.