247 results about "Software requirements" patented technology

A system and method for estimating a metric of a proposed product from a document describing the product in an arbitrary degree of detail provides accuracy comparable to a function point assessment of a fully detailed document by parsing a document into a plurality of lines in an outline form and assigning a hierarchy to each line. Values or weights are determined for each of a relatively small plurality of key words in accordance with the key word and the hierarchy level of the line in the parsed document in which the key word is found. An adjustment is made based on a category of the key word such as nouns and verbs and the hierarchy level of the lines as compared with the number of hierarchy levels found in the document. Further adjustments may be made for subject matter domain of the product and the source or author of the document.

The invention provides an automated testing method and device for all-purpose financial statements. The automated testing method includes analyzing software requirement specifications according to preset keywords, and generating software testing requirement data in a statement form; generating test cases according to the software testing requirement data and prestored test case templates; generating test data according to the software testing requirement data and the prestored UML (unified modeling language) program flow chart; generating test programs corresponding to test cases by splicing SQL (structured query language) statements according to the software test requirement data; generating predicted test result statements according to the test data and the test programs; generating an automated script parameter list recognizable by test tools according to the software test requirement data and prestored automated script parameter configurations; generating simulated test result statements of the test cases according to the test data and the automated script parameter list by the test tools; and comparing the predicted test result statements and the simulated test result statements to generate test results.

Systems and methods are provided to generate a software framework based on semantic modeling and business rules. In one embodiment, a method implemented in a data processing system, includes: receiving input from one or more first users to generate a first ontology describing a software requirement; receiving input from one or more second users to map the first ontology to a second ontology describing software tools; and generating a software framework in the data processing system based on the input received from the one or more second users to map the first ontology to the second ontology.

The invention discloses a hardware system for cloud development and testing. The hardware system for the cloud development and testing is characterized in that after software development or testing software requirements or hardware requirements are finished customizing by a terminal, a server can automatically found a virtual machine of conducting software development or testing for the terminal; after a user of the virtual machine pays for purchases, a running environment, functional components, data, tools or systems corresponding to the virtual machine are uniformly stored and installed, and run on an independent hardware device, and are offered to the user; after the independent hardware device is accessed to the server through a network, the software development and testing data on the independent hardware device of the user can be automatically synchronized to the virtual machine; after the independent hardware device is accessed to the server through the network, the software development and the testing data generated by the virtual machine in the independent hardware device can also be automatically synchronized to the independent hardware device. According to the hardware system for the cloud development and testing, the software development and test work can be placed and conducted on a cloud platform uniformly. In addition, equipment is ordered through a remote custom software and hardware configuration, so that the sale model of integrated equipment of software and hardware such as a computer, a mobile phone, a tablet computer, a mobile television, a smart television and a game machine can be thoroughly changed.

The invention relates to a method and device based on reverse engineering for automatically generating software documents. The method and device based on the reverse engineering for automatically generating the software documents comprises scanning source programs, obtaining function comments, function detail information and a mutual call relation and a mutual inclusion relation among functions, identifying and abstracting function information of functions through a natural language, generating a global function call relation graph and a global function inclusion relation graph respectively based on the function information of the functions and the mutual call relation and mutual inclusion relation among functions, automatically generating software design description documents based on the function information of the functions, the function detail information and the global function call relation graph, generating a system function graph based on the function information of the functions and the global function inclusion relation graph, and generating software requirement specification documents automatically based on the system function graph. According to the method and device based on the reverse engineering for automatically generating the software documents, the software requirement specification documents and the software design description documents are generated automatically, the reverse engineering from codes to documents is achieved, and the method and device based on the reverse engineering for automatically generating the software documents is wide in application and strong in adaptability.

The invention relates to the field of software development process control and discloses a control method of the integrated iteration software development process and a method thereof. The system comprises a database unit, a demand management module, a task management module, a primary code version control module, a test management module, an item management module and a release management module; the control of the project progress is carried out under the uniform iteration development management by the relation among modules, and the software quality is ensured and the project process is controlled. The invention has the advantages that the progress of the whole software development process can be controlled, the quality is ensured and the software which can be developed is easy to expand and maintain; and the difficult problems of the integrated project changing management are solved really, especially the uniform difficult problems which exist through the software life cycle are solved in the process of iteration development management including software requirements, project progress, primary software code, software configuration, software test, software building and software release and maintenance.

The invention discloses a software trustworthiness engineering method based on a formalized and unified software model, belonging to the field of software trustworthiness. The method comprises the following steps: building an unified software model which includes software requirement design information, software implementation information and runtime environment information based on a formalized language and a traditional UML (unified modeling language) view; carrying out the consistency and validity verification of the unified software model according to the software trustworthiness engineering technical architecture and automatically generating an unit test case; building a software security defect knowledge base based on the unified software model; finding out potential software security defects in the unified software model based on the software security defect knowledge base by a formalized language theorem proving machine; and giving out a corresponding alleviating solution according to the potential software security defect. The software trustworthiness engineering method has the beneficial effects of improving the software quality, eliminating the design defect, reducing the development cost, enhancing the maintainability and the like and solves the problems in the traditional software engineering.

A method of manufacturing customised products comprises automating substantially a process relating to capturing customer requirements, validating customer requirements, generating a component list to manufacture a customised product according to the customer requirements, implementing hardware and/or software requirements relating to the captured customer requirements and manufacturing customised products. In particular, a method of manufacturing a customised product comprises receiving a customer's requirements electronically in a computerised component list format employed by a manufacturer; and automating substantially a process to enable a customised product to be manufactured based on the generated list of components.

The invention discloses a device for separating a user interface from a service logic, which comprises a user interface module, a service logic module and an interface management module. The user interface module is used for realizing an interface format required by a user and an operation logic of the user; the user logic module is used for realizing a service logic part in actual software requirement; the interface management module is used for connecting the user interface module and the service logic module, realizing date transmission and behavior synchronization between the user interface module and the service logic module, and managing, dispatching, and updating an interface for data transmission and an interface for behavior synchronization. The invention can lower the coupling degree of the user interface module and the service logic module in software development, guarantee the development quality and improve the flexibility and the expansibility of systems.

A method, including: receiving a software requirement; and constructing a workflow template that can satisfy the software requirement, wherein the workflow template comprises a plurality of processing stages, wherein each processing stage includes at least one component class and each component class includes at least one component, and wherein an output of each processing stage is described by a processing goal pattern that is described by a set of tags and facets.

Provided are a software requirement analysis quantifying method and system. The software requirement analysis quantifying method comprises the steps that a sample acquiring module uses basic processes as classification objects to acquire samples of classifiers, characteristic attribute values of items to be classified in each sample can be determined according to the characteristic attribute of one basic process in history data, an output category can be determined according to development time of the basic process in the history data, a classifier generating module uses the obtained samples as training sample training classifier models, a classifying module can determine all characteristic attribute values of the basic processes divided according to software requirements to classify through the classifiers, and accordingly the corresponding output categories, namely the development time, can be obtained. The software requirement analysis quantifying method utilizes the history data to generate the classifiers, introduces the characteristics of function points of module types to more accurately estimate software development time and has good effects on quantifying software development time and controlling the service life of software.

The invention relates to the software test field, in particular to an NLP-based system test case automatic generation method. The method comprises the steps that a software requirement document is preprocessed; the NLP technology is utilized to perform word segmentation and semantic analysis on information obtained after preprocessing; a test case template containing a specific keyword is constructed, and the analysis result is matched with the keyword template; and according to a keyword logic sequence and the test case template obtained through matching, system test cases are automatically generated through keyword substitution. Through the NLP-based system test case automatic generation method, the software requirement document can be automatically processed to obtain a software requirement with semantic logic, and the technical threshold is low; the system test cases of a specific template can be automatically generated according to software project knowledge accumulation, and thestandardability of test case design is improved; the system test cases can be automatically generated according to the software requirement document, software test efficiency is improved, and the working intensity of testers is lowered.

The invention discloses an embedded software security automation verification system and a verification method thereof. According to the technical scheme, double verification of software security is realized in combination with a model checking-based formal verification technology and a model-based software test technology. The automation verification system disclosed by the invention comprises four parts, which are a software demand modeling module, a security verification rule database, a formal verification module, and a security test module respectively. The software demand modeling module comprises two sub-modules, wherein the ICD modeling module describes a software external cross-linking environment, and the formal modeling module describes a software internal behavior. The security verification rule database is constructed and used for storing security verification rules. The formal verification module is constructed and used for performing model verification on a software demand based on the security verification rules and a model detection algorithm. The software detection module comprises two modules, wherein the test case generation module is used for generating an executable security case, and a test case translation module performs format conversion on the generated case.

The invention relates to the field of software development process control, and discloses an integrated iteration software development process control system and method. The system comprises a database unit, a demand management module, a task management module, a source code version control module, a testing management module, an item management module and a publishing management module. The system carries out the progress control of a project under the unified iteration development management through the mutual correlation of the modules, guarantees the quality of software, and achieves the control of the process of the project. The beneficial effects of the invention are that the progress of the whole software development process can be controlled; the quality can be guaranteed; developed software is easy to extend and maintain; the system truly overcomes a difficulty of the overall change management of the project, especially the difficulty of unified iteration development management which comprises the software demands, project progress, software source codes, software configuration, software testing, software building, software publishing and process maintaining, wherein the difficulty of unified iteration development management stays in the life cycle of software.

The invention discloses a management system for a software assessment lab. The management system comprises a testing project management module, a personal workbench module, a lab management module and a system management module, and can satisfy full life circle quality control and omnibearing statistical analysis data for the software assessment lab; omnibearing management, as well as data collecting, analysis and in-depth mining, for the testing project is realized, so that the software is guaranteed to reach an acceptable quality level; and a technical support platform exerts testing workflow management and software requirement centralized management, so as to guarantee the software to reach the acceptable quality level. The management system for the software assessment lab can effectively promote the support ability of the system for businesses and reinforce vertical quality control ability so as to provide effective reference for decision making, meanwhile reduces investment cost, fully ensures that a company information system is in order and is controllable during each stage including design, development and operation.

The present invention relates to an automatic detection method of testing scripts for rail transit vehicle-mounted controller software, comprising the following steps of (S101) loading the testing scripts and primarily inspecting the testing scripts; (S102) analyzing the testing scripts primarily inspected in the step (S101); (S103) modeling demands of the vehicle-mounted controller software, using periodic data obtained by analytic expansion in the step (S102) as an input, and simulating a demand model; and (S104) comparing results, and comparing and analyzing the model simulation output obtained in the step (S103) and an expected result designed by the test scripts in the step (S101) so as to inspect correctness of the test scripts. Compared with the prior art, the automatic detection method has the advantages that the blank of verification and detection automation of the test scripts for the rail transit vehicle-mounted controller software is filled in, and substantial detection of correctness of contents of the test scripts by computers can be truly achieved.

The present invention provides a software demand acquisition system, which uses a user-oriented mode to enhance participation of users in demand acquisition and provides individualized supports based on field knowledge while these users are expressing their demands and comprises proposals on user preference forecast and adjustment, field demand item recommendation and multi-user collaborative demand acquisition. In addition, the software demand acquisition system supports users in complex application fields to define their demands based on targets and examples and sustains field experts to acquire and optimize field demand assets, thus achieving field knowledge renewal more efficiently and finally acquiring high-quality demands. Moreover, the demand acquisition system supported by individualized field knowledge fulfilled by the present invention can not meet requirements for common software demand acquisition but also accomplish software demand acquisitions characterized by interregional acquisition, multi-user acquisition, acquisition of users with complex organizational structure, abundant application field knowledge and collaborative acquisition, etc.

The invention provides a topology potential-based software requirement case priority sorting method, which comprises the following steps of: constructing and analyzing a software requirement case model to acquire a set of dependence between requirement cases; mapping the dependence between requirement cases in the acquired set into nodes and sides of a directed network model to construct a network topology; calculating the topology potential of all nodes in the constructed network topology; sorting all the nodes in the network topology according to the topology potential of the nodes; performing importance-based secondary priority sorting on requirement cases corresponding to the sorted nodes with the same topology potential; and outputting the sorted result in a visual mode. The prioritysorting method shields some subjective factors which influence the accuracy of the traditional requirement analysis, contributes to objectively evaluating the priority of the requirement cases, combines the contents of the requirement cases with the dependence between the requirement cases for analysis, and acquires more reasonable sorted result.

The invention discloses a designing method of a high-efficiency high-coverage-rate function test case, which sequentially comprises the following steps: analyzing a test object and a test requirement; starting the case; analyzing an expected result of the case; designing a forward function teat case according to the teat object and the requirement analysis when a program receives and processes an input variable; realizing functions for testing software requirements; then, completing the case by using various case designing methods; designing a reverse abnormal condition case according to the teat object and the requirement analysis when the program does not receive the input variable; and completing the case by using various case designing methods and estimating a test result in advance. The designing method of a high-efficiency high-coverage-rate function test case has the advantages that the teat case is designed through positive thinking and reverse thinking, the positive thinking based on a software function requirement is realized so as to ensure the correct realization of the software function, the reverse thinking based on the abnormal input, the abnormal operation, and the like is realized so as to test the robustness of the software and ensure the high coverage rate of the test, and the execution effect is quicker and more accurate.

The invention provides a test case generation method, device, computer equipment and storage medium, a test case model corresponding to a test point is obtained according to a corresponding relation between the test point and the test case model, a model parameter type corresponding to the test case model is obtained, model parameters are determined according to design rules corresponding to the model parameter type so as to obtain a target test case model, and a test case is generated according to the target test case model. The above test case generation method corresponds to the relationship between test requirements, test points, test case templates, and design rules corresponding to the template parameter types to store a design thought of the test case, so the design quality of the test case can be effectively ensured when software requirements are changed so as to improve test effects.

The invention discloses a virtual disk image logic partitioning-based on-demand software distribution method. The method comprises the following steps that: by adopting a system structure of a client/server, a server stores virtual disk images of all virtual machines and logically partitions a conventional single virtual disk image into a plurality of disk block sets by respectively recording disk blocks occupied when every kind of software is installed; and then a software distribution service program of the server and a client program of a client distribute the disk block sets corresponding to software as required through the interaction of a client/server mode according to the software requirements of users so as to reduce the expense on software distribution and quicken software allocation.