Patents
Literature
41 results about "Software inspection" patented technology
Efficacy Topic
Property
Owner
Technical Advancement
Application Domain
Technology Topic
Technology Field Word
Patent Country/Region
Patent Type
Patent Status
Application Year
Inventor
Inspection in software engineering, refers to peer review of any work product by trained individuals who look for defects using a well defined process. An inspection might also be referred to as a Fagan inspection after Michael Fagan, the creator of a very popular software inspection process.
Method and system for anti-malware scanning with variable scan settings
A system, method and computer program product for scanning an executable file for malware presence, the method comprising: (a) detecting an attempt to execute a file on a computer; (b) identifying whether the file is known or unknown; (c) if the file is a known file, performing a signature malware check; (d) if the file is an unknown file, performing risk analysis and risk assessment for the file; (e) based on the risk analysis and the risk assessment, identifying which malware detection algorithms need to be used for the file, in addition to signature detection; (f) performing the malware detection algorithms on the file; and (g) if no malware is detected, permitting execution of the file. The risk analysis is based on file source, file origin, file path, file size, whether the file is digitally signed, whether the file is a download utility, whether the file is packed, whether the file was received from a CDROM.
Owner:AO KASPERSKY LAB
Method and algorithm for functional critical paths selection and critical path sensors and controller insertion
InactiveUS9536038B1CAD circuit designSpecial data processing applicationsDesign engineerCritical path method
CAD software examines delays of paths in a design from design engineers and first selects the longest paths. Then all paths that converge with these longest paths are examined for delays, and a fastest converging path is selected for each of the longest paths. The longest paths are again sorted by the fastest converging delay, and paths with slower converging paths are selected to be Functional Critical Paths (FCP's). Functional critical path timing sensors are added to each FCP to test setup time with an added margin delay. When the margined path delays fail to meet setup requirements, the functional critical path timing sensors signal a controller to increase VDD. When no failures occur over a period of time, the controller decreases VDD. The CAD software can replicate some of the FCP's and add toggle pattern generators and timing sensors and a margin controller to adjust the margin delay.
Owner:QUALCOMM INC
Inspection method and device for script programs
An embodiment of the invention discloses an inspection method and device for script programs and relates to the technical field of software inspection. According to the inspection method and device, variables can be inspected before a script program set is executed, and probabilities of errors of script programs during operation are reduced. The method comprises reading each script program to be inspected in the script program set to be inspected, wherein the script program set to be inspected contains at least one of the script program to be inspected; performing grammatical analysis on the script programs to be inspected and constructing a global variable table and a local variable table of the script program set to be inspected; and inspecting whether each global variable and each local variable has errors. The inspection method and device are mainly used for inspecting variables in script programs.
Owner:TENCENT TECH (SHENZHEN) CO LTD
Inspection system and method of information system
The invention discloses an inspection system and method of an information system. The system comprises a software inspection module, a hardware inspection module, a management server module and a mobile inspection module; the software inspection module carries out software inspection to an operation system, a database and a middleware according to preset inspection indexes and collects and records software inspection data; the hardware inspection module carries out hardware inspection to host equipment and a storage device according to preset hardware inspection indexes and collects and records hardware inspection data; the mobile inspection module interacts the inspection data with the management server module through a mobile terminal and records the operation environment data conditions of the information system; the management server module manages and analyzes the inspection tasks of the software inspection module and the hardware inspection module and interacts the inspection data with the mobile terminal. The invention has data storage and analysis functions, can realize high precise inspection, can inspect the information system in high efficiency, immediately finds and eliminates potential failure and realizes preventive maintenance.
Owner:STATE GRID CORP OF CHINA +1
Software Checking
A method of checking the integrity of a software component comprises: selecting a checking algorithm 50 from a plurality of checking algorithms in a pseudo-random manner; performing the algorithm on the component 22 to produce a checking code that is dependent on the integrity of the component and the algorithm selected; and comparing the checking code with a reference code 52 to check the integrity of the component.
Owner:HEWLETT PACKARD DEV CO LP
Testing a Hardware Emulation Model of a Circuit with Software Checker Routines Designed for an RTL Model of the Circuit
InactiveUS20140100841A1Software simulation/interpretation/emulationSpecial data processing applicationsComputer hardwareComputerized system
A hardware emulation system may emulate a plurality of cycles of a circuit, and may store state information at each cycle which specifies signal values for one or more signals of the circuit. After the hardware emulation has finished, the state information may be streamed from the memory of the hardware emulation system to a different storage device that is accessible by a computer system that executes one or more software checker routines. The computer system may execute the software checker routines, which may include passing the signal values specified in the state information to the software checker routines on a cycle-by-cycle basis similarly as if the software checker routines were receiving them in real time directly from the hardware emulation system.
Owner:APPLE INC
Automatic detection method and device for server environment
InactiveCN103218277AGuaranteed to be normalKeep healthyDetecting faulty computer hardwareHardware monitoringInternal memorySoftware
The invention provides an automatic detection method for a server environment. The automatic detection method comprises the following steps of automatically performing before-test detection on the environment of a server before the server is detected, wherein the before-test detection comprises software inspection, hardware inspection and health inspection on the server; after the server is subjected to the before-test detection, running the server and automatically performing in-test detection on each part of the server, wherein the in-test detection comprises central processing unit (CPU) in-running inspection, internal memory in-test inspection and hard disk in-test inspection; and automatically generating an environment test report of the server according to a detection result of the before-test detection and a detection result of the in-test detection. The server is automatically subjected to the before-test detection and the in-test detection, and the test report is generated according to the acquired test data and data of the running server, so that the manual inspection cost is saved, the efficiency is improved, and guidance is provided for repeated tests and server performance analysis. The invention also discloses an automatic detection device for the server environment.
Owner:BEIJING BAIDU NETCOM SCI & TECH CO LTD
Fault free store data path for software implementation of redundant multithreading environments
A method for a fault free store data path in a software implementation of redundant multithreading environments is described. In one embodiment, after a check is performed by a hardware / software checker, the processor still needs to ensure that the data just checked reaches protected memory without any faults. The present implementation provides sufficient redundant information along the path of a store from register read to commit, such that it may detect any single bit upset error in the path.
Owner:INTEL CORP
Software Inspection System
A method for software inspection analyzes a body of computer code to assess whether the body of computer code contains malware. Various embodiments extract the executable elements of the body of computer code and modify those elements using rules defining the format of instructions for the programming language in which the computer code was written, and using rules defined from the security specification of that programming language, to produce a model of the body of computer code. The method then analyzes the model using a model checking system, which determines whether any of the language rules have been violated, in which case the method flags the computer code as potentially including malware.
Owner:TRUSTEES OF BOSTON UNIV
Software development, deployment and evolution system, method and program product
InactiveUS8448133B2Reduce maintenance costsLow costSoftware maintainance/managementSoftware reuseSoftware development processBehavioral analytics
A method of software evolution, software evolution system and program product therefor. A context specification handler stores context specifications describing requirements on context-adapted software. A Software Part Semantics Specification (SPSS) handler stores software part semantics specifications. A Software Implementation (SI) handler stores SIs. Behavior History handler stores a history of active software behavior analysis results of monitoring previous versions. A software rendering handler combines software behavior history with context specification, software part semantics specifications and SIs and distributes (and optionally deploys) context-adapted software. A software inspector continuously monitors context behavior of deployed versions and selectively identifies active context-adapted software failing to satisfy context specification for reassembly of a new version(s).
Owner:INT BUSINESS MASCH CORP
Detecting sensitive data access by reporting presence of benign pseudo virus signatures
InactiveUS20140359772A1Memory loss protectionError detection/correctionInternet privacyRemedial action
An owner of sensitive data is provided with a notification that the sensitive data has been located. To achieve this, the sensitive data is first modified to include one or more data strings that may appear to be suspect but are otherwise benign. These data strings, which are referred to herein as benign pseudo virus signatures (BPVSs), preferably are embedded throughout a piece of sensitive data according to a frequency distribution. When the sensitive data is examined by virus checking software, the benign pseudo virus signatures are detected as potential computer viruses. By using information associated with the signatures, the owner is identified, preferably using the assistance of an intermediary entity that acts as a registry for the BPVSs. Once the owner is identified, a notification is provided to the owner that the sensitive data has been located. Appropriate remedial action can then be taken.
Owner:GLOBALFOUNDRIES INC
Substation equipment defect intelligent image recognition method and management system thereof
PendingCN112380907ARealize fault traceabilityRealize regulationData processing applicationsRelational databasesNetwork connectionEmbedded system
The invention firstly discloses a substation equipment defect intelligent image identification method, which comprises the following steps of S1, shooting substation equipment by using a handheld terminal so as to acquire an inspection image of the substation equipment; S2, processing the software inspection image of the handheld terminal, outputting a target identification image, performing defect identification on the target identification image, and outputting an identification result; and S3, after defect identification is finished, automatically generating a current inspection brief report, and uploading an inspection image and an identification result to a main station through a network. The invention further discloses a substation equipment defect intelligent image recognition and management system thereof. The system comprises a main station, a database server and the handheld terminal, the main station is in network connection with the database server; and the main station isin communication connection with the handheld terminal. According to the invention, defects of power transformation equipment can be discovered and eliminated in time, equipment accidents are prevented, and the equipment state is effectively supervised.
Owner:ZHONGSHAN POWER SUPPLY BUREAU OF GUANGDONG POWER GRID
Determining Reviewers for Software Inspection
InactiveUS20200226054A1Reduce the amount of calculationImprove rendering capabilitiesSoftware testing/debuggingSoftware designSoftware engineeringSubject matter
Provided are techniques for an objective determination of the most appropriate person to conduct a software inspection in a large software development project with multiple components, packages and micro-services in which individuals or small groups are each assigned specific modules. Historical information from testing of software commits is stored. An automated and objective analysis of an entire project, including the historical information is performed, revealing connections that would otherwise not be apparent between specific potential reviewers and the commit to be reviewed. Based upon the analysis, the system suggests one or more reviewers for the commit to be reviewed. An appropriate code reviewer may be a person with subject matter expertise (SME) in a related are or have more knowledge of a bigger picture and more context of the project, including knowledge of other components.
Owner:IBM CORP
Software inspection management tool
InactiveUS20080098344A1Error detection/correctionSpecific program execution arrangementsManagement toolDisplay device
A software inspection management tool for monitoring inspection rates of code, the tool including: a display device for displaying a primary window having a plurality of functions; a first function being used for defining a new package by; a second function being used for opening an existing package; an inspection rate monitor for displaying elapsed time of inspection by a user; and a viewer window having two panes for examining the code, the first pane including a table view of items being inspected and the second pane including a table of comments to be made concerning the items being inspected; wherein the elapsed time is compared to a predetermined minimum and maximum range of permitted inspection time predefined in a preference dialog window; and wherein color modifications of the elapsed time occur in accordance with the user's inspection rate progress.
Owner:IBM CORP
Software inspection method, device and system
InactiveCN105100277AImprove inspection efficiencyThere is no missed detectionData switching networksClient-sideParallel processing
The invention discloses a software inspection method, device and system. The method is based on a cloud platform in which a plurality of master server and a plurality of slave servers are arranged; a user can upload an inspection task via a client, wherein the task comprises an inspection script suite composed of at least one script use case; the master server obtains at least one script use case by analyzing after receiving the inspection task, and distributes each script use case to the slave servers with reference to a preset distribution policy; the slave servers execute the script use cases and feed back execution results to the master server; furthermore, the master server collects all the execution results and sends the collected execution results to the client. According to the software inspection method, automatic inspection can be realized by virtue of the cloud platform; the master server distributes the script use cases to the corresponding slave servers, and all the slave servers are capable of processing concurrently, and therefore, the inspection efficiency is improved. In addition, the user only needs to upload the script use cases needed by inspection and the cloud platform will traverse and execute all the script use cases, and therefore, the problems of missing inspection and wrong inspection can be avoided.
Owner:STATE GRID CORP OF CHINA +1
Software development, deployment and evolution system, method and program product
InactiveUS20100333063A1Reduce maintenance costsLow costSoftware maintainance/managementSoftware reuseBehavioral analyticsSoftware engineering
A method of software evolution, software evolution system and program product therefor. A context specification handler stores context specifications describing requirements on context-adapted software. A Software Part Semantics Specification (SPSS) handler stores software part semantics specifications. A Software Implementation (SI) handler stores SIs. Behavior History handler stores a history of active software behavior analysis results of monitoring previous versions. A software rendering handler combines software behavior history with context specification, software part semantics specifications and SIs and distributes (and optionally deploys) context-adapted software. A software inspector continuously monitors context behavior of deployed versions and selectively identifies active context-adapted software failing to satisfy context specification for reassembly of a new version(s).
Owner:IBM CORP
Automatic generation method for software graphic user man-machine interface test case
ActiveCN105550110ALow costStrong ability to avoid risksSoftware testing/debuggingAutomatic Generation ControlGraphics
The invention relates to an automatic generation method for a software graphic user man-machine interface test case, belongs to the technical field of software inspection and detection, and solves the problems of time, labor and money waste of an existing test case writing method. The invention proposes a concept of ''condition-action-expected result''. The method comprises the following steps: defining that defining that a starting point of a calculation path is system start and an ending point of the calculation path is system exit; collecting to-be-tested software behavior specifications and defining that all ''condition-action-expected result'' units form a set; selecting one ''condition-action-expected result'' unit in the set; finding out a path from the starting point to a current position; finding out a path from the current position to the ending point; connecting calculation results to obtain a test case covering the ''condition-action-expected result'' unit; and deleting generated test cases and used ''condition-action-expected result'' units until a minimum test case set accurately covering all the ''condition-action-expected result'' units is obtained. The method has the advantages of low maintenance and updating costs, low personnel cost, good risk avoidance capability and the like, and can be widely applied to software inspection and detection occasions.
Owner:艾瑞克李
Software operation detection method and device, equipment, medium and product
PendingCN119759730AError detection/correctionEnergy efficient computingSoftware engineeringSoftware Problem
The invention discloses a software operation detection method, device and equipment, a medium and a product, relates to the technical field of software testing and large models, and can be applied to the field of financial science and technology. Acquiring software operation information of the target software; according to the software operation information, detecting the target software based on a software inspection model to obtain a software detection result; wherein the software inspection model is obtained by performing pre-training and fine tuning on a large model. By the adoption of the technical scheme, software inspection is conducted through the large model, problems encountered in the software operation process can be rapidly positioned, solving measures are generated, and it is ensured that the software problems are rapidly solved in time.
Owner:INDUSTRIAL AND COMMERCIAL BANK OF CHINA
Determining Reviewers for Software Inspection
InactiveUS20200226055A1Reduce the amount of calculationImprove rendering capabilitiesSoftware testing/debuggingSoftware designSoftware engineeringSubject matter
Provided are techniques for an objective determination of the most appropriate person to conduct a software inspection in a large software development project with multiple components, packages and at in which individuals or small groups are each assigned specific modules. Historical information from testing of software commits is stored. An automated and objective analysis of an entire project including the historical information is performed, revealing connections that would otherwise not be apparent between specific potential reviewers and the commit to be reviewed. Based upon the analysis, the system suggests one or more reviewers for the commit to be reviewed. An appropriate code reviewer may he a person with subject matter expertise (SME) in a related are or have more knowledge of a bigger picture and more context of the project, including knowledge of other components.
Owner:IBM CORP
Inspection method and device for script programs
An embodiment of the invention discloses an inspection method and device for script programs and relates to the technical field of software inspection. According to the inspection method and device, variables can be inspected before a script program set is executed, and probabilities of errors of script programs during operation are reduced. The method comprises reading each script program to be inspected in the script program set to be inspected, wherein the script program set to be inspected contains at least one of the script program to be inspected; performing grammatical analysis on the script programs to be inspected and constructing a global variable table and a local variable table of the script program set to be inspected; and inspecting whether each global variable and each local variable has errors. The inspection method and device are mainly used for inspecting variables in script programs.
Owner:TENCENT TECH (SHENZHEN) CO LTD
Method for guaranteeing inter-graph connection consistency of nuclear power station analog machine simulation system
ActiveCN111428379AEnsure consistencyGuaranteed correctnessDesign optimisation/simulationNuclear powerModelSim
The invention relates to a nuclear power station analog machine simulation system, in particular to an inter-graph connection consistency guaranteeing method in a nuclear power station analog machinesimulation technological process. Existing engineer station software does not have a guarantee mechanism for inter-graph connection consistency, so that the situation of inter-graph connection loss orinter-graph connection mismatching on a certain model graph occurs sometimes. The quality of nuclear power analog machine products is ensured. The method comprises the specific steps of 1, data downloading, 2, simulation modeling, 3, software inspection and 4, uploading integration. The invention can provide a method capable of guaranteeing the consistency of connection between graphs, and the quality of nuclear power analog machine products is guaranteed.
Owner:CHINA NUCLEAR POWER OPERATION TECH
Software test case building method based on BIM
The invention relates to a method for establishing a software test case based on BIM, belonging to the technical field of software inspection and detection. The invention comprises the following steps: the first step: the starting point of the prescribed calculated path is system start, and the end point is system exit; Step 2: Software behavior specification based on BIM; Step 3: Find out what you want to consider. Step 4: Identify actions to be considered for each target; Step 5: Determine the variables to be considered for each object; Step 6: For each action, define the conditions of the action and the expected results; 7, for each action condition, specify that next allowed action and condition under the expected result: the invention realizes the establishment of the BIM t case through the combination of the software test case and the specific parameters of the BIM, and improves the establishment efficiency and the evaluation quality of the test case.
Owner:誉光工程咨询有限公司 +2
Action-Oriented analytics-driven electronic data identification and labeling
InactiveUS20130339277A1Digital computer detailsComputer security arrangementsDocumentationElectronic data
A corporate compliance / document retrieval system and method for enabling automated software inspection of textual documents based upon seeding the software with examples of categories of interest. The system enables resultant actions such as breach dismissals, breach escalations, closer inspection of an offender's communications, and iterative machine learning when specific content is detected that is representative of a category of interest. The alerting breaches occur in near real time and can alleviate further breaches from occurring.
Owner:FASTLINE TECH
Method for searching for non-standard requirements of locking rail temperature data of seamless track
InactiveCN111881122AEasy to findQuick discoveryRelational databasesSpecial data processing applicationsDatasheetAlgorithm
The invention discloses a method for searching for non-standard requirements of locking rail temperature data of a seamless track, and the method comprises the following steps: 1, performing the following processing on a common seamless track locking rail temperature data EXCEL table: 1) inserting a header into five blank rows, wherein the first row is used for starting a software row; 2) making title bars of error types in the second row and the fourth row; 3) employing the third row and the fifth row for summarizing error data to a corresponding title bar after software inspection; 2, programming: 1) setting corresponding program starting conditions; 2) after the program is started, firstly reading the maximum serial number in the column A serial number column of the EXCEL table, and taking the serial number as a termination condition of program cycle operation; 3) performing programming according to the modules set in the previous step, determining whether the seamless track lockingrail temperature data meet the standard requirements or not through operation, and summarizing the non-compliant data into corresponding columns of the third row and the fifth row according to the error categories.
Owner:梁致源
Prompting device for software inspection and detection
The utility model discloses a prompt device for software inspection and detection, which comprises a sound box I and a sound box II, the sound box I and the sound box II are connected through two connecting rods which are symmetrically and crossly connected, and the close ends of the two connecting rods are connected through a rotating shaft and a limiting ring I; the far-away ends of the two connecting rods are connected to the back sides of the first sound box and the second sound box through a rotating shaft and a first limiting ring respectively, and the lower ends of the connecting rods are provided with fastening devices. The wiring harness can be effectively prevented from being snapped, and the prompting device is effectively protected.
Owner:JIANGXI LIANXUN INFORMATION TECHNOLOGY CO LTD
Software continuous integration inspection method and system
The invention is suitable for the technical field of software integration and testing, and relates to a software continuous integration inspection method and system.The method comprises the steps that static code inspection is executed, and classification testing results are recorded and fed back; performing code review, and submitting a review conclusion to a code management platform; initiating an inspection application form, and checking the validity of the process by the system; the system automatically captures codes through the code baseline labels, counts modification code lines and modifiers, executes compiling scripts, and automatically compiles the captured source codes; encrypting and packaging source codes, automatically summarizing code modification instructions, and pushing processes to a high-level supervisor; executing a test, and uploading a test result to a defect management system; confirming modification codes and submitting the codes; initiating an inspection application again and associating the inspection application to the code modification record; and after the test is qualified, the system carries out filing and publishing. The method is simple in process and convenient to operate, the software inspection work efficiency is improved, and the defect rate of software inspection is also reduced.
Owner:WILLFAR INFORMATION TECH CO LTD
Automatic Generation Method of Software Graphical User Interface Test Cases
ActiveCN105550110BLow costStrong ability to avoid risksSoftware testing/debuggingGraphicsMan machine
Owner:艾瑞克李
Missile-borne embedded double-region storage software checking and repairing method based on instructions
The invention relates to a missile-borne embedded double-region storage software checking and repairing method based on instructions, and belongs to the technical field of information security. The invention discloses a missile-borne embedded double-region storage software checking and repairing method based on instructions. The method is mainly applied to missile-borne embedded equipment and is a method for maintaining storage content of the missile-borne embedded equipment. By using the command check function, the storage content state of the missile-borne embedded equipment can be quickly known, and whether the storage content is damaged or not can be found in time. For the problem that the content of a single storage area is damaged, a command repair function is used, repair can be completed only through command interaction with an upper computer, and the method has the advantages of being convenient and efficient. Therefore, by using the instruction-based missile-borne embedded double-region storage software checking and repairing method, the management efficiency and the reliability degree of the storage content of missile-borne embedded equipment can be greatly improved.
Owner:TIANJIN JINHANG COMP TECH RES INST
Three-dimensional modeling method and system
The invention provides a three-dimensional modeling method and system. The three-dimensional modeling method comprises the steps of data acquisition, preprocessing, modeling, BIM software importing and collision report outputting. Data acquisition: performing multi-site acquisition on the target area by adopting scanning equipment to obtain point cloud data; preprocessing: importing the point cloud data into point cloud processing software for denoising, point cloud registration, downsampling and voxelization processing, and then importing the preprocessed point cloud data into point cloud modeling software to generate a visual three-dimensional point cloud model; modeling, automatically matching equipment features in the three-dimensional point cloud model, generating a standard three-dimensional model, extracting a pipeline center line, and automatically generating a three-dimensional pipeline model; importing BIM software, importing the standard three-dimensional model and the three-dimensional pipeline model into the BIM software, and checking collision points between the pipeline and a structure and between the pipeline and equipment; and outputting a collision report. According to the three-dimensional modeling method, visualization, standardization and accuracy of modeling are achieved, the construction efficiency can be improved, and the construction period is shortened.
Owner:SHANGHAI CONSTR NO 5 GRP CO LTD
Software inspection system
A method for software inspection analyzes a body of computer code to assess whether the body of computer code contains malware. Various embodiments extract the executable elements of the body of computer code and modify those elements using rules defining the format of instructions for the programming language in which the computer code was written, and using rules defined from the security specification of that programming language, to produce a model of the body of computer code. The method then analyzes the model using a model checking system, which determines whether any of the language rules have been violated, in which case the method flags the computer code as potentially including malware.
Owner:TRUSTEES OF BOSTON UNIV