Life-Cycle E-commerce Testing with OO-TTCN-3