软件工程判断题较难

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

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

题目

设数组 a 的合法下标为 0 至 n−1，n≥0。程序初始化 i=0、s=0，循环体为“s←s+a[i]；i←i+1”，循环条件为 i≤n。有人声称：循环不变式 s=∑(0≤j<i)a[j] 在每次循环体执行前都成立，且循环正常结束后 s 等于数组所有元素之和。判断该说法是否正确。