Method for generating bit operation test case based on four-valued logic
A test case generation and logic operation technology, applied in software testing/debugging, etc., can solve the problem of low test case generation efficiency, and achieve the effect of improving generation efficiency and search efficiency
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment Construction
[0037] The present invention will be further described in detail below with reference to the drawings and embodiments.
[0038] In two-valued logic, a proposition has only two values of "true" and "false". If it is not limited to two values of "true" and "false", but three values, four values, or any number of values, it is called For multi-valued logic.
[0039] In 1920, Jan Extending Aristotle's classic binary logic, creating the logical value of "possibility" to solve Aristotle's "Naval Battle Paradox". In 1921, Emil L. Post introduced n-valued logic (n≥2). Multi-valued logic is used in logic operations because it is possible to determine the result of the operation even if the operand is uncertain.
[0040] For example, x&0=y, no matter if x is 0 or 1, x&0=0, so y=0.
[0041] Some abstract values of logical operations are as follows:
[0042] Serial number
Abstract value
Description
Example
1
⊥
There is no corresponding specific value
x&0=1, then x=⊥x=⊥
2
0
x ...
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