程序测试分为静态分析和动态测试 。 其中 【 4 】 是指不执行程序 , 而只是对程序文本进行检查 , 通过阅读和讨论 , 分析和发现程序中的错误。

数据独立性分为逻辑独立性与物理独立性 。 当数据的存储结构改变时 , 其逻辑结构可以不变 , 因此 , 基于逻辑结构的应用程序不必修改 , 称为 【 5 】 。

若变量 a ， b 已定义为 int 类型并赋值 21 和 55 ，要求用 printf 函数以 a=21 ， b=55 的形式输出，请写出完整的的输出语句 【 6 】 。

以下程序用于判断 a 、 b 、 c 能否构成三角形，若能，输出 YES ，否则输出 NO 。当给 a 、 b 、 c 输入三角形三条边长时，确定 a 、 b 、 c 能构成三角形的条件是需同时满足三个条件 : a+b>c ， a+c>b ， b+c>a 。请填空。

以下程序的输出结果是 【 8 】 。

当运行以下程序时，输入 abcd ，程序的输出结果是 : 【 9 】 。