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

    编写完了舍尔公司的软件后，刘放开始编写西门子公司的软件。

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

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

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

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

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

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

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

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

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

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

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

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

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

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