不幸的是,在不同的验证抽象级别的环境中,没有用于验证功能覆盖模型的正确性和完整性的银弹,考虑到覆盖结果在验证流程中的重要性,这代表了重要的风险。本节为改进方法提供了一些务实的指导,包括覆盖模型构造的建议以及分析运行过代码的覆盖率的准确性。此外,我们还尝试了自动化的一些方面,随着工具开发人员对这个重要问题的重视,它很可能在未来进行扩展。
声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
全部0条评论
快来发表一下你的评论吧 !