第285章 程序变量漏洞(2 / 2)

天才风暴 未语浅笑 1843 字 16天前

他之前说西门子公司的人是不可能通过软件解决问题的,这句话当然不是他随口说着玩的。根据刘放了解到的情况,那台数控机床的数据有些特别,这个特别之处是由于数控机床本身的工作机制造成的。

数控机床根据工作性质的不同,分为很多种类,比如说冲压机床、热压机床、数控铣床、测量机床等等等等,由于用途不一样,所以设计方面就会存在着差别。

刘放之前看到的那台西门子公司的数控机床,是用来生产汽车变速箱齿轮的,机床本身的设计没有任何问题,但只要给它加装数控程序,问题就会随之产生。

这里面涉及到方程式变量对于程序的影响问题,软件和芯片给数控机床提供自动化的指令,通过传感器下达指令,数控机床接到指令后,就会按照设定好的程序进行工作。

编程需要数学方程式提供基础支持,数学学不好的人,编程技术也好不到哪里去。之前说过,刘放可以把数控机床的各种参数转换成方程式,实际上数控软件的编程人员,也需要做到这点。只不过刘放的计算能力太厉害,不需要像别人那么麻烦而已。总的来说,如果不能把参数转变成数学公式,那你根本就没有办法编写程序。

软件的本质是什么呢?它其实是由诸如函数等数学公式构建起来的严密逻辑程序,人们经常提到的程序漏洞,其实就是因为数学公式的不严密而导致的。

把单独的数学公式转换成程序不存在这种问题,一旦加入其它的数学公式,你就要考虑两者之间的兼容性。这跟把许多块砖头修建成房子是一个道理。如果砖头之间的契合度不够,那么这栋房子就会出现问题,不是修歪了,就是漏风。

程序对于这方面的要求更加严格,只要有任何不契合的地方,就会产生漏洞,一旦产生漏洞,问题就会随之而来。

通过刘放的计算,西门子公司的那台设备就存在着契合度的问题。机器本身是ok的,但如果把它运行的参数转换成方程式,然后编写成数控软件的话,恰好就会形成逻辑漏洞。这是编程的特性造成的结果,跟机器本身没有关系。

这个漏洞非常隐蔽,一般人根本不可能发现,想要找到它,需要对数以十万计的参数组合进行详细的分析才行。刘放为什么那么快就发现了这个漏洞呢?因为他是天才数学家,对于数字和方程式极其敏感,这就好比做数学题,世界上谁能比得过他?

刘放把这个问题称之为“程序变量漏洞”,在编程的时候,这个问题并不罕见,那些计算机系统漏洞,就属于这个范畴。

想要发现系统程序的漏洞,难度不是一般的大,也只有顶级黑客才能做到,并且许多顶级黑客还是根据经验或者偶然性,才发现系统漏洞的。西门子公司的人想要找到这个漏洞,首先必需要想到这个环节才行。

根据刘放的估计,西门子公司不太可能存在这种级别的高手,因为这家公司跟计算机产业的关联性不太密切,顶尖黑客一般都藏身于计算机公司或者网络公司,所以刘放才会当着伯格的面说出那番话。

只要他不说出关键所在,估计西门子公司的人只会在程序和设备的契合度之间找问题,这要是能找到,那才怪了。