Patsnap Eureka AI that helps you search prior art, draft patents, and assess FTO risks, powered by patent and scientific literature data.
10 results about "Specification document" patented technology
Filter
Efficacy Topic
Property
Owner
Technical Advancement
Application Domain
Technology Topic
Technology Field Word
Patent Country/Region
Patent Type
Patent Status
Application Year
Inventor
Definition of Specification Documentation. Specification Documentation means documentation as specified herein, relating to technical specifications or other matters relating of this Agreement, that is delivered and agreed upon by the Parties on the Restated Effective Date. Sample 1.
PendingUS20260195105A1Specification documentExternal data
This disclosure relates to method and system for facilitating legacy code transformation. The method includes receiving legacy code data and natural language document from one or more data sources. Each of the one or more data sources is one of an external data source or an internal data source. Further, the method includes generating a first natural language output based on the legacy code data through a first LLM, and a second natural language output based on the natural language document through a second LLM. Further, the method includes fine-tuning one of the first LLM or the second LLM based on the first natural language output and the second natural language output, through a third LLM. Further, the method includes generating a natural language specification document corresponding to the legacy code data based on the first natural language output and the second natural language output through the third LLM.
This invention provides an automated compiler testing method based on specification inference and loop consistency verification to address the problems of traditional compiler testing, which relies on differential testing, requires reference implementations, and cannot effectively test domain-specific compilers. The method first extracts a syntactic skeleton set and a detailed reference set from heterogeneous specification documents; it then uses a large language model to infer type-safe formal grammar rules through multi-agent collaboration; based on the inferred grammar, it generates semantically valid test cases using a seed-preserving abstract syntax tree-level mutation strategy; it executes a compile-decompile-recompile loop on the test cases and detects compiler defects through binary-centralized comparison and noise normalization. This invention achieves systematic automated testing of compilers in the absence of reference implementations and execution oracles, improving compiler reliability and system security.
The application provides a technical specification database construction method based on a context-aware specification parsingalgorithm, which comprises the following steps: obtaining a standardized technical specification document; inputting the standardized technical specification document into a Transformer model to enable the model to perform perception extraction processing on the standardized technical specification document based on the context-aware specification parsingalgorithm to generate a plurality of entity data corresponding thereto; performing deduplication conversion processing on each entity data, taking each entity data after the deduplication conversion processing as a node, taking a preset core relationship between each entity data as an edge, generating or updating a corresponding knowledge graph, and storing the knowledge graph in a preset technical specification database. The application can realize automatic parsing of specification documents, reduce manual workload, improve data consistency and maintainability, avoid specification execution deviation caused by context understanding errors, and improve the intelligent level of specification management.
The application discloses a method and system for detecting access control vulnerabilities based on consistency between documents and codes, and belongs to the technical field of computer program detection. The method comprises the following steps: analyzing an access controlspecification document of a target system to generate an access control rule set; constructing a permission execution graph according to permission elements in source code of the target system; and performing consistency detection based on the access control rule set and the permission execution graph to obtain an access control vulnerability detection result of the target system. The application can effectively find access control vulnerabilities at the platform source code level without relying on pre-defined vulnerability patterns.
This invention belongs to the field of network security and software testing technology, and provides a method and system for HTTP protocol differential fuzzing testing based on a large language model. The technical solution reads and preprocesses RFC specification documents. Based on constructed prompts, it guides the large language model to extract HTTP request templates and HTTP field dependencies from the preprocessed RFC specification documents. Based on the acquired malicious payload and the extracted HTTP request template, it guides the large language model to generate initial test cases. The extracted HTTP field dependencies are used to mutate the initial test cases, and the mutated test cases are concurrently sent to multiple different HTTP servers to perform differential fuzzing and obtain differential fuzzing response results. The responses from all servers are received, and the differential fuzzing response results are analyzed in conjunction with the large language model to obtain differential response analysis results and generate new test cases. This solves the problems of low semantic quality of test cases and blind mutation strategies in traditional HTTP fuzzing.
The application discloses a Kubernetes RESTful API design security dynamic fuzzing method and system, and relates to the technical fields of cloud native and fuzzing testing.The application extracts semantic information from an OpenAPI specification document based on NLP technology to construct a new OpenAPI specification document and a fuzzy dictionary, so that high-quality request sequence test cases are generated.Then, the test cases are sent to a Kubernetes API Server component for testing, response messages are collected and analyzed, and finally, detected errors are analyzed for bugs.Parameter values conforming to semantics are generated for request sequences, so that the probability of discovering security problems in Kubernetes API design is increased.
This invention relates to an automated knowledge construction method for protocol fuzzing based on a large language model, belonging to the field of network security testing technology. The method includes: preprocessing the specification document of the target protocol to output a set of document fragments with document structure; constructing a basic protocol intermediate representation (IR) from the document fragment set using a large language model; inputting the basic protocol IR and fuzzing task instructions into the large language model to construct a fuzzing IR containing field semantic categories, normalized constraint descriptions, and fuzzing-related strategy hints; writing the fuzzing IR into a protocol fuzzing knowledge base, establishing a hierarchical storage and indexing structure; and the fuzzing engine calling the knowledge in the knowledge base to guide the generation and mutation of test case sets when executing fuzzing tasks. Using this method, rapid adaptation and protocol-aware fuzzing of multiple protocols can be achieved, significantly improving the automation level of protocol fuzzing and vulnerability discovery capabilities.
Provide a system. 【Solution means】 Means for automatically collecting the bidding information of local governments via a communication network, Means for analyzing the specification documents and evaluation criteria from the collected bidding information and extracting the participation qualification requirements, Means for comparing the extracted participation qualification requirements with the enterprise's resource information to confirm the participation qualification, Means for automatically generating a framework for the proposal using a generation model, Means for predicting the optimal bidding amount by analyzing past data, Means for assisting in the creation of bidding documents based on the above means, Means for displaying the bidding information in real time on a mobile information terminal device, A system including the above.