单项选择题 在下列软件中，属于极大型软件的是（）。

填空题 程序设计有两种抽象，分别是（）和数据抽象。

填空题 程序中的每个功能可以由（）来验证操作的正确性，它也是软件构造的一项重要活动。