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