|
调皮的电脑医生
新电脑系统靠“愚弄”电脑解决问题
付毅飞
人们常说：“良药苦口利于病。”人生病以后必须要吃药、打针甚至动手术，总得吃点苦头，但是在电脑世界里，一种新系统给电脑治病的方法却别具一格，它靠“愚弄”电脑来发现和解决问题。
因特网近20年来几乎每年都扩大一倍，怎样在如此巨大的范围内检测网络软件是一大难题。传统的方法是通过电脑模拟，就像初级飞行员通过模型驾驶舱学习飞机驾驶技术。但是用模拟法检测必须重新制作一个类似的软件，最初的软件不能被测试，那样就产生了两个不同的版本，而且没有正规的程序可以确定检测的真实结果。
另一种方法是比较法，或者说直接检测最初的软件。用这种方法，程序员可以只编一次软件，不需要为了测试而重新编写。但是比较法的控制程度非常低。
美国维吉尼亚计算机科学技
< 1 > < 2 >
|
