-
公开(公告)号：CN106294135A
公开(公告)日：2017-01-04
申请号：CN201610619804.9
申请日：2016-07-30
Applicant: 桐城市祥瑞机动车辆检测有限公司
Inventor： 王亮
IPC: G06F11/36
CPC classification number: G06F11/3608
Abstract: 本发明提供一种机动车电子器件中断安全隐患检测系统，包括：代码预处理模块，其对汽车电子器件机器码进行代码切片；模型生成模块，其为切片后的代码建立抽象模型；代码验证与分析模块，其检测所述抽象模型是否存在中断安全隐患。本发明还提供机动车电子器件中断安全隐患检测系统的检测方法，从机器码层面上进行错误检测，避免使用编译器编译高级语言可能带来的错误，对机器码切片，截取机器码局部有用的代码，很好地避免模型检查时的状态爆炸问题，并在原有正确性的基础上对汽车操作系统提出更高层次的要求。
-
公开(公告)号：CN106201871A
公开(公告)日：2016-12-07
申请号：CN201610513167.7
申请日：2016-06-30
Applicant: 重庆大学
IPC: G06F11/36
CPC classification number: G06F11/3608
Abstract: 本发明涉及基于代价敏感半监督的软件缺陷预测方法，包括如下步骤，S1通过版本控制工具收集待预测软件的源代码文件；S2所述S1得到的源代码文件由I个模块组成，从所述源代码文件中提取度量元值；S3通过采样的方式通过度量元值选取模块得到采样结果集；S4标注后采样结果集和无标记样本集构建训练集；S5提出目标函数，求解使目标函数值最小的分类函数，S6通过分类函数对待预测集中的模块进行预测，并输出预测结果。该方法融合半监督和代价敏感思想构建软件缺陷预测模型，解决了软件缺陷预测中缺陷数据难以获取和类不平衡两个问题，极大提高了预测结果的准确性。
-
公开(公告)号：CN105556484A
公开(公告)日：2016-05-04
申请号：CN201480051482.1
申请日：2014-06-19
Applicant: 日产自动车株式会社
Inventor： 市川智
IPC: G06F11/36
CPC classification number: G06F11/3608
Abstract: 软件检查装置对在成为检查对象的计算机程序中所使用的常量进行提取(S01)，检测对所提取的常量进行参照的条件句(S02)。并且，将在条件句中与常量进行比较的变量确定为基础变量(S03)，针对每个基础变量而对成为比较对象的常量进行分类并输出(S04)。
-
公开(公告)号：CN105283853A
公开(公告)日：2016-01-27
申请号：CN201480026218.2
申请日：2014-05-08
Applicant: 微软技术许可有限责任公司
IPC: G06F11/36
CPC classification number: G06F8/71 , G06F8/75 , G06F11/3608
Abstract: 本文描述了涉及制定语义基线的各技术。基于对基线程序进行的第一静态分析推断出基线程序的正确性条件。随后将这些正确性条件插入到对基线程序的修订中。当对其中插入有正确性条件的经修订程序进行第二静态分析时，抑制从基线程序继承的警告，同时向开发者显露由这些修订引起的警告。
-
公开(公告)号：CN102298541B
公开(公告)日：2015-02-25
申请号：CN201010510305.9
申请日：2010-10-14
Applicant: 通用汽车环球科技运作公司
IPC: G06F11/00
CPC classification number: G06F11/3608
Abstract: 本发明涉及可执行模型的在线形式验证。一种可执行系统的自动形式验证的系统和方法包括声明监测器，所述声明监测器配置成相对于规格书中的声明来验证系统。所述声明监测器包括：剖析器，所述剖析器配置成使用布尔命题来产生表示规格书中的声明的命题公式；滤波器，所述滤波器配置成使用命题符号的真值赋值来产生系统进程；以及迹线验证器，所述迹线验证器配置成使用命题符号的真值赋值和命题公式利用系统进程来验证所述声明。
-
Patent Agency Ranking
公开(公告)号：CN104281519A
公开(公告)日：2015-01-14
申请号：CN201310284541.7
申请日：2013-07-08
Applicant: 华为技术有限公司 , 中国科学院计算技术研究所
IPC: G06F11/36
CPC classification number: G06F11/3608
Abstract: 本发明实施例公开了程序的错误检测方法及设备，应用于计算机技术领域。程序的错误检测设备会对待分析程序进行分析得到的程序分析信息，并根据程序分析信息获取待分析程序中各个定值点的错误属性格值，并对待分析程序中错误属性格值具有危险属性的定值点对应的引用点进行错误提示。主要是将对程序错误的检测变换为错误属性格值的计算，简化了错误检测的过程，可以提高程序的错误检测效率；且在得到程序分析信息时程序的错误检测设备可以考虑到待分析程序的多种敏感性，得到每个程序点的完整信息，使得得到的错误属性格值也比较准确，提高了对待分析程序的错误检测精度。
-
公开(公告)号：CN104246715A
公开(公告)日：2014-12-24
申请号：CN201280072855.4
申请日：2012-07-31
CPC classification number: G06F11/3684 , G06F8/36 , G06F8/70 , G06F8/71 , G06F11/3608 , G06F11/3688
Abstract: 构造应用的测试中心模型。向测试中心模型添加对应用进行管控的每个测试所指定的每个资源。指定资源的一个或多个测试被链接到测试中心模型内的资源。在应用的测试中心模型内，如一个或多个测试所指定的资源，使用一个或多个测试来定义应用的组成。
-
公开(公告)号：CN103294594A
公开(公告)日：2013-09-11
申请号：CN201310165634.8
申请日：2013-05-08
Applicant: 南京大学
IPC: G06F11/36
CPC classification number: G06F11/3608
Abstract: 本发明给出一种基于测试的静态分析误报消除方法，能够增强软件静态分析技术的可用性，降低人工确认和检查静态分析报告的时间和人力成本。利用测试技术来在运行时收集程序信息，与静态分析报告中涉及的目标路径和目标缺陷相互印证，确认缺陷或消除误报。本发明首先读取以基于可扩展标记语言的元数据交换格式保存的静态分析报告文件，从中解析出目标缺陷的信息；对每一条特定缺陷的静态分析警报，采用混合执行的思想对程序进行持续的具体执行、符号执行以及约束求解，在这一过程中根据不同缺陷的特征建模，收集运行时信息；使用上一步获取的运行时信息确认是否发生该缺陷，或判断该静态分析警报是一个误报；迭代直到所有静态分析警报被处理完毕。
-
公开(公告)号：CN103150264A
公开(公告)日：2013-06-12
申请号：CN201310018123.3
申请日：2013-01-18
Applicant: 浪潮电子信息产业股份有限公司
CPC classification number: G06F11/3608 , G06F11/3664 , G06F12/0815 , G06F12/0837 , G06F17/5009 , G06F2212/2542 , G06F2212/621
Abstract: 本发明提出了一种基于扩展型Cache Coherence协议的多级一致性域仿真验证和测试方法。构建了一种基于扩展型Cache Coherence协议的多级一致性域CC-NUMA系统协议的仿真模型，发明系统关键节点内协议表查询与状态转换执行机制，确保单计算域内维护Cache Coherence协议并且多个计算域之间也同时维护Cache Coherence协议，域内与域间的传输确保准确性、稳定性；提出一种可信的协议入口转换覆盖率评价驱动验证方法，通过加载经优化的事务发生器推动模型进行事务处理，在运行结束时获得覆盖率指标，较之随机事务推进机制提高验证效率。通过构建一个多处理器多一致性域验证系统模型并开展相关仿真验证，进一步确认该方法的适用性和有效性。
-
公开(公告)号：CN102436376A
公开(公告)日：2012-05-02
申请号：CN201110340478.5
申请日：2011-10-19
Applicant: 微软公司
CPC classification number: G06F11/3612 , G06F11/3447 , G06F11/3476 , G06F11/3608 , G06F11/3692
Abstract: 本发明公开了用于分布式应用确认的模型检查。此处描述了模型检查系统，该模型检查系统通过提供模型和通用框架来检查应用不变属性、检测异常行为并监视应用健康从而更有效地验证和确认分布式应用的设计。模型检查系统针对从应用的正式描述所导出的应用模型来检查在线应用行为。该系统将具体应用制定为抽象模型以及期望在所有条件下适用于应用的多个规则或属性。模型检查器将实际应用执行与模型相比较，并且确认属性保持为真或是报告属性被违反。由此，模型检查系统提供了在更现实的生产条件下对分布式应用的更有效且全面的确认。
-
-
-
-
-
-
-
-
-
Search Results
139
records
(took 0.021 seconds)
