1. 程式人生 > >Software Testing 閱讀筆記(二)離散數學和泛化程式碼

Software Testing 閱讀筆記(二)離散數學和泛化程式碼

泛化的虛擬碼,根據我的理解,就是單元和程式元件,就是單詞加上一個尖括號來代表步驟,省略了大部分程式。

經典問題 三角形問題

判斷三角形的形狀:輸入為三條邊,輸出為三角形的形狀

以下是其三角形程式的資料流圖展示:

注意圖中,我們可以分析到有六個箭頭指向非三角形,三個指向等腰三角形,其實就是我們知道的條件和所有的狀態。

結構化三角形程式:

接下來介紹了nextData問題,對月份和具體日期和年的分類,使用case來實現對月份分類,接著在2月特殊的地方再進行分類。

佣金問題的介紹帶我們瞭解了多變數的測試思路。

測試的離散數學

集合定義

必須無歧義的定義,定義很清晰,其他介紹了維恩圖以及集合的運算

之後介紹函式和關係、邏輯關係等