Abstract. A Bayesian model for nonsampling errors made by the auditor is investigated to determine the effects of such errors on audit inferences. Predictive distributions are used to illustrate that for “realistic” audit situations, Type II errors will have little effect on inferences for a given level of Type I error. Type I errors are shown to play a more critical role in determining the acceptability of an internal control. Résumé. Un modèle Bayesien relatif aux erreurs, de nature autre qu'échantillonnale, commises par le vérificateur est étudié afin de déterminer les effets de telles erreurs sur les inférences en vérification. Des distributions de prédiction sont employées pour illustrer le fait qu'en situation de vérification «réaliste», les erreurs de deuxième espèce auront peu d'effet sur les inférences pour un niveau donné d'erreur de première espèce. Il est montré que les erreurs de première espèce jouent un rôle plus critique en ce qui a trait à la détermination du caractère acceptable d'un procédé de contrôle interne.

Abstract. The study and evaluation of internal control requires an auditor to analyze all key controls and control relationships included in each major transaction cycle. Gaining the requisite level of understanding can become a formidable task where complex systems with intricate control relationships, computer‐based accounting systems, or systems with suspected collusion, are involved. This study describes an audit simulation model which is designed to assist auditors in evaluating and documenting the reliability of complex internal control systems. The proposed simulation extends previous ones in two primary respects. First, dependencies between error and control processes can be modeled, which allows an auditor to investigate the effects of collusion on system reliability and final balance error amounts. Second, the simulation is an interactive computer model which can be tailored to different client applications without the need for programming knowledge. An application of the simulation approach in a typical payroll cycle is described. Résumé. L'étude et l'évaluation du contrôle interne nécessitent de la part du vérificateur d'analyser l'ensemble des contrôles‐clé et les liens entre les contrôles compris dans chaque cycle d'opération important. L'obtention du niveau de compréhension requis peut s'avérer une tâche énorme lorsque le praticien étudie des systèmes à interrelations complexes, des systèmes comptables informatisés ou des systèmes où la collusion est soupçonnée. Cette étude décrit un modèle de simulation en vérification destiné à aider les vérificateurs dans l'évaluation et la documentation de la fiabilité de systèmes de contrôle interne complexes. La simulation proposée constitue un prolongement de simulations précédentes sous deux aspects primordiaux. En premier lieu, les dépendances entre les processus d'erreur et de contrôle peuvent être modelées, ce qui permet au vérificateur d'examiner les effets de la collusion sur la fiabilité des systèmes et les montants des erreurs dans les soldes finals. En deuxième lieu, la simulation est un modèle informatisé interactif qui peut être adapté aux diverses applications d'une entreprise sans avoir à posséder des connaissances en programmation. Un exemple d'application de cette approche de simulation, dans le contexte d'un cycle de paye, est présenté.