Patents
Literature
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

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.

Method and system for legacy code transformation

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.
Owner:INFOSYS LTD

A compiler automation testing method based on specification inference and loop consistency verification

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.
Owner:NANJING UNIV

Specification driven encoding method and apparatus

PendingCN122431682ASpecification documentAlgorithm
The embodiment of the specification relates to a specification driven coding method and device, and the method comprises the following steps: in response to a change operation of a user on a specification document, determining change content in the specification document; according to the change content, updating a corresponding specification graph, and determining a plurality of changed change requirement nodes; the specification graph contains a plurality of types of nodes, and corresponds to the semantics of the specification document; according to any first change requirement node, determining a plurality of first recall nodes with a high ranking relevance in the updated specification graph; according to the first change requirement node and the plurality of first recall nodes, determining a first change context; inputting the first change context into a large language model to perform a first update on a current code library.
Owner:ALIPAY (HANGZHOU) INFORMATION TECH CO LTD

Technical specification database construction method based on context-aware specification parsing algorithm

PendingCN122364463ATechnical specificationsSpecification document
The application provides a technical specification database construction method based on a context-aware specification parsing algorithm, 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 parsing algorithm 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.
Owner:INST OF COMPUTING TECH CHINA ACAD OF RAILWAY SCI +2

Method and system for detecting access control vulnerabilities based on document and code consistency

PendingCN122365507ASpecification documentEngineering
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 control specification 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.
Owner:INSTITUTE OF INFORMATION ENGINEERING CHINESE ACADEMY OF SCIENCES

Methods and apparatus for generating development resources

PendingCN122284953AThere will be no misunderstandingNo execution errors will occurSpecification documentData source
This specification provides one or more embodiments of a method and apparatus for generating development resources. The method first obtains a first specification document of a target interface. Then, based on a unified data source model, the first specification document is converted into a first data source file, wherein the unified data source model is a data structure specification used to define the interface. Finally, in response to receiving a binding instruction between a front-end project and the first data source file, development resources are generated based on the first data source file, wherein the development resources are resources needed during the front-end project development process.
Owner:ALIPAY (HANGZHOU) INFORMATION TECH CO LTD

HTTP protocol differential fuzz testing method and system based on large language model

PendingCN122132303AError detection/correctionInference methodsLinguistic modelSpecification document
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.
Owner:SHANDONG UNIV

A method and system for designing security dynamic fuzz testing for Kubernetes RESTful API

ActiveCN116955200BSemantic analysisError detection/correctionSpecification documentSecure by design
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.
Owner:SICHUAN UNIV

An Automatic Knowledge Construction Method for Protocol Fuzzy Testing Based on a Large Language Model

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.
Owner:BEIJING UNIV OF POSTS & TELECOMM

system

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.
Owner:SOFTBANK GROUP CORP