Re: [閒聊] 寫程式真的這麼邪門嗎？

[zball (QQ)]

※ 引述《tomer (卯月影)》之銘言：

: 像是toyota弄他們自己的車載、或者中國一些搞醫療器材的
: Code在merge前一定是送過code scan的
: 前面講的一些未定義行為
: 或者可能造成memory leak之類的code
: 通通都會被抓出來
: 一些太新、或者被認為風險很高的「奇技淫巧」也會被禁用
: 這個是從coding執行面最大限度減少出現怪事情的風險
: 當然也是挺花錢的
: Code scan本身就不便宜了
: 修正也是很耗人力成本
: 這種工程師不能隨便請
: 你給一些搞不清楚狀況的工程師去改
: 可能改好幾次還是掃不過
: 或者改出bug通不過測試
: 最後就是真的ship後出bug的對應


其實軟體工程品質在許多業界  還是有在要求的   甚至是成為規範跟SOP

像在以下的業界:

   ‧ 汽車

   ‧ 航空航太和國防

   ‧ 醫療設備

這些業界 只要是關鍵的零組件  SW/FW 什麼MISRA C++ 跟 AUTOSAR 根本是基本的要求

在寫code之前  需求/規劃書/流程圖是標配  這些沒產出你寫出來的東西根本沒人要看

有些東西甚至是model base的玩意兒 : simulink 拉Model然後直接code generation

text coding甚至不是主要的工作

還有一堆SW/HW function fail safe / fail work的東西要處理....etc

相較之下  最後的coding反而都是次要的

在你coding之前  一堆架構跟流程的東西早該要被討論清楚

要產出的文件 effort多到是coding的好幾倍



上述軟體工程需求跟消費型電子的軟體品質需求  根本是兩個世界

畢竟這些都是跟人身安全相關的  沒人會放心你放乖乖就會work這種事

當然啦  要形成這樣的軟體品質要求   需要的開發文化跟成本門檻是非常巨大的

這大概也是台灣業界  對這幾塊市場攻擊力度沒這麼強的原因吧?

畢竟這樣的軟體工程品質要求  非常不利於賺快錢

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 1.34.11.204 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/C_Chat/M.1674744300.A.7A6.html
※ 編輯: zball (1.34.11.204 臺灣), 01/26/2023 22:47:46
推 shigurew: 連OS都沒這種程度的要求了，沒扯到安全還真沒人管
→ SPDY: 所以那些領域常昂貴 硬體和軟體的更新的速率也沒比消費3C快
→ lbowlbow: 應該說台灣根本沒幾家做的到這種等級
推 Ipluck: 你講的這幾個領域會影響到人身安全阿   沒影響的話連微軟
→ Ipluck: 的軟體也都嘛一堆bug反正能動就行
→ lbowlbow: 微軟bug是有名的多吧，每次os發表會都會當機
→ gaym19: 發表會當機結果只好開CHROME用
→ jackyT: 消費性就是錢多 所以全世界都馬用快速迭代
→ SPDY: 其實醫療監控患者生命體徵的設備還真有用Windows作業系統的
→ SPDY: 但可能是Embedded或LTSC的版本 由網管之類部門維護更新雜事
以一個正常的人身安全醫療級軟體功能  其fail safe的設計

要避免控制它的Host因為異常導致的危險輸入產生異常的輸出  應該是基本的

在車輛/航太/醫療所設計的軟體   考量應該遠遠不止只要平時能夠運作就好這回事...
※ 編輯: zball (1.34.11.204 臺灣), 01/26/2023 23:38:36
→ SPDY: 英國有發生過多間醫院還在用XP 中勒索導致開診甚至手術停擺
→ SPDY: https://i.imgur.com/uPEL9Tx.jpg 問題常常出在人為疏失...
推 drm343: 以前有看過有人說用 Adacore 家的 Ada compiler，一個座位
→ drm343: 要 60k 美金
推 drm343: 所以我相信這種有要求品質的肯定跟我們日常做的差很多