header
Boyer 

Tag:
Edit edit   Starstar

Program Information

Name: Boyer 
Domain: Algorithm
Functionality: The program returns the index of the first occurrence of a specified pattern within a given text 
Input: A given text 
Output: the index of the first occurrence of a specified pattern 

Reference

An Experimental Study to Compare the Use of Metamorphic Testing and Assertion Checking
https://pdfs.semanticscholar.org/17e4/b979f847e7785104139e3ed97b5b3e7967dc.pdf?_ga=2.49721702.1914929612.1565157787-500444029.1561960669 

MR Information

MR1------

Description: The function concatenate (x, y) returns the result of concatenating string x and string y. The function find (x, y) returns the zero-based index of string y within the string x if x contains y; otherwise, it returns −1 
Property: $$If (x_{1} = concatenate (x_{2}, x_{3})) \wedge (find (x_{2}, x_{4}) > −1), then find (x_{1}, x_{4}) = find (x_{2}, x_{4})$$ 
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:

MR2------

Description: The function concatenate (x, y) returns the result of concatenating string x and string y. The function find (x, y) returns the zero-based index of string y within the string x if x contains y; otherwise, it returns −1 
Property: $$If (x_{1} = concatenate (x_{2}, x_{3})) \wedge (find (x_{2}, x_{4}) = −1) \wedge (find (x_{3}, x_{4}) > −1), then find (x_{1}, x_{4})  \leq  length (x_{2}) + find (x_{3}, x_{4})$$ 
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:

MR3------

Description: The function concatenate (x, y) returns the result of concatenating string x and string y. The function find (x, y) returns the zero-based index of string y within the string x if x contains y; otherwise, it returns −1 
Property: $$If (x_{1} = concatenate (x_{2}, x_{3})) \wedge (find (x_{1}, x_{4}) = length (x_{2})), then find (x_{3}, x_{4}) = 0$$ 
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:
Insert title here