321 results about "Software quality" patented technology

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.

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.

Provided is a smart contract that specifies a routine to be executed by a plurality of the computing nodes of a blockchain-based, decentralized computing platform, wherein the promotion smart contract is configured to determine whether a pre-release software asset satisfies software quality criteria required to advance the pre-release software asset to a next stage, and the promotion smart contract is configured to cause an assertion indicating whether software quality criteria are satisfied to be published to a blockchain storing trust records in response to determining whether the software quality criteria are satisfied.

A method of software release planning. The method comprises the steps of assigning stakeholder priorities to a set of requirements for software; explicitly defining a set of constraints on the requirements; and operating on the stakeholder priorities with algorithms using a computer, subject to the constraints, to generate at least one release plan solution. Priorities are balanced between priorities of multiple stakeholders, and between the impact of various release plan solutions on project time, overall benefit, and quality of the software. A set of near optimal and maximally distinct solutions is generated.

The invention provides an AV (audio / video) encoding and decoding device, comprising a decoding module, a playing module, a conversion control module and an encoding module. The decoding module is used for importing a media file and calling a corresponding decoder to decode the media file, and the playing module is used for playing decoded AV data. The conversion control module is used for carrying out relevant processing on the decoded AV data, including the processing of scaling and effect adding on video resolution ratio according to encoding parameters, the processing of frame repeating and losing according to the frame rate and the time stamp, the processing of sampling rate conversion on audio data, the processing of discarding or silencing data filling on the audio data according to the data volume and the time stamp, and the processing of connecting a plurality of media files into one. The encoding module is used for calling a corresponding encoder and a media file synthesizer to generate a multimedia file in the specified format and with relevant parameters. The invention lowers the dependence of a user system environment, and leads software to be controllable in quality and have strong maintainability.

The invention discloses a simulation test bed for an automatic gearbox controller. The test bed comprises a host computer, a real-time object machine, a signal generating and measuring part, an engine electric controller and a plurality of electromagnetic valves, wherein the host computer, the real-time object machine, the engine electric controller and the electromagnetic valves are connected with the signal generating and measuring part respectively; the host computer downloads a simulation model of an automatic transmission vehicle dynamic assembly to the real-time object machine; an engine model, an automatic gearbox model and a whole vehicle dynamic model are integrated in the simulation model of the automatic transmission vehicle dynamic assembly; the simulation model of the automatic transmission vehicle dynamic assembly contains hardware-in-the-loop of the gearbox controller and hardware-in-the-loop of the engine electric controller to form a virtual vehicle gearbox controller develop simulation platform close to a real vehicle, can greatly improve the developing test efficiency of the gearbox controller under a condition of ensuring the software quality of the gearbox controller. The invention also discloses a method for establishing the simulation model of the automatic transmission vehicle dynamic assembly.

The invention provides a Python program type defect detection method based on abstract syntax trees. The method comprises the steps of (1) collecting Python software defect report information and extracting a defect identifier and a defect error type, (2) obtaining source codes of two versions of programs before and after defect repair, (3) generating abstract syntax trees corresponding to the twoversions of source codes, matching and obtaining a change function node and marking the defect error type, (4) generating a feature vector of a defect code according to the context information of thechange function node, (5) training a multi-classification models on a defect code feature vector by using the machine learning technology, and (6) reminding a developers of possible type defect information in testing a Python program file. The invention aims to solve the problems of the lack of the type defect analysis for a Python language and the inability to detect a possible defect error typeat present, thus the management of software quality is guided, and the maintainability of the software is improved.

The invention discloses a software quality evaluation device and a quantitative analysis method of software quality evaluation, comprising a code analysis module, a measurement analysis module and an evaluation rule base module. Wherein, the code analysis module is used for analyzing the words and the grammar of the source code of an input software to extract information and after the information is presented in an abstract grammar-tree form, the generated data is sent to the measurement analysis module; the evaluation rule base module is used for providing procedure code quality evaluation rules and calculation measures for the measurement analysis module; the measurement analysis module is used for traversing the abstract grammar tree sent by the code analysis module according to the procedure code quality evaluation rules and calculation measures in the evaluation rule base module to figure out corresponding measurement index so as to analyze the software quality according to the index and generate the data of the quality evaluation result of the software. The application of the invention solves the problem that the prior software quality evaluation method cannot carry out the quantitative analysis of software quality.

A system for improving software code quality using artificial intelligence is provided. The system comprises a training data extraction module to extract learning data files from a source control management system and an integrated development environment for preparing training data. The system further comprises a machine learning model trainer that conducts training of an artificial neural network. The system further comprises a machine learning recommendation module that queries the trained artificial neural network to check for recommendations for improving quality of one or more new software codes and one or more modified software codes. The system also comprises a remediation module that determines one or more coding standard violations in the one or more new software codes and one or more modified software codes. The quality of the one or more new software codes and one or more modified software codes is improved by applying the recommendations.

The invention provides a Python resource sensitive defect code detecting method based on a depth neural network. The Python resource sensitive defect code detecting method comprises the following steps of 1, obtaining a source code of the historical version of the same software and a source code of a to-be-detected version; 2, utilizing type deduction to extract resource sensitive code modes of all versions; 3, extracting relevant characteristics of the resource sensitive code modes; 4, calculating all characteristic similarities between a defect code mode and a safe code mode and between thedefect code mode and a to-be-detected code mode to generate characteristic vectors and obtaining a training set and a testing set; 5, using the training set to train a depth neural network model to combine the characteristics, then using the mode with a testing set to calculate relevance of the depth neural network model and ranking the relevance; 6, conducting prompt, assisting development and maintenance on possibly wrong resource object operations according to a relevance ranking result in a program development and maintenance period. The Python resource sensitive defect code detecting method based on the depth neural network solves the problems that currently, an automated method aiming at Python language resource sensitive code recognition and defect code detection is lack, then the software risk is lowered, the software quality is improved, and thus the efficiency for a developer and a maintainer to develop and maintain software is improved.

The invention belongs to the technical field of Internet of Things, and discloses a self-adaptive access method and system for heterogeneous equipment of an Internet of Things platform. The system comprises a protocol identification obtaining module which is used for obtaining the identification of an equipment access layer non-standard Internet of Things protocol in an overall architecture; and aheterogeneous protocol unification middleware which comprises a virtual device model layer, a model mapping layer and an application data model layer. According to the method, the Internet of Thingsplatform with application development as the center is constructed, existing software development companies and personnel are better utilized, and the flexibility, user experience and software qualityof constructing the Internet of Things application are improved. According to the invention, a stable virtual device data model mapping mechanism is developed for an application program, and a virtual device data model sharing co-construction method suitable for software developers is constructed.

The invention discloses a software development platform, which belongs to the technical field of software development. The platform is a PaaS platform of an enterprise level. Enterprises can be helpedto go to DevOps practice. A business capability supermarket is constructed, an enterprise is enabled to get rid of complex infrastructure management and more concentrate on business research and development and delivery, an internet distributed architecture is adopted for design and development, normalization, standardization and internet technicalization of development and operation and maintenance processes are realized through a PaaS platform, and the development efficiency and the operation and maintenance capability are improved; design is carried out based on a micro-service architecture, high reliability and high expansion capability are taken as basic attributes, and use scenes such as single-point faults and large concurrency are dealt with; pROVIDING AUTOMATED DEPLOYMENT OF STANDS, rapid iteration and automatic operation and maintenance are used as basic attributes; the software development platform supports scenes of rapid development, smooth upgrading and the like, so thatthe user experience of the software development platform can be improved, the software development speed and the software quality are improved, one-stop service is provided for the software development process, smooth and continuous development of software and dynamic analysis and positioning during operation are facilitated, and the customer satisfaction is improved.

The invention discloses a novel computer system for developing and supporting applications of the Internet of things. The computer system comprises a south bridge, a north bridge, a communication interface, a display device interface, a sensing device interface and the like. Core supports with common characteristics with applications of the Internet of things are subjected to hardware and equipment conversion, the operation speed of the applications of the Internet of things is increased, the storage space is saved, the reliability is improved, the cost is reduced, the application design and the development production of the Internet of things are standardized and engineered, and mass production and standardization are facilitated. The computer system is based on the development of framework platforms, dynamic insertion of application components is supported, and the establishing of an open system is facilitated; a standard interface is defined, only development of application related members is needed to be performed on the basis of frameworks, the software quality is improved, the cost is reduced, the development difficulty is decreased, and cooperative work of many people in a project is facilitated; and the reusability improves the reliability, the quality and the development efficiency of the software, the average development cost is reduced, the development speed is enhanced, and the maintenance cost is decreased.

Described herein is a method that produces fully (mathematically) tractable development of policies for autonomic systems from requirements through to code generation. This method is illustrated through an example showing how user formulated policies can be translated into a formal mode which can then be converted to code. The requirements-based programming method described provides faster, higher quality development and maintenance of autonomic systems based on user formulation of policies.Further, the systems, methods and apparatus described herein provide a way of analyzing policies for autonomic systems and facilities the generation of provably correct implementations automatically, which in turn provides reduced development time, reduced testing requirements, guarantees of correctness of the implementation with respect to the policies specified at the outset, and provides a higher degree of confidence that the policies are both complete and reasonable. The ability to specify the policy for the management of a system and then automatically generate an equivalent implementation greatly improves the quality of software, the survivability of future missions, in particular when the system will operate untended in very remote environments, and greatly reduces development lead times and costs.

The invention relates to the field of software development process control and discloses an integrated software configuration management method based on items. The method comprises the following steps: a product is divided in a form of the module; a combination product and / or a module edition form(s) a new edition, and the new edition is corresponding to specific item set; primary code changing set produced by development is related with the items realized by the changing set; the items realized by testing codes produce a new module edition and / or a new product edition; the software is released. The method has the advantages that the software configuration management is carried out by the method and the problem that the software primary code is lack of item process knowledge is solved, thus leading the developed software primary code to be easy to manage, test and release; the development process is easy to trace back and the primary code is easy to expand and maintain, the software quality can be controlled; meanwhile, the efficiency of the software development is improved, and the development cost and the maintenance cost are reduced.

In a software quality evaluation system, evaluation personnel evaluate a software quality according to a predetermined quality evaluation system; but the changeless quality evaluation system can not adapt to different stages of a software product. The present invention provides a method for evaluating a software quality. The method comprises: selecting a software evaluation model; selecting each quality index of a software quality evaluation based on the selected software evaluation model so as to establish a quality evaluation system; collecting data for each quality index; determining weight values of each quality index based on the collected data; determining scores of each quality index based on the collected data; and determining a score of the software based on the scores and weight values of each quality index so as to evaluate the software quantity. According to the method for evaluating a software quality provided by the present invention, a software quality evaluation system can better adapt to different stages of software development, and better meet the actual requirements of a client.

[Object]To realize an autonomic system and method of improving the quality of a piece of software and solving problems with respect to operations in stages of a software life cycle. [Solution]There are provided a pattern catalog 20 in which information on execution environments 11 to 14 in the stages of the software life cycle and information on patterns of design applicable in respective the stages of the software life cycle are stored, a pattern combination search engine 30 which searches the patterns with respect to each of the stages in the pattern catalog 20 on the basis of predetermined conditions including a design objective, and a pattern application agent 40 which applies some of the patterns found by searching performed by the pattern combination search engine 30 and controls the operation in the execution environments 11 to 14. Patterns which accord with the design objective are automatically selected to autonomically improve the quality of the piece of software. If a problem is found, an application of patterns obtained by searching performed by the pattern combination search engine 30 is again tried to autonomically solve the problem.

The invention discloses a method for achieving a management system for evaluating software test quality and development capacity, and relates to the field of software test management. The management system is composed of a data acquisition system, an algorithm management system, a budget management system and a report management system. According to acquisition of a software test plan and test data, a specific algorithm is used for evaluating the quality and the budget of software testing links. A data acquisition link, an algorithm configuration link, a budget configuration link and a report generation link are mutually independent. Different algorithms and budget managements can be configured according to different software test projects, the method for achieving the management system for evaluating the software test quality and the development capacity can be matched with all test tools in the prior art for use, a tool for continuously improving application software development and the test quality is offered to software industrialized manufacturing enterprises and fields, and the method for achieving the management system for evaluating the software test quality and the development capacity has the advantages of being safe, reliable, rapid in popularization and easy and convenient to maintain.

The invention discloses a distributed automatic construction method and system. The method comprises the following steps: obtaining a development code and an automatic test case code by a first server; downloading the development code and the automatic test case code by a second server, and calling a batch processing script to carry out automatic compiling so as to generate an application program file and an automatic test file; and distributing the application program file and the automatic test file to different test PC machines by the second server in a distributed manner. According to the distributed automatic construction method and system, the development period of a plurality of application programs can be greatly shortened and favorable software quality can be ensured.

The invention provides a software development method and device. The method includes the steps of receiving a software development request and parsing the software development request to obtain page requirement information, function requirement information and component loading requirement information; acquiring a target page template matched with the software development request according to thepage requirement information; acquiring target field elements corresponding to the function requirement information from a field library according to the function requirement information, and assigning a matched function component to each target field element from a component library; adding each target field element into the respective matched function component, and loading each function component onto the target page template according to the component loading requirement information; performing code integration on data codes corresponding to the target page template, the function components and the target field elements, and generating corresponding software code to complete software development. According to the method, the software development cycle and test cycle can be shortened, and the software development efficiency and software quality are improved.

A plurality of coding violation indications corresponding to software code are categorized according to a plurality of coding quality attributes. The coding violation indications may be reported via static analysis tools or via manual analysis of the software code. The categorized coding violations serve as the basis for determining a plurality of code quality indices each corresponding to a respective one of the plurality of coding quality attributes. In an embodiment, the plurality of code quality indices may be further processed to determine an overall code quality index for the software code. One or more of the resulting code quality indices may be displayed to a user. In this manner, code quality indices may be provided that are directly based on coding violations reported through static analysis.

The invention discloses an agility-oriented automatic test management system and method. The system comprises that a test management front end is used for creating test tasks and sending the submitting instructions of the test tasks to a test control end, the submitting instructions of the test tasks comprise test executing ends distributed to the test tasks; the test control end is used for sending the test tasks to the test executing ends distributed to the test tasks according to the submitting instructions of the test tasks; the test executing ends are used for obtaining the distributed test tasks, invoking pre-created test task plug-ins to execute the distributed test tasks and returning the executing information to the test management front end through the test control end. The system provides an automatic test management platform applicable to an agile development model; the automatic tests operated in the project implementation process are effectively and flexibly managed through the platform; therefore, the test executing efficiency is improved, and the software quality and the issuing cycle are ensured.

The invention discloses a method for evaluating software quality based on test data, which comprises the following steps: firstly, determining a case set evaluation formula for functional test and a case set evaluation formula for non-functional test; determining a sub characteristic evaluation formula of the software quality according to the case set evaluation formulas for the test; determining a characteristic evaluation formula of the software quality according to the sub characteristic evaluation formula of the software quality; and determining an evaluation formula of the software quality according to the characteristic evaluation formula of the software quality. The method determines the evaluation confidence level of the software quality, and determines a comprehensive evaluation formula of the software quality according to the evaluation result and the evaluation confidence level of the software quality. The method evaluates the software quality objectively, and has high accuracy.

The invention discloses a node-based automatic test system. According to the system, different test stages are issued to different machines for testing; meanwhile, test cases on different machines canbe supported to be executed in a coordinated mode, output corresponding to the test input is judged to be compared and matched with an expected result to complete the test, a test report is output tothe central server to be summarized and analyzed to form a complete test, and the test report is generated and sent to related personnel. Aiming at current-stage business characteristics, to the system overcomes difficulties in software testing, a set of device system for realizing omnibearing software automatic test is provided, the test of the whole business process can be continuously and automatically completed, a report is generated in time, related personnel are informed of a test result, the project software quality is comprehensively monitored, the test time is shortened, misoperationor omission of personnel in the test process is reduced, the test depth is increased, and the project quality is improved.

The invention provides a software quality evaluation method and system based on secondary evaluation. The method includes the steps that a software quality evaluation index space is selected, and a software quality evaluation result identification framework is built; sample data and data of software to be evaluated are collected; the number and the topological structures of BP neural networks aredetermined; the BP neural networks are trained in parallel, and the credibility levels are calculated; the quality evaluation index data of the software to be evaluated is input into each trained BP neural network, and preliminary evaluation results are obtained according to output results of the BP neural networks; the preliminary evaluation results are corrected in combination with the credibility levels of the BP neural networks to generate basic probability assignment of each proposition in the identification framework, and all pieces of evidence are fused according to the DS evidence theory to obtain a fusion result; decision-making is conducted on the fusion result based on decision criteria to generate a final evaluation result. By means of the method, software quality evaluation can be effectively achieved.

The invention provides a monitor software design method based on a sensor, i.e. monitor software is designed based on a sensor by taking the monitor software hierarchy structure model as the basic. In the design method, the common functions of the monitor software based on the sensor are realized through the component design, and the special functions are distinguished by means of parameters. The efficient development of the monitor software based on the sensor can be realized by configuring the parameters according to the specific needs of users. A monitor software development platform based on the sensor, which is designed according to the above method, mainly comprises a component gallery which can be repetitively used, a data acquisition subsystem, a parameter configuration subsystem and a monitor software assembly subsystem. The design method is verified through the development embodiments of the production enterprises. The results indicate that the method is feasible, and the development efficiency and software quality are obviously improved.

The invention relates to software quality defect detection method and system based on static analysis, belonging to the technical field of computer information safety. The detection method comprises the concrete steps as follows: firstly, inputting detected source codes, and selecting a defect mode according to the detected source codes; secondly, pre-processing the detected source codes; thirdly, carrying out control flow graph compression on merged source codes; fourthly, determining whether defects exist in the mode of an original detected program; fifthly, treating results, i.e., converting the position information of a termination status of detected source program codes to the position information of the original source codes; and sixthly, outputting, i.e., showing final determined result to users. The detection method and system can find software defects in advance, shorten software development cycle, save development cost and improve software quality, directly positions the detected program source codes, accurately positions the defects, and can improve the test efficiency and reduce false alarm rate.

The invention discloses a Windows-based method and system for automatically testing a product. The method comprises the steps as follows: a management server acquires a test code corresponding to a project code and generates a project test set; a Jenkins server acquires the project code, and compiles and packages the project code to generate a software installation package; the software installation package is deployed on automatic test equipment; the automatic test equipment acquires the project test set corresponding to the software installation package from the management server; and testing is carried out on the project test set to obtain a testing result and the testing result is transferred back to the management server. According to the method and the system, repetitive work in a product testing process is greatly simplified, the testing and developing cycles are greatly shortened and good software quality is ensured.

The invention discloses a threat modeling method added with attack path formalization analysis. In software design stage, software defect information is extracted by UML active graph decomposition application or system and threat modeling is carried out. The method includes the following steps: creating and modeling use case; creating silhouette of application or system; decomposing the application or system by using the active graph; using the acquired key asset information as threat object, creating a threat tree by taking the threat object as root node and assigning value to all nodes in the threat tree including value assignment on root nodes and leaf nodes; classifying and evaluating the threat object; and calculating the attack path of the threat tree. Compared with the prior art, the invention can reduce software product safety defect and improve software quality, improves application range of threat modeling, obtains more comprehensive and accurate threat relaxation scheme, realizes threat modeling automation and greatly reduces technical threshold, cost and development period of trusted software development.

The embodiment of the invention discloses a software test system and a method, which relates to the technical field of computer software development, provides a perfect test flow and can reduce the software development cost while guaranteeing the software quality. The system comprises a configuration management module which stores the edited program codes, an integrated building module which acquires the program codes from the configuration management module, builds a test for the program codes and executes the test, a defect management module which is connected with the configuration management module, acquires and stores the defect information of the program codes and when modifying the program codes, synchronously updates the modified program codes with the configuration management module and creates a log of the updated program codes, and a test management module which is connected with the defect management module, builds test cases for the program codes and when executing the test cases, acquires the pre-determined defect information of the program codes from the defect management module. The embodiment of the invention is applied to the software development process.