Dans quelle mesure devrions-nous être défensifs?

Question

Nous avons couru Pex sur un code, et cela a montré de bonnes choses (bien de mauvaises choses, mais les montrer avant qu'il n'arrive à production!).

Cependant, l'une des belles choses à propos de PEX est que cela n'arrête pas nécessairement d'essayer de trouver des problèmes.

Un domaine que nous avons trouvé est qu'en passant dans une chaîne, nous ne vérifions pas les chaînes vides.

Nous avons donc changé:

if (inputString == null)

à

if (string.IsNullOrEmpty(inputString)) // ***

Cela a résolu les problèmes initiaux. Mais ensuite, lorsque nous avons encore couru PEX, cela a décidé que:

inputString = "\0";

causait des problèmes. Et alors

inputString = "\u0001";

Ce que nous avons décidé, c'est que les valeurs par défaut peuvent être utilisées si nous rencontrons // *** et que nous sommes heureux de voir l'exception causée par toute autre contribution étrange (et de le traiter).

Est-ce suffisant?