Bốn loại thể thức đợc dùng để làm căn cứ cho hoạt động của các chế độ và thể thức liên quan với kiểm soát. Chúng gồm:
Thẩm vấn các nhân viên công ty thích hợp: Mặc dù thẩm vấn nói chung không phải là một nguồn bằng chứng vững chắc về sự hoạt động hiệu quả của các quá trình kiểm soát, nó vẫn là một hình thức bằng chứng thích hợp. Ví dụ, kiểm toán viên có thể xác định đợc là nhân viên không đợc uỷ quyền thì không đợc phép tra cứu hồ sơ của máy vi tính, qua việc thẩm vấn ngời kiểm soát các đĩa vi tính.
Kiểm tra các chứng từ, sổ sách, và báo cáo. Rất nhiều hoạt động và thể thức liên quan với kiểm soát để lại một dấu vết rõ ràng trên bằng chứng bằng tài liệu. Ví dụ, giả sử là khi nhận đợc đơn đặt hàng của khách, đơn này sẽ đợc dùng để lập hoá đơn bán hàng cho khách đã phê chuẩn tín dụng. Đơn đặt hàng của khách đính kèm với hoá đơn bán hàng là sự phê chuẩn của việc xử lý tiếp tục. Kiểm toán viên xem xét các chứng từ để đảm bảo chúng đầy đủ và tơng xứng một cách đúng đắn, những chữ ký hoặc những chữ tắt quy định đều có đủ.
Quan sát. Các hình thức hoạt động khác liên quan với kiểm soát không để lại dấu vết làm bằng chứng. Ví dụ, sự cách ly trách nhiệm dựa trên những ngời cụ thể thực hiện những nhiệm vụ cụ thể và thờng không có tài liệu chứng minh cho sự thực hiện riêng biệt này. Đối với những quá trình kiểm soát mà không để lại bằng chứng bằng tài liệu, kiểm toán viên thờng quan sát sự vận dụng chúng.
Làm lại. Cũng có những hoạt động liên quan kiểm soát mà có chứng từ và tài liệu liên quan, nhng nội dung không đủ cho mục đích đánh giá liệu các quá trình kiểm có hoạt động hiệu quả hay không của kiểm toán viên. Ví dụ, giả sử giá trên các hoá đơn bán hàng phải đợc kiểm tra lại theo danh sách giá chuẩn của công ty khách hàng là một thể thức thẩm tra nội bộ nhng không có dấu hiệu của sự
thực thi này đợc ghi trên hoá đơn bán hàng. Trong những trờng hợp nh vậy, thông thờng kiểm toán viên phải thực tế làm lại hoạt động kiểm soát để xem liệu các kết quả đã thu đợc có đúng đắn hay không. Ở ví dụ này, kiểm toán viên có thể làm lại thủ tục trên bằng cách theo dõi giá bán với danh sách giá đã phê chuẩn còn hiệu lực vào ngày nghiệp vụ kinh tế phát sinh. Nếu không tìm thấy sai sót, kiểm toán viên có thể kết luận là thể thức đang vận hành đúng nh đã đề ra.