龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：日产自动车株式会社
申请日：2014-07-30
公开（公告）日：2016-05-18
公开（公告）号：CN105593825A
专利技术分类：.通过软件的测试或调试防止错误[2006.01]
专利摘要：软件检查装置从成为检查对象的源代码D01中，对分别属于SU区间、SL区间以及WU区间的语句进行确定S03，并针对每个区间而确定在所确定的语句中被执行写入的寄存器S04，其中，在SU区间内记述有在计算机系统启动时所执行的处理。对关于在从SU区间、SL区间以及WU区间选择的2个区间中的一者中存在写入、且在另一者中不存在写入的寄存器而设想的错误进行检测并输出S05、S06。
专利权项：一种软件检查装置，其对记述有计算机系统所执行的处理的计算机程序进行检查，所述软件检查装置的特征在于，具备：起点终点确定部，其从成为检查对象的所述计算机程序中，对启动区间、转换区间以及恢复区间的各自的起点及终点进行确定，其中，在所述启动区间内记述有在计算机系统启动时所执行的处理，在所述转换区间内记述有在计算机系统启动之后从正常模式向与所述正常模式相比计算机系统的消耗电力低的低耗电模式转换时所执行的处理，在所述恢复区间内记述有在从低耗电模式向正常模式恢复时所执行的处理；区间确定部，其基于由所述起点终点确定部确定的起点及终点，从在所述计算机程序所包含的语句中，确定分别属于所述启动区间、所述转换区间以及所述恢复区间的语句；寄存器写入确定部，其针对每个区间，确定在由所述区间确定部确定的语句中被执行写入的寄存器；数据存储部，其对危险性判定数据进行储存，所述危险性判定数据对关于在从所述启动区间、所述转换区间以及所述恢复区间选择的2个区间中的一者中存在写入、且在另一者中不存在写入的寄存器而设想的错误进行规定；错误检测部，其利用在所述数据存储部中存储的所述危险性判定数据，对关于由所述寄存器写入确定部确定的寄存器而设想的错误进行检测；以及检查结果输出部，其将针对由所述寄存器写入确定部确定的每个寄存器而由所述错误检测部检测出的错误输出。
百度查询： 日产自动车株式会社 软件检查装置、软件检查方法、软件检查程序
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号