微信公众号搜"智元新知"关注
微信扫一扫可直接关注哦!

软件度量,证明属性是正确的

如何解决软件度量,证明属性是正确的

Yin 和 Winchester 定义了一系列系统设计度量,Ci= ei — ni + 1,其中 e 是第 i 层的弧数,ni 是第 t 层的节点数。以 I 为最后一层,他们通过 nt,(G)= e— n + 1 定义整个设计 G 的树杂质 m2,其中 e 是边的总数,n 是 G 的节点总数。证明性质 I 和 2 满足 m2 但不满足性质 3 (Yin and Winchester,1978)。

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。