A . 理论法
B . 实验法
C . 试验法
D . 模拟法
[主观题]程序正确性证明是用______来证明程序正确性的方法。
[单选题]检验程序正确性的方法不包括()方法。A .空运行B .图形动态模拟C .自动校正D .试切削
https://wenku.baidu.com/view/7969aa03de80d4d8d15a4f3f.html你要的在这里软件出错有几种类型?验证其程序正确性有几种方法?
[单选题]下列审计方法中,(27)能验证程序逻辑上的正确性。A.并行模拟法B.代码比较法C.跟踪法D.测试数据法
[主观题]程序正确性证明最常用的方法是[ ],它对程序提出一组命题。如果在数学上证明这些命题成立,就能保证程序不发生错误。
[单选题]目前诊断肿瘤正确性较高的方法是A.放射性核素显像B.病理组织学C.超声波检查D.X线检查E.免疫学检查
[单选题]目前诊断肿瘤正确性较高的方法是A.脱落细胞学检查B.组织病理学检查C.超声波检查D.X线检查E.同位素检查
[单选题]目前诊断肿瘤正确性较高的方法是( )A.放射性核素显像B.病理组织学C.超声波检查D.X线检查E.免疫学检查
[单选题]目前诊断肿瘤正确性较高的方法是()A .脱落细胞学B .病理组织学C .超声波检查D .X线检查E .同位素检查
[单选题]程序调试的任务是( )。A.) 设计测试用例B.) 验证程序的正确性C.) 发现程序中的错误D.) 诊断和改正程序中的错误A.B.C.D.