-
公开(公告)号：US20120030524A1
公开(公告)日：2012-02-02
申请号：US13191568
申请日：2011-07-27
IPC分类号： G06F11/07
CPC分类号： G06F11/187 , G06F11/0796 , G06F11/1487 , G06F11/184 , G06F11/188 , G06F2201/83 , G06F2201/835
摘要： In a method of data processing within a controller ensuring that voting operations are reliably performed error free and in a corresponding controller unit, the input data are characteristic for the particular application where voting occurs. Voting whether or not the incoming data is correct involves a voting comparison method, a voting average method, and checking for a difference being within a certain range. The time dependent signature indicates correctly transmitted input data. Voting, based on the reviewed signature characteristics is an encoded operation. The time dependent signature indicates the data is coming from a correct source, has been a modification, and correct timing slides. Voting whether or not the incoming data is correct is performed in an encoded manner. A correct data is transmitted to be further used to actuate an actuator. The erroneous data is transmitted to be further sent to a fail safe guard.
摘要翻译： 在控制器内的数据处理方法中，确保投票操作可靠地执行无错误，并且在对应的控制器单元中，输入数据是投票发生的特定应用的特征。 投票输入数据是否正确涉及投票比对方法，投票平均法，检查差异在一定范围内。 时间相关签名表示正确传输的输入数据。 基于经审查的签名特征的投票是编码操作。 时间相关签名表示数据来自正确的来源，已经是修改，正确的时序幻灯片。 以编码的方式执行输入数据是否正确。 传送正确的数据以进一步用于致动致动器。 发送错误数据以进一步发送到故障保护装置。
-
公开(公告)号：US08898647B2
公开(公告)日：2014-11-25
申请号：US13123625
申请日：2008-10-09
CPC分类号： G06F11/3676
摘要： A method provides for a way to test coverage data used in testing small computing platforms by assigning unique signatures to each node in the control flow graph and embedding control function calls. Signatures are embedded into the program during compilation time using the custom parser. When the program is executed the “exercised” signatures sequence is checked for correctness and used for deriving test coverage metric. This metric is used for improving unit and black-box tests. Thus, a way to collect the path-based test coverage with minimal memory and code/size impact on target system is provided.
摘要翻译： 一种方法提供了一种方式来测试在测试小型计算平台中使用的覆盖数据，方法是在控制流程图中为每个节点分配唯一的签名，并嵌入控制函数调用。 使用自定义解析器在签名期间将签名嵌入到程序中。 当执行程序时，检查“行使”签名序列的正确性并用于导出测试覆盖度量。 该度量用于改进单位和黑盒测试。 因此，提供了一种以最小的内存和代码/大小对目标系统的影响来收集基于路径的测试覆盖的方法。
-
公开(公告)号：US20110197098A1
公开(公告)日：2011-08-11
申请号：US13123625
申请日：2008-10-09
IPC分类号： G06F11/36
CPC分类号： G06F11/3676
摘要： A method provides for a way to test coverage data used in testing small computing platforms by assigning unique signatures to each node in the control flow graph and embedding control function calls. Signatures are embedded into the program during compilation time using the custom parser. When the program is executed the “exercised” signatures sequence is checked for correctness and used for deriving test coverage metric. This metric is used for improving unit and black-box tests. Thus, a way to collect the path-based test coverage with minimal memory and code/size impact on target system is provided.
摘要翻译： 一种方法提供了一种方式来测试在测试小型计算平台中使用的覆盖数据，方法是在控制流程图中为每个节点分配唯一的签名，并嵌入控制函数调用。 使用自定义解析器在签名期间将签名嵌入到程序中。 当执行程序时，检查“行使”签名序列的正确性并用于导出测试覆盖度量。 该度量用于改进单位和黑盒测试。 因此，提供了一种以最小的内存和代码/大小对目标系统的影响来收集基于路径的测试覆盖的方法。
-
-
搜索结果
3 条记录 (耗时 0.013 秒)
