帮忙翻译一段计算机有关的英文

来源:百度知道 编辑:UC知道 时间:2024/05/16 12:12:33
REALISTIC ASSESSMENTS
But C0 is a false friend, sorry to say: C0 is a real liar. You can have 100% statement coverage but have exercised only 30%-50% of the logic. You think you're done, but key parts of the programs have never been tried. You get a very false sense of security!

SO is not quite as bad, but it is a bit of a liar too. Just having tried a function, from any one of potentially hundreds of call sites, is good news because you know it doesn't fail immediately. But MOST of the errors in calling functions lie in their parameter chains, so you really have to exercise them well.

Only C1 and S1 even begin to tell the truth, and they have their problems, too. For one, even 100% C1 is no guarantee of defect-free code, even though studies suggest that 100% C1 is about as useful as 80% of a formal proof of correctness.

And, 100% S1 says only that you have no explicit caller-callee problems, but it says nothing about errors that occur w

现实评估
但C0 是一个假的朋友, 抱歉说: C0 是一个真正的说谎者。您能有100% 声明覆盖面只是行使了只30%-50% 逻辑。您认为you're 做, 但节目的钥匙零件未被尝试。您得到非常假的安全感!

不如此相当作为坏是, 但它是一点说谎者也是。被尝试一个作用, 从任何上百电话的当中一个选址, 潜在地是好消息因为您立刻知道它doesn't 失败。但大多错误在叫作用在在他们的参量链子, 因此您必须真正地行使他们很好。

唯一C1 和S1 甚而开始讲真相, 并且他们有他们的问题, 也是。为一, 甚而100% C1 是无瑕疵的代码没有保证, 即使研究建议100% C1 象80% 是一样有用的正确性正式证明。

并且, 100% S1 认为只您没有明确访问者callee 问题, 但是它认为没什么关于发生的错误当三个或更多作用合作。