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

作者: zball (QQ)   2023-01-26 22:44:58
※ 引述《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這種事
當然啦 要形成這樣的軟體品質要求 需要的開發文化跟成本門檻是非常巨大的
這大概也是台灣業界 對這幾塊市場攻擊力度沒這麼強的原因吧?
畢竟這樣的軟體工程品質要求 非常不利於賺快錢
作者: shigurew (shigure)   2023-01-26 22:51:00
連OS都沒這種程度的要求了,沒扯到安全還真沒人管
作者: SPDY (Alex)   2023-01-26 22:55:00
所以那些領域常昂貴 硬體和軟體的更新的速率也沒比消費3C快
作者: lbowlbow (沉睡的小貓)   2023-01-26 23:01:00
應該說台灣根本沒幾家做的到這種等級
作者: Ipluck (luckycoffe)   2023-01-26 23:04:00
你講的這幾個領域會影響到人身安全阿 沒影響的話連微軟的軟體也都嘛一堆bug反正能動就行
作者: lbowlbow (沉睡的小貓)   2023-01-26 23:16:00
微軟bug是有名的多吧,每次os發表會都會當機
作者: gaym19 (best689tw)   2023-01-26 23:20:00
發表會當機結果只好開CHROME用
作者: jackyT (Ubuntu5566)   2023-01-26 23:26:00
消費性就是錢多 所以全世界都馬用快速迭代
作者: SPDY (Alex)   2023-01-26 23:29:00
其實醫療監控患者生命體徵的設備還真有用Windows作業系統的但可能是Embedded或LTSC的版本 由網管之類部門維護更新雜事英國有發生過多間醫院還在用XP 中勒索導致開診甚至手術停擺https://i.imgur.com/uPEL9Tx.jpg 問題常常出在人為疏失...
作者: drm343 (一卡)   2023-01-27 00:18:00
以前有看過有人說用 Adacore 家的 Ada compiler,一個座位要 60k 美金所以我相信這種有要求品質的肯定跟我們日常做的差很多

Links booklink

Contact Us: admin [ a t ] ucptt.com