循环边界与循环不变式 — 软件工程判断题
题目
判断题：设某循环写法为「while (i < n) { 处理 a[i]; i ← i + 1; }」，初始时 i = 0 且 n ≥ 0。有学生认为：只需验证循环体每轮执行后「i ≤ n 且 a[0..i-1] 均已处理」保持成立，即可断定该循环正确终止；而循环边界条件 i < n 无需单独检查，因为循环不变式已隐含它。
相关题目
软件工程
选择题
某程序要在数组 a[0..n-1] 中求区间 [lo, hi)（0≤lo≤hi≤n）内元…
循环边界与循环不变式
软件工程
判断题
某程序令 i←0，随后只要 i<m 就执行“处理下标 i 的元素；i…
循环边界与循环不变式
软件工程
判断题
循环从 k=1 开始，在 k≤m 时执行；每轮处理位置 k，再令 k 增…
循环边界与循环不变式
软件工程
填空题
某循环用于在有序数组 a[0..n-1] 中查找 x 的插入位置，采用左…
循环边界与循环不变式
软件工程
选择题
某非降序数组 a[1..n] 另设哨兵 a[0] = -∞、a[n+1] = +∞。下列伪…
循环边界与循环不变式
软件工程
判断题
数组 A 的长度为 n（n≥1），有效下标为 0 至 n−1。程序令 i=0…
循环边界与循环不变式