是否有人知道任何法律先例,其中一个应用程序中缺少单元测试已经失去了某个案例或者尽管在应用程序中缺少单元测试但没有人被认为是疏忽.是否有任何备受推崇的单元测试替代方案,使程序员能够客观地证明对软件质量的承诺.
例如,在医学上,你可以在你的辩护中使用你的方法被一个实质性和备受好评的其他医生组认为是可接受的方法.
法律是在您和任何为您的软件付费的人之间
如果合同说您将进行单元测试而您没有,那么您将承担责任.这取决于您制作的每个软件和每个协议.当我为重要的软件应用程序购买Windows时(笑,笑,它确实发生),没有人确保他们对所有内容进行了单元测试
单元测试只是测试代码的一种(非常有效的)替代方法,它不能也不能成为法律要求.
例如,您可以使用指称语义和一些技术来证明一段代码的某些属性,这些技术在有充分理由的关系,完整的偏序和定点定理上找到了理由.