-
公开(公告)号：US20100299651A1
公开(公告)日：2010-11-25
申请号：US12708651
申请日：2010-02-19
IPC分类号： G06F9/44
CPC分类号： G06F17/5036 , G06F8/30 , G06F11/362 , G06F2217/16
摘要： A system and method for testing robustness of a simulation model of a cyber-physical system includes computing a set of symbolic simulation traces for a simulation model for a continuous time system stored in memory, based on a discrete time simulation of given test inputs stored in memory. Simulation errors are accounted for due to at least one of numerical instabilities and numeric computations. The set of symbolic simulation traces are validated with respect to validation properties in the simulation model. Portions of the simulation model description are identified that are sources of the simulation errors.
摘要翻译： 用于测试网络物理系统的仿真模型的鲁棒性的系统和方法包括基于存储在存储器中的给定测试输入的离散时间模拟来计算用于存储在存储器中的连续时间系统的模拟模型的一组符号仿真轨迹 记忆。 由于数值不稳定性和数值计算中的至少一个，造成了模拟误差。 关于仿真模型中的验证属性验证了一组符号仿真轨迹。 识别模拟模型描述的部分是模拟错误的来源。
-
12.发明申请公开(公告)号：US20100293530A1
公开(公告)日：2010-11-18
申请号：US12761575
申请日：2010-04-16
IPC分类号： G06F9/44
CPC分类号： G06F11/3608
摘要： Methods and systems for verifying the precision of a program that utilizes floating point operations are disclosed. Interval and affine arithmetic can be employed to build a model of the program including floating point operations and variables that are expressed as reals and integers, thereby permitting accurate determination of precision loss using a model checker. Abstract interpretation can be also employed to simplify the model. In addition, counterexample-guided abstraction refinement can be used to refine the values of parametric error constants introduced in the model.
摘要翻译： 公开了用于验证利用浮点运算的程序的精度的方法和系统。 可以采用间隔和仿射算法来构建程序的模型，包括浮点运算和表示为真值和整数的变量，从而可以使用模型检验器精确确定精度损失。 抽象解释也可以用来简化模型。 此外，反例引导的抽象改进可以用于细化模型中引入的参数误差常数的值。
-
13.发明申请SYSTEM AND METHOD FOR FEEDBACK-GUIDED TEST GENERATION FOR CYBER-PHYSICAL SYSTEMS USING MONTE-CARLO 有权使用MONTE-CARLO进行CYBER物理系统的反馈引导测试生成的系统和方法公开(公告)号：US20100094611A1
公开(公告)日：2010-04-15
申请号：US12578855
申请日：2009-10-14
CPC分类号： G01R31/318357
摘要： A system and method for generating test vectors includes generating traces of a system model or program stored in memory using a simulation engine. Simulated inputs are globally optimized using a fitness objective computed using a computer processing device. The simulation inputs are adjusted in accordance with feedback from the traces and fitness objective values by computing a distance between the fitness objective value and a reachability objective. Test input vectors are output based upon optimized fitness objective values associated with the simulated inputs to test the system model or program stored in memory.
摘要翻译： 用于生成测试向量的系统和方法包括使用模拟引擎生成存储在存储器中的系统模型或程序的轨迹。 使用计算机处理设备计算的健身目标，全局优化模拟输入。 通过计算健身目标值与可达性目标之间的距离，根据跟踪和健身目标值的反馈来调整模拟输入。 基于与模拟输入相关联的优化的适应度目标值输出测试输入向量，以测试存储在存储器中的系统模型或程序。
-
公开(公告)号：US20100058475A1
公开(公告)日：2010-03-04
申请号：US12397041
申请日：2009-03-03
CPC分类号： H04L63/1433 , G06F21/577
摘要： Embodiments of the present invention combine static analysis, source code instrumentation and feedback-guided fuzz testing to automatically detect resource exhaustion denial of service attacks in software and generate inputs of coma for vulnerable code segments. The static analysis of the code highlights portions that are potentially vulnerable, such as loops and recursions whose exit conditions are dependent on user input. The code segments are dynamically instrumented to provide a feedback value at the end of each execution. Evolutionary techniques are then employed to search among the possible inputs to find inputs that maximize the feedback score.
摘要翻译： 本发明的实施例将静态分析，源代码仪表和反馈引导的模糊测试结合起来，自动检测软件中的资源耗尽拒绝服务攻击，并为脆弱的代码段生成昏迷的输入。 代码的静态分析突出显示可能易受攻击的部分，例如其退出条件取决于用户输入的循环和递归。 代码段被动态调整，以在每次执行结束时提供反馈值。 然后使用进化技术来搜索可能的输入以找到使反馈分数最大化的输入。
-
15.发明申请METHODS AND SYSTEMS FOR EFFICIENT ANALYSIS OF HYBRID SYSTEMS USING TEMPLATE POLYHEDRA 有权使用模板聚合物对混合系统进行有效分析的方法和系统公开(公告)号：US20090094004A1
公开(公告)日：2009-04-09
申请号：US12236071
申请日：2008-09-23
IPC分类号： G06F17/10
CPC分类号： G05B15/02
摘要： In accordance with aspects of the present principles, an over-approximation of reachable states of a hybrid system may be determined by utilizing template polyhedra. Policy iteration may be utilized to obtain an over-approximation of reachable states in the form of a relaxed invariant based upon template polyhedra expressions. The relaxed invariant may be used to construct a flowpipe to refine the over-approximation and thereby determine the reachable states of the hybrid system.
摘要翻译： 根据本原理的方面，可以通过利用模板多面体来确定混合系统的可达状态的过近似。 可以利用策略迭代来基于模板多面体表达式以松弛不变量的形式获得可达状态的过近似。 可以使用松弛的不变量来构造流量管以改善过近似度，从而确定混合系统的可达状态。
-
公开(公告)号：US20080082968A1
公开(公告)日：2008-04-03
申请号：US11863387
申请日：2007-09-28
IPC分类号： G06F9/44
CPC分类号： G06F11/3688
摘要： A system and method for analyzing a computer program includes performing a static analysis on a program to determine property correctness. Test cases are generated and conducted to provide test output data. Hypotheses about aspects of execution of the program are produced to classify paths for test cases to determine whether the test cases have been encountered or otherwise. In accordance with the hypothesis, new test cases are generated to cause the program to exercise behavior which is outside of the encountered test cases.
摘要翻译： 用于分析计算机程序的系统和方法包括对程序执行静态分析以确定属性正确性。 产生并进行测试用例以提供测试输出数据。 产生关于程序执行方面的假设，以便对测试用例的路径进行分类，以确定是否遇到了测试用例。 根据该假设，生成新的测试用例，以使程序运行不在遇到的测试用例之外的行为。
-
17.发明授权公开(公告)号：US08402440B2
公开(公告)日：2013-03-19
申请号：US12393500
申请日：2009-02-26
IPC分类号： G06F9/44
CPC分类号： G06F11/3608
摘要： Systems and methods are disclosed to verify a program by symbolically enumerating path programs; verifying each path program to determine if the path program is correct or leads to a violation of a correctness property; determining a conflict set from the path program if the path program is proved correct; using the conflict set to avoid enumerating other related path programs that are also correct.
摘要翻译： 公开了系统和方法，以通过象征性地列举路径程序来验证程序; 验证每个路径程序以确定路径程序是否正确或导致违反正确性属性; 如果路径程序被证明是正确的，则从路径程序确定冲突集; 使用冲突集来避免枚举其他相关路径程序也是正确的。
-
18.发明申请PATH-SENSITIVE ANALYSIS THROUGH INFEASIBLE-PATH DETECTION AND SYNTACTIC LANGUAGE REFINEMENT 有权通过不确定路径检测和语言语言修正的路径敏感性分析公开(公告)号：US20090193401A1
公开(公告)日：2009-07-30
申请号：US12183416
申请日：2008-07-31
IPC分类号： G06F9/45
CPC分类号： G06F9/44589 , G06F11/3608
摘要： A system and method for infeasible path detection includes performing a static analysis on a program to prove a property of the program. If the property is not proved, infeasible paths in the program are determined by performing a path-insensitive abstract interpretation. Information about such infeasible paths is used to achieve the effects of path-sensitivity in path-insensitive program analysis.
摘要翻译： 用于不可行路径检测的系统和方法包括对程序执行静态分析以证明程序的属性。 如果属性未被证明，程序中的不可行路径是通过执行不区分路径的抽象解释来确定的。 关于这种不可行路径的信息用于实现路径不敏感程序分析中路径敏感性的影响。
-
19.发明申请SYSTEM AND METHOD FOR DYNAMICALLY INFERRING DATA PRECONDITIONS OVER PREDICATES BY TREE LEARNING 有权通过树木学习动态地预测数据预测的系统和方法公开(公告)号：US20090192963A1
公开(公告)日：2009-07-30
申请号：US12236102
申请日：2008-09-23
IPC分类号： G06N5/02
CPC分类号： G06N5/04
摘要： A system and method for inferring preconditions for procedures in a program includes formulating predicates based on inputs to a procedure, including formal arguments, global variables and external environment. Truth assignments are sampled to the predicates to provide truth assignments that lead to a feasible set of input values. Test cases are generated for testing the program in accordance with the truth assignments having feasible sets of input values. The truth assignments are classified to the predicates as providing an error or not providing an error.
摘要翻译： 用于推断程序中过程的前提条件的系统和方法包括根据对过程的输入（包括形式参数，全局变量和外部环境）来制定谓词。 真理分配被抽样到谓词，以提供导致一组可行的输入值的真值分配。 生成测试用例，以便根据具有可行的输入值集合的真值赋值来测试程序。 事实分配被分类为谓词提供错误或不提供错误。
-
公开(公告)号：US20090064110A1
公开(公告)日：2009-03-05
申请号：US12050624
申请日：2008-03-18
IPC分类号： G06F9/44
CPC分类号： G06F8/74 , G06F8/36 , G06F11/3672
摘要： A system and method for mining program specifications includes generating unit tests to exercise functions of a library through an application program interface (API), based upon an (API) signature. A response to the unit tests is determined to generate a transaction in accordance with a target behavior. The transaction is converted into a relational form, and specifications of the library are learned using an inductive logic programming tool from the relational form of the transaction.
摘要翻译： 一种用于挖掘程序规范的系统和方法包括：基于（API）签名，通过应用程序接口（API）生成单元测试来执行库的功能。 确定对单元测试的响应以根据目标行为生成交易。 该事务被转换为关系形式，并且使用来自事务的关系形式的归纳逻辑编程工具来学习库的规范。
-
-
-
-
-
-
-
-
-
搜索结果
27 条记录 (耗时 0.021 秒)
