Open Access. Powered by Scholars. Published by Universities.®
Social and Behavioral Sciences Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Social and Behavioral Sciences
Similarity-Based Search For Model Checking: A Pilot Study With Java Pathfinder, Elmin Ibrahimov, Jixing Wang, Zhiquan Zhou
Similarity-Based Search For Model Checking: A Pilot Study With Java Pathfinder, Elmin Ibrahimov, Jixing Wang, Zhiquan Zhou
Dr Zhiquan Zhou
When a model checker cannot explore the entire state space because of limited resources, model checking becomes a kind of testing with an attempt to find a failure (violation of properties) quickly. We consider two state sequences in model checking: (i) the sequence in which new states are generated, and (ii) the sequence in which the states generated in sequence (i) are checked for property violation. We observe that neighboring states in sequence (i) often have similarities in certain ways. Based on this observation we propose a search strategy, which generates sequence (ii) in such a way that similar states …
On The Correlation Between The Effectiveness Of Metamorphic Relations And Dissimilarities Of Test Case Executions, Yuxiang Cao, Zhi Quan Zhou, Tsong Yueh Chen
On The Correlation Between The Effectiveness Of Metamorphic Relations And Dissimilarities Of Test Case Executions, Yuxiang Cao, Zhi Quan Zhou, Tsong Yueh Chen
Dr Zhiquan Zhou
Metamorphic testing (MT) is a property-based automated software testing method. It alleviates the oracle problem by testing programs against metamorphic relations (MRs), which are necessary properties among multiple executions of the target program. For a given problem, usually more than one MR can be identified. It is therefore of practical importance for testers to know the nature of good MRs, that is, which MRs are likely to have higher chances of revealing failures. To address this issue we investigate the correlation between the faultdetection effectiveness of MRs and the dissimilarity (distance) of test case execution profiles. Empirical study results reveal …