Slide 2
Slide 2 text
Automated isolation for white-box test generation 2
Generating tests/test inputs from the code
• Numerous techniques and tools (→ see tool list)
• Many challenges in real-world code
• Handling dependencies and environment
Motivation: white-box test generation
bool TransferMoney(Token userToken, long amount, Account destination) {
if (amount <= 0) throw new Exception("Invalid amount to transfer");
int balance = DB.RunQuery("GetBalance", userToken);
if (balance < amount) throw new Exception("Not enough balance");
TransferProcessor tp = new TransferProcessor(userToken);
ProcessedTransfer pt = tp.Process(amount, destination);
return pt.IsSuccess;
}
DB
network