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

看板C_Chat作者 (QQ)時間1年前 (2023/01/26 22:45), 1年前編輯推噓4(4011)
留言15則, 7人參與, 1年前最新討論串11/19 (看更多)
※ 引述《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

01/26 22:51, 1年前 , 1F
連OS都沒這種程度的要求了,沒扯到安全還真沒人管
01/26 22:51, 1F

01/26 22:55, 1年前 , 2F
所以那些領域常昂貴 硬體和軟體的更新的速率也沒比消費3C快
01/26 22:55, 2F

01/26 23:01, 1年前 , 3F
應該說台灣根本沒幾家做的到這種等級
01/26 23:01, 3F

01/26 23:04, 1年前 , 4F
你講的這幾個領域會影響到人身安全阿 沒影響的話連微軟
01/26 23:04, 4F

01/26 23:04, 1年前 , 5F
的軟體也都嘛一堆bug反正能動就行
01/26 23:04, 5F

01/26 23:16, 1年前 , 6F
微軟bug是有名的多吧,每次os發表會都會當機
01/26 23:16, 6F

01/26 23:20, 1年前 , 7F
發表會當機結果只好開CHROME用
01/26 23:20, 7F

01/26 23:26, 1年前 , 8F
消費性就是錢多 所以全世界都馬用快速迭代
01/26 23:26, 8F

01/26 23:29, 1年前 , 9F
其實醫療監控患者生命體徵的設備還真有用Windows作業系統的
01/26 23:29, 9F

01/26 23:29, 1年前 , 10F
但可能是Embedded或LTSC的版本 由網管之類部門維護更新雜事
01/26 23:29, 10F
以一個正常的人身安全醫療級軟體功能 其fail safe的設計 要避免控制它的Host因為異常導致的危險輸入產生異常的輸出 應該是基本的 在車輛/航太/醫療所設計的軟體 考量應該遠遠不止只要平時能夠運作就好這回事... ※ 編輯: zball (1.34.11.204 臺灣), 01/26/2023 23:38:36

01/26 23:37, 1年前 , 11F
英國有發生過多間醫院還在用XP 中勒索導致開診甚至手術停擺
01/26 23:37, 11F

01/26 23:43, 1年前 , 12F
問題常常出在人為疏失...
01/26 23:43, 12F

01/27 00:18, 1年前 , 13F
以前有看過有人說用 Adacore 家的 Ada compiler,一個座位
01/27 00:18, 13F

01/27 00:18, 1年前 , 14F
要 60k 美金
01/27 00:18, 14F

01/27 00:21, 1年前 , 15F
所以我相信這種有要求品質的肯定跟我們日常做的差很多
01/27 00:21, 15F
文章代碼(AID): #1Zqf7iUc (C_Chat)
討論串 (同標題文章)
文章代碼(AID): #1Zqf7iUc (C_Chat)