A.正確性證明 B.測(cè)試 C.自動(dòng)程序設(shè)計(jì) D.符號(hào)證明
A.試驗(yàn)性運(yùn)行軟件 B.發(fā)現(xiàn)軟件錯(cuò)誤 C.證明軟件是正確的 D.找出軟件中的全部錯(cuò)誤
A.分支 B.單入口 C.單出口 D.有規(guī)則GOTO