Question & Answer: You are developing a software system for credit card company. It is very important to make sure "when customer u…..

5. 12 marks] You are developing a software system for credit card company. It is very important to make sure when customer use his/her credit card to purchase, each purchase amount doesnt exceed his/her credit limit. Please use axiomatic approach to provide formal specification for the above system requirement. Please clearly write down pre-condition, post-condition and the axiom rule you use.

You are developing a software system for credit card company. It is very important to make sure “when customer use his/her credit card to purchase, each purchase amount doesn’t exceed his/her credit limit.” Please use axiomatic approach to provide formal specification for the above system requirement. Please clearly write down pre-condition, post-condition and the axiom rule you use.

Expert Answer

 

Answer) The pre conditions for the software may include :

  • The customer should have an activated credit card with a limit set to it
  • The customer should have all the things like mobile number and mail id verified
  • The customer should have his/her PAN card details verified as well
  • The customer should have a unique card number
  • An OTP must be sent to registered number whenever a transaction is done to verify the transaction
  • The software must have the details about every customer’s balance
  • The last date and interest rates should be predefined

The Post conditions for the software may include :

  • The customer can not do a purchase of more than the limit decided on the card
  • The customer’s transaction is always confirmed after writing down the otp received on registered mobile number
  • The customer is provided with the details of his transaction through mail/sms as soon as the transaction is done
  • The software must update the amount used by the credit card owner as soon as any purchase is made and keep a track of the limit provided on to it
  • The software is required to send the alert messages regarding the last date of paying the bills due on credit card before the due date
Still stressed from student homework?
Get quality assistance from academic writers!