Test Case Automation for Specification Patterns System and Composite Propositions