Software assurance for Java
Java applet and application developers must protect their reputations
Make sure the code they distribute behaves properly
Make sure their code does not introduce new risks
Software Engineering helps
- risk-based testing
- protocol analysis
- formal methods
- extensive testing (Kimera group’s automatic testing)
- static analysis