Làm cách nào để kiểm tra mã không bao giờ được thực thi?

Question

Phương thức sau chỉ được gọi nếu nó đã được xác minh rằng có các chữ số không hợp lệ (bằng cách gọi một phương thức khác). Làm cách nào tôi có thể thử nghiệm bao gồm các dòng throw trong đoạn mã sau? Tôi biết rằng một cách có thể là hợp nhất với nhau VerifyThereAreInvalidiDigits và phương pháp này. Tôi đang tìm bất kỳ ý tưởng nào khác.

public int FirstInvalidDigitPosition { 
    get { 
     for (int index = 0; index < this.positions.Count; ++index) { 
      if (!this.positions[index].Valid) return index; 
     } 
     throw new InvalidOperationException("Attempt to get invalid digit position whene there are no invalid digits."); 
    } 
} 

Tôi cũng không muốn viết một bài kiểm tra đơn vị rằng các mã bài tập không bao giờ nên được thực thi.

Answer 1

Nếu "ném" tuyên bố trong câu hỏi thực sự là unreachable dưới bất kỳ kịch bản có thể sau đó nó phải được xóa và thay thế bằng:

Debug.Fail("This should be unreachable; please find and fix the bug that caused this to be reached."); 

Nếu mã có thể truy cập sau đó viết một bài kiểm tra đơn vị đó kiểm tra kịch bản đó. Các kịch bản báo cáo lỗi cho các phương thức có thể truy cập công khai là các kịch bản hoàn toàn hợp lệ. Bạn phải xử lý tất cả các đầu vào một cách chính xác, ngay cả đầu vào xấu. Nếu điều đúng đắn cần làm là ném một ngoại lệ thì hãy kiểm tra xem bạn có đang ném một ngoại lệ hay không.

CẬP NHẬT: theo nhận xét, thực tế là không thể xảy ra lỗi khi truy cập và do đó mã không thể truy cập được. Nhưng bây giờ Debug.Fail không thể truy cập được, và nó không biên dịch vì trình biên dịch ghi chú rằng một phương thức trả về một giá trị có một điểm kết thúc có thể truy cập.

Vấn đề đầu tiên không thực sự là vấn đề; chắc chắn công cụ bảo hiểm mã phải được cấu hình để bỏ qua mã chỉ gỡ lỗi không thể truy cập được. Nhưng cả hai vấn đề có thể được giải quyết bằng cách viết lại vòng lặp:

public int FirstInvalidDigitPosition 
{ 
    get 
    { 
     int index = 0; 
     while(true) 
     { 
      Debug.Assert(index < this.positions.Length, "Attempt to get invalid digit position but there are no invalid digits!"); 
      if (!this.positions[index].Valid) return index; 
      index++; 
     } 
    } 
} 

Một phương pháp khác sẽ được sắp xếp lại mã để bạn không có vấn đề ở nơi đầu tiên:

public int? FirstInvalidDigitPosition { 
    get { 
     for (int index = 0; index < this.positions.Count; ++index) { 
      if (!this.positions[index].Valid) return index; 
     } 
     return null; 
    } 
} 

và bây giờ bạn không cần phải hạn chế người gọi để gọi AreThereInvalidDigits trước; chỉ cần làm cho nó hợp pháp để gọi phương pháp này bất cứ lúc nào. Điều đó có vẻ như là điều an toàn hơn để làm. Các phương pháp phát nổ khi bạn không thực hiện một số kiểm tra tốn kém để xác minh rằng chúng an toàn để gọi là các phương pháp dễ vỡ, nguy hiểm.

Answer 2

Tôi không hiểu tại sao bạn không muốn viết bài kiểm tra đơn vị thực hiện "mã không nên xảy ra".

Nếu "không nên xảy ra", thì tại sao bạn lại viết mã? Bởi vì bạn nghĩ rằng nó có thể xảy ra tất nhiên - có lẽ một lỗi trong việc tái cấu trúc trong tương lai sẽ phá vỡ xác nhận hợp lệ khác của bạn và mã này sẽ được thực hiện.

Nếu bạn nghĩ rằng nó đáng để viết mã, đơn vị đáng thử nghiệm nó.

Answer 3

Một phần của mục đích thử nghiệm là kiểm tra cả hai điều nên xảy ra và những thứ mà có thể xảy ra xảy ra.

Nếu bạn có mã nên không bao giờ thực hiện, nhưng thể dưới bên phải (hoặc sai) điều kiện, bạn có thể xác minh rằng các ngoại lệ xảy ra trong điều kiện thích hợp (trong Unit Test Khung MS) bằng cách trang trí thử nghiệm của bạn phương pháp với:

[ExpectedException(typeof(InvalidOperationException))] 

Answer 4

đó là đôi khi cần thiết để viết các đoạn mã ngắn mà không thể thực hiện, chỉ để xoa dịu một trình biên dịch (ví dụ nếu một chức năng mà luôn luôn ném một ngoại lệ, thoát ứng dụng, vv được gọi từ một hàm có nghĩa vụ trả về một giá trị, trình biên dịch có thể nhấn mạnh rằng người gọi bao gồm một "return 0", "Return Nothing ", vv tuyên bố mà không bao giờ có thể thực thi. Tôi sẽ không nghĩ rằng một trong những nên được yêu cầu để kiểm tra như vậy "mã", vì nó có thể là không thể thực hiện nó mà không vi phạm nghiêm trọng các phần khác của hệ thống.

Một câu hỏi thú vị hơn đi kèm với mã mà bộ xử lý không bao giờ có thể thực thi trong các trường hợp bình thường, nhưng tồn tại để giảm thiểu tác hại từ các trường hợp bất thường. Ví dụ: một số ứng dụng quan trọng về an toàn mà tôi đã viết bắt đầu bằng mã giống như (mã ứng dụng thực là mã máy; được đưa ra dưới đây là mã giả)

 
    register = 0 
    test register for zero 
    if non-zero goto dead 
    register = register - 1 
    test register for zero 
    if non-zero goto okay1 
dead: 
    shut everything down 
    goto dead 
okay1: 
    register = register + 1 
    if non-zero goto dead 

Tôi không chắc chắn chính xác bạn sẽ thử nghiệm như thế nào mã đó trong trường hợp lỗi. Mục đích của mã này là để đảm bảo rằng nếu thanh ghi đã bị tĩnh điện hoặc thiệt hại khác, hoặc nếu không hoạt động, hệ thống sẽ tắt một cách an toàn. Không có một số thiết bị rất ưa thích, mặc dù, tôi không có ý tưởng làm thế nào để kiểm tra mã như vậy.