将E-R图转换到关系模式时，实体与联系都可以表示成______

在软件工程中，白箱测试法可用于测试程序的内部结构。此方法将程序看做是______

下列叙述中正确的是______

操作系统是一种系统软件。

计算机病毒是一种程序。