-
公开(公告)号：US20220222169A1
公开(公告)日：2022-07-14
申请号：US17574466
申请日：2022-01-12
申请人： PARASOFT CORPORATION
摘要： System and method for recommending static analysis fixes in a computer program include: receiving violations from a static analysis tool and the meta data related to the violations; for each violation, encoding a code snippet in which said each violation is located into a first vector and encoding meta-data associated with each violation into a second vector; for each violation, concatenating the first vector and the second vector into a single vector; generating a utility matrix from the single vectors, where values in each cell correspond to a certain user's action on one of the violations; revising the utility matrix, based on user selection of selected violations of the plurality of violations; and executing a matrix factorization process to build intermediate representations of users and sets of violations to update the utility matrix as an updated utility matrix to obtain predictions for missing values, as recommendation to the user.
-
公开(公告)号：US11385988B2
公开(公告)日：2022-07-12
申请号：US16936311
申请日：2020-07-22
申请人： PARASOFT CORPORATION
摘要： Computer-implemented method for improving the test results of a static code analyzer includes: receiving a plurality of test violations from the static code analyzer; constructing a first vector for each code snippet containing error candidates; constructing a second vector for each test violation from meta-data associated with said each test violation; merging the first vector with the second vector to produce a feature vector for each test violation; and applying statistical learning techniques to each feature vector to estimate a probability that an error candidate in the plurality of test violations is a true error or a false positive.
-
公开(公告)号：US08032863B2
公开(公告)日：2011-10-04
申请号：US11282542
申请日：2005-11-17
IPC分类号： G06F9/44
CPC分类号： G06F11/3692 , G06F11/3616 , G06Q10/06
摘要： A system and method for collecting and correlating information about development of a computer software, including software tools reports. The system and method provides overview of entire software development lifecycle, provides decision support engine for project management, allows estimation of project timelines based upon empirical data, allows evaluation of project quality based upon empirical data, and correlates information from previous projects to estimate progress of current project (confidence factors). The system and method for collecting and correlating information about development of a computer software include collecting data from a plurality of software tools during each point in lifecycle of the computer software; storing the collected data in a database; and correlating the stored collected data to monitor the development of the computer software.
摘要翻译： 一种用于收集和关联计算机软件开发信息的系统和方法，包括软件工具报告。 该系统和方法提供了整个软件开发生命周期的概述，为项目管理提供决策支持引擎，允许基于实证数据估计项目时间表，允许基于经验数据评估项目质量，并将以前项目的信息与估计进度进行关联 当前项目（置信因素）。 用于收集和关联计算机软件开发的信息的系统和方法包括在计算机软件的生命周期的每个点期间从多个软件工具收集数据; 将收集的数据存储在数据库中; 并将存储的收集的数据相关联以监视计算机软件的开发。
-
公开(公告)号：US07620939B2
公开(公告)日：2009-11-17
申请号：US11365303
申请日：2006-02-28
IPC分类号： G06F9/44
CPC分类号： G06F11/3688
摘要： A method and system for regression testing of a computer software. The method and system execute the software for a first time to create a first data set; execute the software for a second time after the first time to create a second data set; compare the two data sets to determine differences between the two data sets; and store the differences as allowable differences to be ignored in a subsequent regression testing of the software.
摘要翻译： 一种计算机软件回归测试的方法和系统。 该方法和系统首次执行该软件以创建第一数据集; 第一次执行软件第二次创建第二个数据集; 比较两个数据集，以确定两个数据集之间的差异; 并将差异存储在随后的软件回归测试中被忽略的允许差异。
-
公开(公告)号：US07596778B2
公开(公告)日：2009-09-29
申请号：US10613166
申请日：2003-07-03
CPC分类号： G06F11/3688
摘要： In one embodiment, the present invention is a method for automatically preventing errors in computer software. The method includes storing the computer software in a code repository; executing a plurality of software verification tools to verify the computer software, wherein each of the plurality of software verification tools automatically generates one or more test cases; generating verification results responsive to executing the plurality of software verification tools and the automatically generated test cases; processing the verification results for generating an objective criterion of quality of the computer software; and customizing the scope of one or more of the plurality of verification tools responsive to the objective criterion of quality of the computer software.
摘要翻译： 在一个实施例中，本发明是用于自动防止计算机软件中的错误的方法。 该方法包括将计算机软件存储在代码库中; 执行多个软件验证工具以验证所述计算机软件，其中所述多个软件验证工具中的每一个自动生成一个或多个测试用例; 响应于执行多个软件验证工具和自动生成的测试用例产生验证结果; 处理验证结果以产生计算机软件质量的客观标准; 以及响应于计算机软件的质量的客观标准来自定义多个验证工具中的一个或多个的范围。
-
公开(公告)号：US07028223B1
公开(公告)日：2006-04-11
申请号：US10214209
申请日：2002-08-07
IPC分类号： G06F11/00
CPC分类号： G06F11/3688 , H04L41/22 , H04L43/50 , H04L67/02 , H04L67/36
摘要： The present invention is a module testing tool for Web services. In one embodiment, the present invention automates the testing of Web services that use SOAP as a wire protocol and HTTP as a transport protocol. The invention provides an easy interface for exercising Web services and testing their functionality. The invention helps users confirm the responses to SOAP messages with such features as fault detection, textual comparisons, XML validation by DTDs or XML Schemas, and the ability to express and flag complex patterns in XML. The invention lets the users validate responses that require application-specific verification (such as business logic validation) by plugging in their own code. It also provides the capability to perform regression testing of web services. The invention can automatically creates regression test controls from SOAP Client responses, or users can create their own regression tests.
-
公开(公告)号：US11921621B2
公开(公告)日：2024-03-05
申请号：US17459240
申请日：2021-08-27
申请人： PARASOFT CORPORATION
发明人： Maciej Głowa , Nathan Michael Jakubiak , Michał Rozenau , Marcin Strojny , Piotr Grzesik , Michał Kusmierczyk
IPC分类号： G06F11/36
CPC分类号： G06F11/3684 , G06F11/3688
摘要： System and method for creating unit tests include: constructing a CFG representation for a computer program; utilizing the CFG to identify different potential execution paths and to identify different formulas corresponding to the different potential execution paths; parsing the source code to generate an abstract syntax tree; analyzing the computer program to determine whether it provides capability to set each of the associated variables in each formula by utilizing the abstract syntax tree; translating variables, fields, and expressions of the source code represented in each formula into decision variables; computing a solution to the list of pre-conditions from each formula to one of the potential solutions that specifies values for decision variables; selecting a formula, from the plurality of formulas, with a fewest number of associated variables; and creating a unit test, based on the data and the list of pre-conditions collected and solved.
-
公开(公告)号：US20210311862A1
公开(公告)日：2021-10-07
申请号：US17221259
申请日：2021-04-02
申请人： PARASOFT CORPORATION
摘要： System and method for element locator recommendations for testing a UI application include: executing tests; monitoring tests and observing which commands are called by each test to generate monitored data, where the monitored data includes which tests were executed, element locators that were used in the tests, relevant commands that were called by each test and related to the element locators that were used in the tests, and information about the UI application during the test execution; storing the monitored data; analyzing the stored monitored data; producing a set of recommended element locators to be used in place of previously used element locators for which the elements were not found during the execution of the tests; and utilizing the set of recommended element locators to complete the testing of the UI application software.
-
公开(公告)号：US09672481B1
公开(公告)日：2017-06-06
申请号：US12908753
申请日：2010-10-20
申请人： Adam K. Kolawa , Sang Uk Seong , Marek Kucharski , Neel Deepak Gandhi , Wayne P. Ariola, Jr. , William C. McCusker, III , Jason R. Schadewald , Daniel J. Dominguez
发明人： Adam K. Kolawa , Sang Uk Seong , Marek Kucharski , Neel Deepak Gandhi , Wayne P. Ariola, Jr. , William C. McCusker, III , Jason R. Schadewald , Daniel J. Dominguez
CPC分类号： G06Q10/063
摘要： A computer implemented method for monitoring an overall health of a software project. The method includes: providing a plurality of business process checkers; storing a plurality of criteria, wherein each of the plurality of criteria measures an aspect of the software project process; storing an upper bound parameter and a lower bound parameter for each business process checker; assimilating data from one or more data sources related to aspects of the software project process; calculating, by each business process checker, a score for each criterion responsive to said upper bound and lower bound parameters and said data from said one or more data sources; calculating an overall health score for the software project from each calculated score for each criterion; and displaying an indication of the overall health of the software project responsive to the calculated overall health score.
-
10.发明授权Detection of deadlocks or race conditions in physical systems using load testing 有权使用负载测试检测物理系统中的死锁或竞争条件公开(公告)号：US08448148B1
公开(公告)日：2013-05-21
申请号：US13080501
申请日：2011-04-05
CPC分类号： G06F11/3688 , G06F11/3409 , G06F11/3414
摘要： A method and system for testing a physical system including a number of input channels for receiving physical inputs, using load testing, comprising: intercepting at least a portion of the input channels; replacing at least a portion of the physical inputs of the intercepted input channels with one or more emulation programs, wherein the emulation programs include parameters which allow to control outputs of the one or more emulation programs to the intercepted input channels; configuring a functional test in a load testing software tool to drive execution of the one or more emulation programs; randomly generating outputs simulating the physical inputs, from the one or more emulation programs, by executing the load testing software tool; collecting data from the execution of the one or more emulation programs as the load testing software tool executes; and analyzing the collected data for presence or absence of deadlocks or race conditions.
摘要翻译： 一种用于测试包括用于接收物理输入的多个输入通道的物理系统的方法和系统，其使用负载测试，包括：拦截所述输入通道的至少一部分; 用一个或多个仿真程序来代替截取的输入通道的物理输入的至少一部分，其中仿真程序包括允许将一个或多个仿真程序的输出控制到被截取的输入通道的参数; 在负载测试软件工具中配置功能测试以驱动一个或多个仿真程序的执行; 通过执行负载测试软件工具，从一个或多个仿真程序随机生成模拟物理输入的输出; 在负载测试软件工具执行时从一个或多个仿真程序的执行中收集数据; 并分析收集的数据是否存在死锁或竞争条件。
-
-
-
-
-
-
-
-
-
搜索结果
44 条记录 (耗时 0.018 秒)
