下列审计方法中，(27)能验证程序逻辑上的正确性。

A．并行模拟法

B．代码比较法

C．跟踪法

D．测试数据法

[单选题]目前被普遍采用的程序正确性验证方法是（）A . 理论法B . 实验法C . 试验法D . 模拟法

[单选题]在系统审计方法中，(15)将正式用的程序和审计用的程序进行比较，以检查它的正确性。A．审计程序法B．ITF法C．并行模拟法D．代码比较法

https://wenku.baidu.com/view/7969aa03de80d4d8d15a4f3f.html你要的在这里软件出错有几种类型?验证其程序正确性有几种方法?

[主观题]程序正确性证明是用______来证明程序正确性的方法。

[单选题]数据流程图的正确性是验证软件逻辑模型正确性的基础。Ⅰ．数据恒原则Ⅱ．均匀分解原则Ⅲ．文件操作Ⅳ．自顶向下分解原则在绘制数据流程图时应该遵循的基本原则包括( )。A．Ⅰ、Ⅱ和ⅣB．Ⅰ、Ⅱ和ⅢC．Ⅱ、Ⅲ和ⅣD．都是

[单选题]程序调试的任务是( )。A．) 设计测试用例B．) 验证程序的正确性C．) 发现程序中的错误D．) 诊断和改正程序中的错误A．B．C．D．

[单选题]大型养路机械程序逻辑表中输入信号用字母（）表示。A .XB .HC .QD .QL

[多选题]验证营业收入入账的正确性时，常用的实质性程序不包括（　）。A.审查企业收入确认和成本结转的正确性B.检查销售发票连续编号的完整性C.审查企业按完工进度

[多选题]验证营业收入入账的正确性时，常用的实质性程序不包括（　）。A.检查发运凭证连续编号的完整性B.审查企业按完工进度确认收入方法的合理性C.检查销售发票连

[多选题]验证营业收入入账的正确性时，常用的实质性程序不包括（　）。A.审查企业收入确认和成本结转的正确性B.检查销售发票连续编号的完整性C.审查企业按完工进度