软件工程判断题标准 ★ 精品

循环边界与循环不变式 — 软件工程判断题

软件构建控制流与逻辑组织 AI 三重审校通过

题目

数组 A 的长度为 n（n≥1），有效下标为 0 至 n−1。程序令 i=0、s=0，并在 i≤n 时执行“s←s+A[i]；i←i+1”。有人声称：循环入口处的不变式“0≤i≤n，且 s=∑ₖ₌₀ⁱ⁻¹A[k]”可保证每次访问都合法，循环结束时 s 等于数组所有元素之和。判断该说法。