参考答案：

（1）抽象

（2）信息隐藏

（3）模块化

（4）局部化

（5）一致性

（6）完全性

（7）可验证性