软件工程 判断题 简单 ★ 精品

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

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

题目
循环从 k=1 开始,在 k≤m 时执行;每轮处理位置 k,再令 k 增至下一位置。有人断言:每次进入循环体时,位置 1 至 k 均已处理。该断言是此循环的循环不变式。