model based software regression testing for software components