30 results about "Software inspection" patented technology

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.

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.

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.

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.

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.

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.

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.

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.

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.

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).

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.

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.

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.

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.

The invention relates to an automatic detection and storage method for welding droplet data based on Fluent UDF, and the method comprises the following steps: S1, building a droplet transition geometric model, and dividing a grid; S2, importing Fluent software, checking whether the grid volume has an error or not, and checking the grid proportion and quality; S3, adopting a multiphase flow VOF model as a simulation model; s4, acquiring material parameters of a gas phase and a liquid phase, and presetting boundary conditions; s5, based on a PISO solver, obtaining a control equation of each physical field; s6, according to program parameters such as the operation cycle and the detection precision of the droplet data automatic detection storage program, mounting the droplet data automatic detection storage program; s7, initializing the model, then starting calculation, and carrying out automatic detection and storage of molten drop data by utilizing a droplet data automatic detection and storage UDF (User Defined Function) program; and S8, finishing the calculation and carrying out convergence, and exporting all droplet data by using a DEFINE_ON_DEMAND macro function pre-packaged by software. According to the invention, droplet data can be effectively and accurately detected.

The invention provides a genuine software checking method, electronic equipment and a storage medium. The genuine software checking method comprises the steps that a platform end receives a specified judgment rule sent by a management end and sends the judgment rule to a terminal, and the judgment rule comprises a preset software version number and a software version number searching path; the terminal obtains detection information of specified software on the terminal according to the software version number searching path in the judgment rule, and sends the detection information to the server; the server obtains the judgment rule from the platform end, extracts a preset software version number from the judgment rule, and generates a detection result according to the preset software version number and the detection information; the server sends a detection result to the terminal; and the server summarizes the detection results of the terminals, generates a data table and sends the data table to the management end. And the computer checks the software state and the violation condition in the computer according to the self software version number, so that the software in the computer can be quickly, accurately and comprehensively checked.

The invention relates to a maintenance system, in particular to a maintenance system for a communication network. The system comprises a network server module, a network inspection module, a network maintenance center, a network input module and a network output module, through a hardware inspection unit and a hardware positioning unit, inspection work can be timely carried out on normal operationconditions of a network influenced by phenomena of short circuit, disconnection and the like of hardware, and inspection work can be timely carried out on normal operation conditions of the network influenced by existence of virus invasion of software through a software inspection unit and a software positioning unit. The specific category of the virus is checked and analyzed again through a virus inspection module, so that the working speed of the maintenance system on network maintenance is increased; under the effect that the data backup module has multiple backup modes, multi-path data backup work is carried out on the terminal using the communication network, and the phenomenon of data loss is effectively prevented.

The invention provides a three-dimensional model conversion method, which comprises the following steps of: performing first rendering on a first helicopter complete machine model to obtain a second helicopter complete machine model; importing the second helicopter complete machine model into model conversion software to obtain a third helicopter complete machine model; importing the third helicopter complete machine model into a model conversion tool to form a fourth helicopter complete machine model; importing the fourth helicopter complete machine model into scene simulation software; if the preset condition is met, code re-modification and compiling are carried out on components of the fourth helicopter complete machine model, and a fifth helicopter complete machine model is obtained; the fifth helicopter complete machine model is imported into AGI STK software, and whether parts of the fifth helicopter complete machine model operate normally or not is checked; and if the parts of the fifth helicopter complete machine model operate normally, performing second rendering on the second helicopter complete machine model to complete conversion.

The invention belongs to the technical field of project supervision and construction, and discloses a project file processing system and method in the project supervision and construction process, a PC terminal, a storage medium and application, a web terminal communicates with the local PC terminal through a websocket protocol, and the web terminal sends a file needing to be edited to the PC terminal; after the PC end receives the information, a file needing to be edited is downloaded, and then editing software associated with a corresponding file suffix is automatically obtained by reading a registry of WINDOWS according to the type of the file; checking whether editing software associated with the file type is locally installed or not, calling a compilation program installed on a computer, and opening the file to be edited for editing; and after editing, uploading the edited file to a server and storing the edited file. According to the invention, the user can edit any type of file in the service system. The Xintong applet supports online consulting, editing and cloud storage of various engineering files, and can be widely applied to information platforms such as project collaborative management and the like.