Testing Attribute-Based Transactions in SOC