Study of Equivalence Testing and Partitioning
Zhihua Wang
Abstract
Zhihua Wang
Abstract
There are two factors of equivalence class in reliability theory,one is robustness,and the other one is single or multiple defects,these two factors are used in the study of equivalence.The equivalence class is divisible into four types according to these two factors,which are weak equivalence,strong equivalence,weak robust equivalence and strong robust equivalence.The weak robust equivalence is discussed in software engineering.The equivalence relations and partition are the basis of the equivalence testing.Partitioning guarantees the completeness and non-redundancy of equivalence testing.Study on the partitioning based on set is must when study equivalence.The partitioning example is provided in the paper,and it is available that the equivalence is equal to partitioning.The principle of equivalence testing is provided,and the test cases of equivalence testing are designed.
OpenAlex reports 1 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
There are two factors of equivalence class in reliability theory,one is robustness,and the other one is single or multiple defects,these two factors are used in the study of equivalence.The equivalence class is divisible into four types according to these two factors,which are weak equivalence,strong equivalence,weak robust equivalence and strong robust equivalence.The weak robust equivalence is discussed in software engineering.The equivalence relations and partition are the basis of the equivalence testing.Partitioning guarantees the completeness and non-redundancy of equivalence testing.Study on the partitioning based on set is must when study equivalence.The partitioning example is provided in the paper,and it is available that the equivalence is equal to partitioning.The principle of equivalence testing is provided,and the test cases of equivalence testing are designed.
Key concepts: Equivalence (formal languages), Logical equivalence, Matrix equivalence, Computer science, Congruence relation, Robustness testing, Equivalence class (music), Mathematics