4. Customers access an online store via the Web browse product information, input their address and payment information, and purchase products. Suppliers can add new products, update product information and receive orders. The storeowner sets the retail prices, makes tailored offers to customers based on their purchasing profiles, and provides marketing services. The steps for the online purchase transaction use case OP001 are as follows: a Customer logs on to the system via a web browser by entering her this user name and password b. Customer selects an item from the online catalog and adds it to the shopping cart. No item may be valued less than $10. c. The customer may select as many items as needed but no less than 3 items. No item may be valued less than $10. d Customer proceeds to checkout by entering her his address, credit card type card number, and expiration date. The system verifies the credit card information using a third-party system e. Upon completion of the purchase, a receipt is displayed in the browser and the online store sends an email confirming the purchase The customer logs out of the system after the purchase. (a) Draw a state machine diagram for the OP001 use case. Use at most 8 states Use a modeling tool, such as StarUML to draw your state machine (statechart), copy and paste the state machine into this document. Label all states and transitions. [10] (b) Write test cases that satisfy the following coverage criteria on the state machine: all states, all events and all transitions. You need to show that each coverage criterion is achieved [15 (e) Using a diagram show the subsume hierarchy for the coverage criteria for state machines. Use the test cases written in part (b) to support your answer [51 4. Customers access an online store via the Web browse product information, input their address and payment information, and purchase products. Suppliers can add new products, update product information and receive orders. The storeowner sets the retail prices, makes tailored offers to customers based on their purchasing profiles, and provides marketing services. The steps for the online purchase transaction use case OP001 are as follows: a Customer logs on to the system via a web browser by entering her this user name and password b. Customer selects an item from the online catalog and adds it to the shopping cart. No item may be valued less than $10. c. The customer may select as many items as needed but no less than 3 items. No item may be valued less than $10. d Customer proceeds to checkout by entering her his address, credit card type card number, and expiration date. The system verifies the credit card information using a third-party system e. Upon completion of the purchase, a receipt is displayed in the browser and the online store sends an email confirming the purchase The customer logs out of the system after the purchase. (a) Draw a state machine diagram for the OP001 use case. Use at most 8 states Use a modeling tool, such as StarUML to draw your state machine (statechart), copy and paste the state machine into this document. Label all states and transitions. [10] (b) Write test cases that satisfy the following coverage criteria on the state machine: all states, all events and all transitions. You need to show that each coverage criterion is achieved [15 (e) Using a diagram show the subsume hierarchy for the coverage criteria for state machines. Use the test cases written in part (b) to support your answer [51