窮舉法也叫枚舉法或蠻干法。其基本思想是根據(jù)面臨的問題，逐一列舉各種可能的情況，并判斷每種情況是否滿足題設(shè)條件。（）

軟件測試工作量的彈性比較大，可以根據(jù)時間進(jìn)度進(jìn)行裁減。（）

螺旋模型中包括需求定義、風(fēng)險分析、工程實現(xiàn)和評審四個階段，在開發(fā)過程中（）。

關(guān)于程序，有一個著名的公式，它是（）。

若循環(huán)隊列的頭指針為front，尾指針為rear，rear指向隊尾元素，front指向當(dāng)前隊頭元素的前一個位置，maxsize表示循環(huán)隊列能容納的元素個數(shù)，那么隊滿的條件是（rear+1）%maxsize==front 。（）