2006.07.04

軟體，別再出錯了！

電腦主宰著民眾的生活及各行各業的重大作業系統，卻經常出現令人為之氣結的錯誤。軟體設計檢查工具，能及早發現設計瑕疵，避免程式出錯造成的損失。

「一件事物的強度取決於最弱的一環」，這句話不僅能描述橋樑建築，也同樣適用於電腦程式。軟體程式就像橋樑一樣，是現代社會重要基礎建設的關鍵元件，但研究人員直到最近才發展出有效的方法，可預先測試軟體設計的健全性。 / 影像來源：GEORGE RETSECK

「一件事物的強度取決於最弱的一環」，這句話不僅能描述橋樑建築，也同樣適用於電腦程式。軟體程式就像橋樑一樣，是現代社會重要基礎建設的關鍵元件，但研究人員直到最近才發展出有效的方法，可預先測試軟體設計的健全性。 / 影像來源：GEORGE RETSECK

© SCIENTIFIC AMERICAN, A DIVISION OF NATURE AMERICA, INC.ALL RIGHTS RESERVED.