法国大革命期间，被推上断头台的法国国王是[ ]

A．路易十八

B．路易十三

C．路易十六

D．路易十二

软件测试是一个有程序的过程，包括（）、测试执行以及测试结果比较等。