247 results about "Software requirements" patented technology

The present invention is a portable fully automatic cooking system which can automatically prepare food items as per the user's demand ‘by using recipes files, data and cooking centric algorithm software stored in user interface device or by downloading the needed recipe from remote server. This machine unit of system can be controlled by any kind of computation device, laptop, tablet, computer, smart phone etc for cooking, recording, managing which satisfies hardware and software requirement standards of system which user can control and command through physical presence or from remote location. Machine unit stores various ingredients inside it and demands for chief ingredients and cooks recipes in accordance with recipe using custom developed artificial intelligence. The scalability and flexibility of machine design, structure, components and positioning makes automated cooking possible, efficient and most practical. The capability to add custom vessels, modules and attachments adds extended efficiency in automated cooking.

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.

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.

A computer implemented method, system and computer program product for managing reusable software assets based on software requirements. A topic map can be expressed utilizing semantic web technology in order to model a relationship between a software requirement and a reusable software asset. The relationship includes the software assets needed to satisfy the software requirement, relationship between the software assets, and the location of the software assets. The semantic web representation can then leverage a standard web based query mechanism to allow meaningful queries to suggest best software assets to be utilized with the software requirement. The semantic web representation can also leverage standard XML (extensible markup language) tooling to provide consistence checking and inferencing of new data.

The invention provides a generating method and a generating device of test cases. The method comprises the steps of sequentially scanning all logic affair nodes and illogic affair nodes in a mind map; for scanned illogic affair nodes, generating test cases containing test steps; and for scanned logic affair nodes, generating test cases containing input conditions and expected results according to preset input DETs and output DETs of the logic affair nodes. According to the generating method and the generating device, the mind map which can clearly present a requirement framework of all logic businesses is used for analyzing the mind map, the test cases capable of comprehensively reflecting software demanding relationship can be generated according to the correlation between the input and the output of all the logic businesses, and the test cases containing the test step forms can be generated by transforming the mind map. The generated test cases are diverse in form, and requirements of software test cases are met.

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.

A software framework based on semantic modeling and business rules, in which 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; and receiving input from one or more second users to map the first ontology to a second ontology describing software tools. The data processing system generates a software framework using the input that is received to map the first ontology that describes the software requirement to the second ontology that describes the software tools.

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 provides a software development method and device based on crowdsourcing. The method comprises the following steps: receiving original software requirements input by a demand provider; distributing the original software requirements to a product manager to enable the product manager to generate and publish a PRD (Product Requirement Document) according to the original software requirements; generating a first MDT (Module Development Task) corresponding to the PRD; distributing the first MDT to a product architect to enable the product architect to generate a plurality of second MDTs according to the first MDT and publish the plurality of second MDTs to internet users; receiving at least one group of deliverable products submitted by the internet users, and distributing the at least one group of deliverable products to the product architect to enable the product architect to generate a software product corresponding to the original software requirements according to the at least one group of deliverable products. According to the method, large-scale concurrence development can be realized, and software development speed is greatly improved.

The present invention discloses a software download method comprising steps below: A. Software data section sequence is downloaded, during which a software provider terminal marks position information of data currently downloaded in the whole software. A software demand terminal locates and saves the downloaded data according to the position information; B. In case of abnormal currently downloaded data, the software provider terminal secondly downloads current data to the software demand terminal according to the position information corresponding to the currently downloaded data. The present invention can improve success rate of software download, reduce download time and save network bandwidth resources.

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 invention provides a software developing requirement management system. The software developing requirement management system comprises a project maintenance module, an object analysis module, a requirement information acquisition module, an intermediate result processing module, a view display module, a requirement analysis module and a report generation module. The project maintenance module is used for storing an object; the object analysis module is used for setting an analysis mode for the object; the requirement information acquisition module extracts an effective element in the object through the analysis mode, and a first corresponding relation between the element and the object is formed; the intermediate result processing module gathers the elements and forms an in-memory database; the view display module displays the content of the in-memory database to the user in dependence on the user's demand; the user can adjust the content of the requirement through the requirement analysis module; and the report generation module generates the final report that the user needs. The software developing requirement management system can be used for the high-safety high-reliability software developing process, and carries out management, tracking and maintenance in the full life circle of software requirement, design, test, code working products and the like.

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.

An intelligent home system comprises a local management platform, an internet of things platform, a movable intelligent terminal and a parameter detecting device, the parameter detecting device is used for detecting to-be-sampled parameters of a home in real time and generating corresponding parameter signals, the local management platform is used for sending the parameter singles to the internet of things platform, the internet of things platform is used for comparing the parameter signals with a preset parameter threshold value range, and when the parameter signals exceed the preset parameter threshold value range, a reminding signal is sent to the movable intelligent terminal, or sent to the mobile intelligent terminal through the local management platform. According to the system, the internet of things platform processes and stores data, the local management platform is mainly responsible for the data summarization, conversion and transferring function, loads of the local management platform are reduced, and hardware and software requirements for the local management platform are reduced.

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.