Analysts use the tools to test software - Coverity, shall at the request of NASA analysis of 2 million lines of software code, the rover Curiosity. According to technology website The Register, were analyzed for both applications and the operating system on the host computer Curiosity. Has already been tested flight control system used in flight Curiosity to the Red Planet, and now the study subject was installed operating system and applications control robotic arm of the rover. As the chief engineer of the company Coverity, Andy Chou, it can be assumed on the basis of analysis of the code ever made that the total number of errors reaches about 2 thousand. "For a typical commercial software is not surprising when it is one mistake for every 1000 lines of code. Dedicated to the project, consisting of 2 million lines of code as it would not be surprising if they were two thousand Coverity. errors "- said Chou.
NASA stops now with the number of errors, but engineers also carry out the Agency's estimates based on analysis of current code. According to experts, now every serious error correction is very complex - because it is necessary to draw up a bulk update and install it on your computer Curiosity on Mars, which is "a difficult and dangerous operation" - NASA experts say.
Code analysis tool was done by scientists from Stanford University. It analyzes the code in C / C + +, Java and C # and how it was made compilation, in terms of critical errors such as memory errors, poor allocation of resources, or a null pointer dereference error.
According to EETimes usual errors in the source code of operating systems and applications are not critical enough to be the cause of the crash space missions, although in the case of large errors and poor build a research program can be greatly reduced. However, such errors in the source code are rare.
Worse are the so-called. silly mistakes due to omissions. That's the error was the cause of the loss of NASA's Mars Climate Orbiter in 1999, when the evil imperial measurement conversion (pounds) to SI units (Newtons) resulted in the planned descent from orbit, entry into the Martian atmosphere and destroy satellites. Errors of this type in the code has not been detected Curiosity software.
リサーチアナリストは、オペレーティングシステムとアプリケーションの好奇心ローバーのソースコードを確認します。分析に基づいて、これまでのところ、コード内のエラーの数は2000と推定されて行った。これはミッションが危機に瀕しているという意味ではありません - メディアが報じた。
アナリストは、ソフトウェアをテストするためのツールを使用 - Coverityを、ソフトウェアコードの200万行の米航空宇宙局（NASA）の分析、ローバー好奇心の要請でなければならない。技術のウェブサイトによるとレジスタは、ホストコンピュータ上の好奇心、両方のアプリケーションおよびオペレーティングシステムに対応して分析した。すでに赤い惑星への飛行好奇心で使用される飛行制御システムをテストされており、今では研究対象は、オペレーティングシステムをインストールしたアプリケーションはローバーのロボットアームを制御しました。会社Coverityは、アンディ·チョウのチーフエンジニアとして、それは今までにエラーの合計数が2000程度に達している行ったコードの解析に基づいて想定することができる。それはすべてのコード1000行のために一度の過ちであれば "典型的な商用ソフトウェアについては驚くべきことではない。彼らは2000コベリティた場合、それは驚くべきことではないと同じようにコードの200万行から成るプロジェクトに専念。エラーは " - チョウは言った。
米航空宇宙局（NASA）はエラーの数で停止するようになりましたが、エンジニアはまた、現在のコードの分析に基づいて、庁の推計を行っています。専門家によると、現在、すべての深刻なエラー訂正が非常に複雑です - それは、一括更新を策定し、 "困難かつ危険な操作"である火星のコンピュータの好奇心、それをインストールする必要があるため - 米航空宇宙局（NASA）の専門家は言う。
コード分析ツールは、スタンフォード大学の科学者によって行われた。それは、C / C + +、JavaとC＃とそれがどのようにそのようなメモリエラー、リソースの乏しい配分、またはNULLポインタデリファレンスエラーなどの重大なエラーの観点から、コンパイルを行ったのコードを分析しています。
EETimesによると、オペレーティングシステムとアプリケーションのソースコード内の通常のエラーが大きな誤差と貧しい構築研究プログラムの場合には大幅に減少させることができるものの、クラッシュの宇宙ミッションの原因であるのに十分重要ではありません。しかし、ソースコード内のそのようなエラーはまれである。
さらに悪いことに、いわゆるです。不作為に起因するばかげた間違い。 1999年にNASAのマーズ·クライメイト·オービターの損失の原因となっていることがエラーだが、SI単位系にするとき悪の帝国測定変換（ポンド）（ニュートン）、軌道から計画された降下をもたらし、火星の大気への参入や人工衛星を破壊する。コード内でこのタイプのエラーは、好奇心のソフトウェアを検出されていません。
研究分析师的源代码的操作系统和应用程序的好奇心流动站。分析的基础上执行到目前为止代码中的错误的数目估计在2000。这并不意味着任务处于危险之中 - 有媒体报道。
分析师使用这些工具来测试软件 - Coverity的，应在美国航空航天局的要求，分析200万行的软件代码，漫游者的好奇心。据科技网站注册进行了分析，为应用程序和操作系统的主机好奇心。已经过测试，在这个红色星球飞行好奇心的飞行控制系统，和现在的研究课题，安装操作系统和应用程序控制机械臂流动站的。公司Coverity首席工程师，安迪周，我们可以假设的基础上，分析做过的错误的总数达到约2000的代码。 “对于一个典型的商业软件并不奇怪，当它是一个错误，每1000行代码。专用于该项目，其中包括200万行的代码，因为它不会奇怪，如果他们是2000 Coverity公司。错误“ - 周杰伦说。
目前，美国航空航天局停止错误的数量，但工程师们还进行该机构的估计的基础上分析当前的代码。据专家介绍，现在每一个严重的错误校正是非常复杂的 - 因为它是必要制定一个批量更新，将它安装在您的计算机上的好奇心，这是“困难和危险的操作” - 美国航空航天局专家说，火星上。
来自斯坦福大学的科学家通过代码分析工具。分析代码在C / C + +，Java和C＃和它是如何编译，如内存错误，可怜的资源分配，或一个空指针引用错误的严重错误。
据中关村的操作系统和应用程序的源代码中的常见错误是没有足够的关键，是导致飞机坠毁的空间任务，虽然在大的错误和不良建立一个研究计划的情况下，可以大大减少。然而，这样的错误在源代码中是罕见的。
更糟糕的是所谓的。愚蠢的错误，由于遗漏。这是的错误，造成的损失，美国航空航天局的火星气候轨道器的原因在1999年，当邪恶的帝国测量转换（磅）SI单位（牛顿）导致的计划血统的轨道，进入火星大气层和摧毁卫星。这种类型的代码中的错误没有被检测到的好奇心软件。
No comments:
Post a Comment