资料下载
×
面向方面设计中功能干涉的工具
消耗积分:3 |
格式:rar |
大小:1.41 MB |
2018-01-16
分享资料个
干涉问题是指基础程序和方面之间或者方面之间发生不需要的相互作用，导致最终程序中产生不想要的功能，危害程序的正确性．很难检测和修正在面向方面设计中存在的干涉，已经成为推广面向方面技术的阻碍．受到技术自身可扩展能力的局限，现有的基于模型验证技术的工作不能有效地处理功能干涉问题．设计开发了基于推理验证技术直接检查和去除面向方面设计中功能干涉的工具，它可以根据类和方面的功能规约自动产生确保不发生干涉的条件，并引入交互式证明工具PVS来提高证明过程的自动化程度．证明可以确认设计中无干涉存在或者为修正干涉问题提供线索。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
