Testing, Property Based Testing, Agile, Software Engineering.
`sort` with `range` and `genReversedArr` 這樣我們已經能測到從長度為 1 至長度為 100 的陣列，但透過 range 產生之陣列的數字間隔都只為 1（ex. [1,2,3] 或是 [1,2,3,4,5]），如果在 sort 的實作中只有處理到間隔為 1 的情況，那有可能在 input array 為 [3,5,7,9,0] 時就發生錯誤了。 但由上列範例可以看到，透過自動產生的方式，可以減少我們手刻 input 及 output 的情形，但產生之 input 的涵蓋範圍可能還是不夠廣泛，那到底該怎麼辦呢？ 接下來，讓我們看看在