Software specification development assistance method and software specification development assistance device
A software specification and auxiliary device technology, applied in the direction of program control devices, software testing/debugging, etc., can solve the problems of decision table storage capacity and processing time increase, and achieve the effect of reducing storage capacity
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment Construction
[0034] One embodiment of the present invention will be described in detail below with reference to the drawings.
[0035] This embodiment is suitable for a device that assists development of software usage.
[0036] In the present embodiment, input of a specification (called a propositional rule) by description in a propositional format is accepted, and contradictions, omissions, repetitions, and differences among the propositional rules are checked. Constraints on propositional rules are also accepted, and constraint violations of propositional rules are checked. Then, based on the inspection result, a description (referred to as a display object rule) in a propositional form representing a specification related to the inspection result is generated. Further, a decision table is generated and displayed according to the generated display object rule.
[0037] Therefore, according to the present embodiment, inspection results for contradictions, omissions, duplications, diffe...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com