Re: [問卦] 物件導向的程式語言是廢物?
圖靈獎得主Lesslie Lamport近年來一直在推崇Formal Verification工具
TLA Plus
基本概念就是把軟體架構寫成數學狀態機定義
然後透過Temporal Logic的理論來做到100%的正確性驗證
但是TLA Plus沒有辦法直接轉換成應用程式 所以用的人一直不多
基於這個概念微軟又開發出了P語言
號稱可以兼顧Formal Verification和應用程式開發
--
※ PTT留言評論
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 61.219.228.100 (臺灣)
※ PTT 網址
噓
一大早的講什麼呢
噓
先寫出一個初音我們在繼續談
推
先推 不然別人以為我看不懂
→
就是軟體複雜到一個程度會很難測試
→
這時候傳統的自動化測試已經應附不了
→
不管加再多testcase怎麼樣都會有漏網之魚
推
好酷喔
→
這種程式怎麼寫啊
→
可以用Formal Verification寫個hello
→
world範例來看看嗎?
噓
看起來很酷,實務上不可行
推
Formal驗證有些design house有在做 但我
→
不太確定跟軟體的有沒有什麼不一樣
爆
[閒聊]遊戲開發者抱怨現在程式碼誇張膨脹「可能有99%的內容都是垃遊戲開發者Cliffski抱怨現在程式碼誇張膨脹「可能有99%的內容都是垃圾」 作為一名從事獨立遊戲設計和程式業務的開發者,克裡夫斯基(Cliffski)在一篇文章中 吐槽道 —— 這年頭的「程式碼膨脹」,已經到了令人髮指的地步。 他以自己常使用的一個雲端備份服務為例來說明,這個由某個大公司提供的雲端備份工具10
[討論] FSM狀態機程式架構是不是災難?吐泡一下 最近在維護一個交易老程式碼 就像是依照流程圖畫出來的狀態機實作 主狀態機有N個case 每個case又各自註冊可以重複的條件7
[問卦] google哪個應用程式影響你生活最多汝提 應用程式指的是 google出的 chrome,相簿,雲端,地圖,gmail,日曆,meet這些或其他 哪個應用拿掉會影響你的生活最多 我自己是地圖啦 現在去哪裡或找餐廳都要用地圖,沒有google maps怎麼生活?? 八卦6
[問題] 安卓應用程式桌面全部出現原本安著手機桌面只會放自己想要的程式 然後手機有的應用程式會放在另一個頁面(通常是桌面往上滑) 有一天突然就變得跟蘋果一樣 所有應用程式都在桌面 不知道怎麼回到之前那樣7
[問題] 三星S20+更新後 最近使用的應用程式下方各位大大們連假好 小妹前2天收到更新通知就順手更新了 結果更新完發現 在「最近使用的應用程式」畫面中 以前底下有4個應用程式也會是放最近有使用過的7
[問題] 三星 下載應用程式會多開新螢幕?大家好 最近剛換三星的S22 第一次使用三星的手機。之前使用過的有 HTC、Asus、Sony。 三星介面的部分還在摸索。6
[問題] 導覽列 不是最近的應用程式手機是用了兩天的S22U 目前唯一困擾的是,導覽列拉出時下面顯示的四個應用程式都不是最近使用的 不論我開啟了多少程式 底下一直都是日曆、媒體瀏覽器、時鐘等基本的程式在輪流出現 這些程式我也沒打開4
Re: [問題] 三星 下載應用程式會多開新螢幕?--------------------------------------------------- 大家好,我有打去客服詢問這問題。 告知這是排序的問題, 必須要把應用程式放在新螢幕的第一個(左上角)依此由左上往右排 只要有應用程式沒有依這排序處理就會依最後一個應用程式位子的右邊新增
爆
Re: [問卦] 娶超正檳榔西施當老婆算頂嗎爆
[爆卦] 青鳥嗆民進黨台北黨部: 臨時退租遮雨棚爆
[問卦] 小妹體檢報告這樣是要鼠了嗎(認真急哭爆
Re: [新聞] 新「奪命癌王」出爐!每9分鐘死1人 5.3爆
[問卦] 核三開柴油發電機了,是想逼我關冷氣嗎?爆
[問卦]19歲BMW男:非超商店員 新車三百現金買的爆
[問卦] 川島茉樹代 (Makiyo)是發生什麼事了?爆
[爆卦] 波特王微博影片64
[問卦] 肺腺癌是不是比其他癌症還可怕?爆
[爆卦] 蘇一峰因病患隱瞞愛滋文被投訴醫院與議員54
[問卦] 幹你娘 一個感冒花了快2000元還看不好54
[問卦] 板橋停電了48
[問卦] 房價炒那麼高 是真不給下一代留條活路68
[問卦] YouTube 兩人徒手蓋房子是真的還假的啊?58
[問卦] 中國經濟到底是好還壞?51
[問卦] 德國拒絕將刺人的阿富汗移民 送回去46
[問卦] 有一說一 歷史到底重要不重要82
[問卦] 比媽媽大的女生 小朋友要怎麼叫?40
[問卦] 給你一億臺幣但一輩子沒朋友?爆
[問卦] 有沒有蒸丸姨變成鹿港商圈理事長的八卦?26
[問卦] 2026年後生育率將急攀升?少子化有救了26
[問卦] 蓋布袋打人 你想蓋誰!?(線上發洩即可)26
[問卦] 為什麼台灣不免費找迪士尼環球影城來投資26
Re: [爆卦] 青鳥嗆民進黨台北黨部: 臨時退租遮雨棚26
[問卦] 明朝被滅真的是活該死好吧?24
[問卦] 新加坡國宅為什麼可以這麼便宜?27
[問卦] 486先生是公然造謠 還是不認識他們??22
[問卦]幹 相澤南變成這樣 你們真的可以嗎?46
[爆卦] 黃埔建軍100週年少了抗日戰爭23
Re: [新聞] 新「奪命癌王」出爐!每9分鐘死1人 5.3