header
Web Search Engine

Tag:
Edit edit   Starstar

Program Information

Name: Web Search Engine
Domain: Algorithm
Functionality: A web search engine $S$ takes a set of key words as an input and displays the results containing all the key words.
Input: A source test case $t$ containing a set of key words.And generate a follow-up test case $t'$ by simply permutating $t$;$t''$ by removing one key word from $t$.
Output: The corrsponding outputs of $t,t',t''$ are $o,o',o''$.

Reference

 Metamorphic Fault Tolerance: An Automated and Systematic Methodology for Fault Tolerance in the Absence of Test Oracle
https://doi.org/10.1145/2591062.2591109 

MR Information

MR1------

Description:
Property: if the order of the key words is changed, the search results should remain unchanged.
Source input: $t$
Source output: $o$
Follow-up input: $t'$
Follow-up output: $o'$
Input relation: $t'$ is constrcted by simply permutating $t$
Output relation: $o=o'$
Pattern:

MR2------

Description:
Property: if one key word is deleted, the amount of search results should either increase or at least remain unchanged.
Source input: $t$
Source output: $o$
Follow-up input: $t''$
Follow-up output: $o''$
Input relation: $t'$ is constrcted by removing one key word from $t$
Output relation: $o\subset o''$
Pattern:
Insert title here