设计、追踪并测试 AS 程序

为子程序明确约定

选择算法前先明确输入、输出与假设。记录把单个对象的属性组合起来，数组则按索引存储多个值。应明确数组边界，并区分已存元素个数与数组容量。

用局部变量隔离子程序的临时工作。按值参数提供一个值，按引用参数则可能让子程序修改调用者的存储。应先明确预期影响，再选择传递方式。

DECLARE Marks : ARRAY[1:3] OF INTEGER
DECLARE Index : INTEGER
DECLARE Total : INTEGER
Marks[1] <- 40
Marks[2] <- 50
Marks[3] <- 80
Total <- 0
FOR Index <- 1 TO 3
    Total <- Total + Marks[Index]
NEXT Index
OUTPUT Total

同时测试设计与代码

示例的追踪结果应为 Total = 170。测试首尾索引能发现边界错误。对输入例程应设计正常、极端和无效数据，并写出各自的预期结果。

开发周期把分析、设计、实现、测试与维护联系起来。处理文件时应定义记录格式和文件结束处理。维护修改后应重新运行相关测试，检查原本正常的行为。

自我检测