CS 272 - Software Engineering

Research Project Ideas

---

Here are some research project ideas:

• Automated testing and verification of Web services.
• Automated testing and verification of MVC based Web applications (such as Ruby-on-Rails or Zend).
• Modular verification using interface grammars. Some possible projects on this topic are:
  • Extending interface grammars for GUI testing
  • Extending interface grammars for testing concurrent or distributed programs.
  • Exploring restricted interface grammars that lead to efficient verification.
• Size analysis. The basic idea is to check properties relating to sizes of collections using automated verification techniques. Some possible projects on this topic are:
  • Size analysis for JML.
  • Size analysis in programs for strings or arrays.
• Comparing performance of different verification tools. For example:
  • Comparison of a software model checker (such as JPF) and a testing tool (such as Jemmy) for GUI testing.
  • Comparing Alloy analyzer and Action Language Verifier for verification of numeric properties.
• Automated analysis and verification of UML diagrams. For example:
  • Automated analysis of class diagrams using Alloy.
  • Automated analysis of statecharts, activity, collaboration or sequence diagrams using a model checker.