Làm thế nào để mô hình đồng thời trong các bài kiểm tra đơn vị?

Question

Tôi khá mới để thử nghiệm đơn vị và hiện đang thử nghiệm một chút với các công cụ kiểm tra của Visual Studio.

Câu hỏi của tôi là cách xác định các xác nhận về hành vi đồng thời trong các thử nghiệm này. Ví dụ. cung cấp một lớp BoundedChan<T> thực hiện một kênh bị chặn, làm thế nào tôi có thể chỉ định các xét nghiệm như

1. "channel.Send sẽ không chặn" hoặc
2. "Nếu công suất của kênh bị vượt quá, channel.Send sẽ chặn cho đến khi một giá trị được đọc"

Có giải pháp thanh lịch để viết các xác nhận này không?

Answer 1

Đây là một số blog article thảo luận về chủ đề; nó tập trung vào NUnit.

Thật không may, đồng thời vẫn là một khu vực thử nghiệm đơn vị đó là thách thức để cấu trúc dễ dàng. Nó không phải là một vấn đề đơn giản, và vẫn yêu cầu bạn thực hiện một số đồng bộ hóa của riêng bạn và logic đồng thời trong thử nghiệm.

Ví dụ bạn cung cấp, không thể viết kiểm tra độc quyền chứng minh rằng một phương pháp sẽ hoặc sẽ không chặn trong các điều kiện nhất định. Bạn có thể đạt được mức độ tin cậy nào đó bằng cách đầu tiên tạo ra các trường hợp xấu nhất, nơi bạn mong đợi hành vi chặn - và sau đó viết các bài kiểm tra để xác định xem điều đó có xảy ra hay không.

Answer 2

Câu hỏi này có thể dẫn đến đủ nội dung để lấp đầy sách.

Nói chung, tôi sẽ không khuyên bạn nên thêm các bài kiểm tra đơn vị vào các lớp của bạn cho các tình huống đồng thời. Với thực tế, tôi nghĩ bạn sẽ biết rằng các bài kiểm tra đơn vị tự động có một hoặc nhiều "điểm ngọt" - và tập trung nỗ lực của bạn vào các khu vực này (và sử dụng các thực hành khác ở các khu vực khác) mang lại ROI tốt hơn.

Nhưng lớp học của bạn có vẻ là về đồng thời (không thể biết chắc chắn dựa trên thông tin được cung cấp), và do đó đây có thể là trường hợp bạn thực sự muốn thử nghiệm mô phỏng đồng thời.

Bạn có thể (theo như tôi biết) khởi động nhiều chủ đề trong một bài kiểm tra đơn vị nếu bạn muốn. Nhưng có thể có một cách đơn giản hơn. Xem xét tận dụng mẫu Compose Method. Trong khi chúng tôi đang ở trên chủ đề - mô hình này là khá quan trọng để kiểm tra đơn vị hiệu quả trên tất cả, không chỉ với đồng thời.

Answer 3

này nên là một interesring đọc -> http://c2.com/cgi-bin/wiki?ExtremeProgrammingChallengeFourteen

Answer 4

tôi đã tạo ra một helper có thể bắt đầu một loạt các chủ đề để thực hiện các hành động đồng thời. Trình trợ giúp cung cấp các nguyên tắc đồng bộ hóa và cơ chế ghi nhật ký. Nó có thể được sử dụng kết hợp với bất kỳ khung kiểm tra đơn vị nào. Đây là một đoạn mã từ thử nghiệm đơn vị:

[Test] 
public void TwoCodeBlocksInParallelTest() 
{ 
    // This static method runs the provided Action delegates in parallel using threads 
    CTestHelper.Run(
     c => 
      { 
       Thread.Sleep(1000); // Here should be the code to provide something 
       CTestHelper.AddSequenceStep("Provide"); // We record a sequence step for the expectations after the test 
       CTestHelper.SetEvent(); 
      }, 
     c => 
      { 
       CTestHelper.WaitEvent(); // We wait until we can consume what is provided 
       CTestHelper.AddSequenceStep("Consume"); // We record a sequence step for the expectations after the test 
      }, 
     TimeSpan.FromSeconds(10)); // This is a timeout parameter, if the threads are deadlocked or take too long, the threads are terminated and a timeout exception is thrown 

    // After Run() completes we can analyze if the recorded sequence steps are in the correct order 
    Expect(CTestHelper.GetSequence(), Is.EqualTo(new[] { "Provide", "Consume" })); 
} 

Nó có thể được sử dụng để kiểm tra máy khách/máy chủ hoặc đồng bộ hóa trong các thành phần hoặc chỉ chạy một luồng có thời gian chờ. Tôi sẽ tiếp tục cải thiện điều này trong những tuần tới. Đây là trang dự án: Concurrency Testing Helper