下载使用MCDC方法的代码分析设备和代码分析方法的技术资料

文档序号:40845310

温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。

本发明涉及一种使用MCDC方法的代码分析设备和代码分析方法。该代码分析方法包括:将源代码所指示的包括n个条件的表达式转换成布尔表达式;基于布尔表达式生成包括多个节点的二叉表达式树;通过分析每个节点是叶节点还是父节点来初始化每个节点的翻转极限...
该专利属于现代自动车株式会社所有,仅供学习研究参考,未经过现代自动车株式会社授权不得商用。

详细技术文档下载地址

温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。