การพัฒนา F # และการทดสอบหน่วย?

ฉันเพิ่งเริ่มใช้ F # ซึ่งเป็นภาษาแรกที่ใช้งานได้ ฉันทำงานกึ่งเดียวกับ C # และสนุกมากกับการที่ F # ทำให้ฉันคิดใหม่ว่าฉันเขียนโค้ดอย่างไร สิ่งหนึ่งที่ฉันพบว่ามีความสับสนเล็กน้อยคือการเปลี่ยนแปลงในกระบวนการเขียนโค้ด ตอนนี้ฉันใช้ TDD ใน C # มาหลายปีแล้วและรู้สึกขอบคุณมากที่มีการทดสอบหน่วยเพื่อให้ทราบว่าฉันอยู่ที่ไหน

จนถึงตอนนี้กระบวนการของฉันกับ F # คือการเขียนฟังก์ชั่นบางอย่างเล่นกับคอนโซลแบบโต้ตอบจนกว่าฉันจะ "มีเหตุผล" แน่ใจว่ามันใช้งานได้และปรับแต่งและรวมเข้าด้วยกัน สิ่งนี้ใช้ได้ดีกับปัญหาเล็ก ๆ เช่นโครงการออยเลอร์ แต่ฉันนึกไม่ถึงว่าจะสร้างสิ่งที่ใหญ่ขนาดนั้นได้

ผู้คนเข้าถึงการทดสอบหน่วยและสร้างชุดทดสอบสำหรับโปรแกรม F # ได้อย่างไร มีเทียบเท่ากับ TDD หรือไม่? คำแนะนำหรือความคิดใด ๆ ที่ได้รับการชื่นชม

นักพัฒนาที่ได้รับการทดสอบควรรู้สึกเหมือนอยู่บ้านในภาษาที่ใช้งานได้เช่น F #: ฟังก์ชันขนาดเล็กที่ให้ผลลัพธ์ที่ทำซ้ำได้อย่างแน่นอนช่วยให้สามารถทดสอบหน่วยได้อย่างสมบูรณ์แบบ นอกจากนี้ยังมีความสามารถในภาษา F # ที่อำนวยความสะดวกในการทดสอบการเขียน ใช้ตัวอย่างเช่น, นิพจน์วัตถุ คุณสามารถเขียนของปลอมสำหรับฟังก์ชันที่ใช้เป็นอินพุตประเภทอินเทอร์เฟซได้อย่างง่ายดาย

ถ้ามีอะไร F # เป็นภาษาเชิงวัตถุชั้นหนึ่งและคุณสามารถใช้เครื่องมือและลูกเล่นเดียวกับที่คุณใช้เมื่อทำ TDD ใน C # นอกจากนี้ยังมีเครื่องมือทดสอบบางอย่างที่เขียนขึ้นโดยเฉพาะสำหรับ F #:

• NaturalSpec
• FsCheck
• FsTest
• FsUnit

Matthew Podwysocki เขียนซีรีส์ที่ยอดเยี่ยมเกี่ยวกับการทดสอบหน่วยในภาษาที่ใช้งานได้ ลุงบ๊อบยังเขียนบทความกระตุ้นความคิดที่นี่

ฉันใช้ NUnit และมันไม่ได้ทำให้ฉันอ่านยากหรือเขียนยาก:

open NUnit.Framework

[<TestFixture>]
type myFixture() = class

    [<Test>]
    member self.myTest() =
       //test code

end

เนื่องจากโค้ดของฉันเป็นการผสมผสานระหว่าง F # และภาษา. Net อื่น ๆ ฉันจึงชอบความจริงที่ว่าฉันเขียนการทดสอบหน่วยในรูปแบบเดียวกันโดยทั่วไปและมีไวยากรณ์ที่คล้ายกันทั้งใน F # และ C #

ลองดูFsCheckซึ่งเป็นเครื่องมือทดสอบอัตโนมัติสำหรับ F # นั้นเป็นพอร์ต QuickCheck ของ Haskell ช่วยให้คุณสามารถระบุข้อมูลจำเพาะของโปรแกรมในรูปแบบของคุณสมบัติที่ฟังก์ชันหรือวิธีการควรตอบสนองและ FsCheck ทดสอบว่าคุณสมบัติมีอยู่ในกรณีที่สร้างแบบสุ่มจำนวนมาก

หน้า FsCheck CodePlex

หน้าผู้เขียน FsCheck

ตามที่ dglaubman แนะนำคุณสามารถใช้ NUnit xUnit.netยังให้การสนับสนุนนี้และทำงานได้ดีกับTestDriven.net รหัสมีลักษณะคล้ายกับการทดสอบ NUnit แต่ไม่มีข้อกำหนดในการรวมการทดสอบในประเภทที่มี

#light

// Supply a module name here not a combination of module and namespace, otherwise
// F# cannot resolve individual tests nfrom the UI.
module NBody.DomainModel.FSharp.Tests

open System
open Xunit

open Internal

[<Fact>]
let CreateOctantBoundaryReordersMinMax() =
    let Max = VectorFloat(1.0, 1.0, 1.0)
    let Min = VectorFloat(-1.0, -1.0, -1.0)

    let result = OctantBoundary.create Min Max

    Assert.Equal(Min, result.Min)     
    Assert.Equal(Max, result.Max) 

ฉันคิดว่านี่เป็นคำถามที่น่าสนใจที่ฉันเคยสงสัยเกี่ยวกับตัวเองมามาก ความคิดของฉันจนถึงตอนนี้เป็นเพียงความคิดดังนั้นจงยึดมั่นในสิ่งที่เป็น

ฉันคิดว่าเครือข่ายความปลอดภัยของชุดทดสอบอัตโนมัติมีค่าเกินกว่าที่จะปล่อยไปได้อย่างไรก็ตามคอนโซลแบบโต้ตอบนั้นอาจมีเสน่ห์ดังนั้นฉันจึงวางแผนที่จะเขียนการทดสอบหน่วยต่อไปเหมือนที่ฉันเคยทำมาตลอด

จุดแข็งหลักอย่างหนึ่งของ. NET คือความสามารถข้ามภาษา ฉันรู้ว่าฉันกำลังจะเขียนรหัสการผลิต F # ในเร็ว ๆ นี้ แต่แผนของฉันคือการเขียนการทดสอบหน่วยใน C # เพื่อให้ฉันเข้าใจภาษาใหม่สำหรับฉันได้ง่ายขึ้น ด้วยวิธีนี้ฉันยังได้ทดสอบว่าสิ่งที่ฉันเขียนใน F # จะเข้ากันได้กับ C # (และภาษา. NET อื่น ๆ )

ด้วยวิธีนี้ฉันเข้าใจว่ามีคุณลักษณะบางอย่างของ F # ที่ฉันสามารถใช้ได้ภายในรหัส F # ของฉันเท่านั้น แต่จะไม่เปิดเผยเป็นส่วนหนึ่งของ API สาธารณะของฉัน แต่ฉันจะยอมรับสิ่งนั้นเช่นเดียวกับที่ฉันยอมรับในวันนี้ว่ามีบางอย่าง C # ช่วยให้ฉันสามารถแสดง (ชอบuint) ที่ไม่สอดคล้องกับ CLS ดังนั้นฉันจึงไม่ใช้มัน

คุณสามารถดูFSUnit - แม้ว่าฉันจะยังไม่ได้ใช้มันก็น่าลอง แน่นอนว่าดีกว่าการใช้ตัวอย่าง (เนทีฟ) NUnit ใน F #

แม้ว่าจะไปงานปาร์ตี้ช้าไปหน่อย แต่ฉันก็อยากจะต้อนรับ Mathias เข้าสู่ F # (ดีกว่าไม่มาสายเลย;)) และเสียงระฆังที่คุณอาจชอบ Expecto ไลบรารีการทดสอบหน่วยของฉัน

Expecto มีคุณสมบัติบางอย่างที่คุณอาจชอบ:

• ไวยากรณ์ F # ตลอดการทดสอบเป็นค่า เขียน F # ธรรมดาเพื่อสร้างการทดสอบ
• ใช้โมดูล Expect ในตัวหรือ lib ภายนอกเช่น Unquote สำหรับการยืนยัน
• การทดสอบคู่ขนานตามค่าเริ่มต้น
• ทดสอบรหัส Hopac หรือรหัส Async ของคุณ Expecto ไม่ตรงกันตลอด
• การบันทึกและเมตริกแบบเสียบได้ผ่าน Logary Facade เขียนอะแด็ปเตอร์สำหรับสร้างระบบหรือใช้กลไกเวลาในการสร้างแดชบอร์ด InfluxDB + Grafana ของเวลาดำเนินการทดสอบของคุณ
• สร้างขึ้นในการสนับสนุน BenchmarkDotNet
• สร้างเพื่อรองรับ FsCheck; ทำให้ง่ายต่อการสร้างการทดสอบด้วยข้อมูลที่สร้างขึ้น / สุ่มหรือการสร้างแบบจำลองที่ไม่แปรเปลี่ยนของพื้นที่สถานะของวัตถุ / นักแสดงของคุณ

-

open Expecto

let tests =
  test "A simple test" {
    let subject = "Hello World"
    Expect.equal subject "Hello World" "The strings should equal"
  }

[<EntryPoint>]
let main args =
  runTestsWithArgs defaultConfig args tests

https://github.com/haf/expecto/