【技术实现步骤摘要】
一种CAA链接库完整性诊断方法及系统
[0001]本专利技术属于编译诊断
,具体公开了一种CAA链接库完整性诊断方法及系统。
技术介绍
[0002]达索3DE平台是当今水利水电行业的主流三维设计及BIM应用平台,具有协同设计、分析计算、施工仿真、商业智能等多种功能。3DE平台客户端开发套件为CAA+RADE,CAA是3DE平台客户端二次开发接口API,提供了150多个框架约500多个子模块的头文件和库文件;RADE是基于Visual Studio集成开发环境的插件,提供CAA开发相关的功能,如语法提示、编译链接、单元测试等。
[0003]软件开发过程中,需要对模块的头文件(header文件)的引用模式和库文件(lib文件)的完整性做出诊断。对于CAA而言,RADE能够很好地诊断CAA模块头文件引用,如自动引入间接依赖,检查可见性约束等,功能非常实用。但是RADE并未提供CAA模块库文件相关的诊断功能,需要开发人员自行手工检查,步骤繁琐、工作量大、还容易遗漏,经常导致编译错误。
技术实现思路
[0 ...
【技术保护点】
【技术特征摘要】
1.一种CAA链接库完整性诊断方法,其特征在于包括以下步骤:建立头文件和库文件的键值对数据库;所述数据库中键为头文件名,值为所依赖的库文件列表,扫描CAA工作空间编译单元,获取已引用DS类头文件的集合H和已定义库文件的集合A;根据所述键值数据库查询所述集合H对应库文件的集合B;对所述集合A、集合B进行运算,根据运算结果给出完整性诊断。2.如权利要求1所述的一种CAA链接库完整性诊断方法,其特征在于,所述依赖包括直接依赖和间接依赖。3.如权利要求2所述的一种CAA链接库完整性诊断方法,其特征在于,所述完整性诊断包括:所述集合A∩集合B的结果对应于已正确定义的库文件,标记为正确;所述集合A
‑
集合B的结果对应于不应引用而引用的库文件,标记为冗余警告;所述集合B
‑
集合A的结果对应于应引用而未引用的库文件,标记为缺失错误。4.一种CAA链接库完整性诊断...
【专利技术属性】
技术研发人员:张乐,谢明霞,王宁,李南辉,
申请(专利权)人:长江勘测规划设计研究有限责任公司,
类型:发明
国别省市:
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。