最後的辦法,只能靠工程師逐段翻閱程式碼,手動驗算排查。
經常一整組人加班三四天,運氣差一些要耗費大量人力,才能勉強找到問題所在。
好幾次溝通,周工和幾位老工程師說起這件事,語氣都充滿無奈。
李青將這件默默記在了心裡。
他聽完不由得生出幾分好奇。
既然餘項精細法可以分層梳理、追蹤誤差的變化,那這套思路,能不能換一種方式,用來掃描程式運算當中潛藏的隱患?
一時間他有些躍躍欲試,平日裡他有科研學習任務兼顧乾元算力的顧問工作,對程式碼和進度最熟悉。
恰好這一段時間空閒,不如試試?
好奇心催動了他的行動,最開始他只是隨手推演,僅當作一次嘗試。
他把餘項精細法裡分層解析誤差、溯源誤差傳導的核心邏輯剝離出來,適配計算機浮點運算的執行規則。
越往下研究,直覺告訴他方向,可行的思路越是清晰。
他便沉下心,認真投入到開發當中。
整整一個暑假,大部分閒暇時光都耗在了這項工作上。
白天搭建分析框架,晚上對照各類模擬樣例反覆除錯、修正演算法缺陷,中途遇到不懂的邏輯卡點翻找資料,尋求工程師們幫助。
終於,在他一次次嘗試中,一款完整的程式碼隱患篩查工具原型,終於設計完成。
和市面上現有工具不一樣,它不需要成千上萬次重複試算來推測誤差。
工具會順著程式碼的執行路徑,逐層解析每一次運算生成的餘項,完整還原誤差傳遞和疊加的全過程。
不但可以精準定位產生偏差的具體程式碼片段,漏檢率更低,掃描速度大幅提升,還能結合餘項的構成,給出公式精簡、引數調整的可行參考。
經過多組公司以往案例留件自測驗證,不僅可行,效果還遠超他一開始的預期。
不過個例存在偶然性,普遍使用還需要更多測試。
李青整理好程式包、簡易的使用說明與測試報告,開啟郵箱,給周工寫了一封郵件,打算藉助乾元算力演算法研究院實地測試。
最開始,周工還以為這是李青做出來玩玩的,畢竟花一兩個月時間基於自己的理論隨手寫出來的小工具,不至於逆天到取締多年持續更新迭代的軟體吧?
而且這不是正式專案,既沒有專業工程團隊打磨,也沒有複雜的商用架構,拿什麼和行業內公認成熟、收費高昂的專業誤差檢測軟體比?
所以收到李青要求的第一時間,周工只是想著簡單跑幾組測試,給李青一個反饋,算是禮貌性的試用。
他覺得大機率效果一般,頂多能查出幾個最基礎的低階錯誤,不可能超越專業商用軟體。
挑了一組平日裡剛排查過的工程程式碼進行測試,發現完美檢測,還給出來可行的參考!
有點東西啊!
又找一例,完美檢測……
……完是還,找再
。了真認他,直坐工周








