单项选择题软件测试的方法可归纳成三种，它们是 Ⅰ．动态测试 Ⅱ．静态测试 Ⅲ．程序正确性证明 而真正实施的方法则是( )。
单项选择题在计算机信息系统的发展过程中，曾出现过很多类型的信息系统，按出现的先后时间来排列，它们分别是( )。
