Requirement-Based Automated Aspect Verification Boris Vaysburg This presentation will probably involve audience discussion, which will create action items. Use PowerPoint to keep track of these action items during your presentation In Slide Show, click on the right mouse button Select Meeting Minder Select the Action Items tab Type in action items as they come up Click OK to dismiss this box This will automatically create an Action Item slide at the end of your presentation with your points entered.

Boris VaysburgIllinois Institute of Technology2 Outline Problem Statement Proposed Approach Aspectual Requirements Automated Model and Test Generation Aspect-oriented Regression Testing Conclusion

Boris VaysburgIllinois Institute of Technology3 Aspect Testing Testing of aspects is challenging A single aspect affects multiple areas of the system Affects of an aspect are not localized with respect to system functionality Increasingly difficult to track aspect influence as system goes through revisions

Boris VaysburgIllinois Institute of Technology4 Aspect Testing

Boris VaysburgIllinois Institute of Technology5 Aspect Testing

Boris VaysburgIllinois Institute of Technology6 Aspect Testing

Boris VaysburgIllinois Institute of Technology7 Limitation of Existing Methods Limited support of aspect verification on requirement level Support for generation of tests against the entire system only –No selective aspect testing –No regression testing with respect to system aspects

Boris VaysburgIllinois Institute of Technology8 Proposed Approach Approach to automatically track affect of aspectual requirements on the system Provide support for automated aspect testing: –Selectively verify aspect functionality –Regression test affect of aspects on new system functionality Automated model-based test generation directly from specification Based on UML for formal description Individual aspect requirements mapped into system model

Boris VaysburgIllinois Institute of Technology9 Automated Aspect Testing Automatically create UML system model from individual requirements Generate system-level test suite from the system model Generate aspect test suites from the system test suite.

Boris VaysburgIllinois Institute of Technology10 Automated Aspect Testing

Boris VaysburgIllinois Institute of Technology11 System Specifications Comprised of individual requirements –Functional requirements –Aspectual Requirements Performance Security Textual requirements maybe ambiguous Each requirement has: –Requirements ID –Textual description –Formal UML specification

Boris VaysburgIllinois Institute of Technology12 Example of Requirement R1 The system shall accept PIN

Boris VaysburgIllinois Institute of Technology13 Example of Requirement R2 If entered amount exceeds account balance, produce error, disregard action

Boris VaysburgIllinois Institute of Technology14 Automated Model Generation Individual requirements (functional and aspectual) collected from system engineers System model generated from individual requirements Requirement marking preserved

Boris VaysburgIllinois Institute of Technology15 Automated Test Case Generation Tests generated from UML system model Support for various testing strategies –State coverage –Transition coverage –Path coverage Tests mapped to individual requirements

Boris VaysburgIllinois Institute of Technology16 Test Generation

Boris VaysburgIllinois Institute of Technology17 Test Generation

Boris VaysburgIllinois Institute of Technology18 Test Generation Pointcut

Boris VaysburgIllinois Institute of Technology19 Test Generation Pointcut

Boris VaysburgIllinois Institute of Technology20 Test Generation Pointcut

Boris VaysburgIllinois Institute of Technology21 Aspect-based Regression Testing Automatically detect model changes Automatically detect affect of an aspect on the system changes Pointcut

Boris VaysburgIllinois Institute of Technology22 Aspect-based Regression Testing Automatically detect model changes Automatically detect affect of an aspect on the system changes Pointcuts

Boris VaysburgIllinois Institute of Technology23 Conclusions New approach to requirement-based aspect test generation –System-level test suites –Aspect-based selective testing –Aspect-based regression testing May provide significant benefits: –Reduce number of test cases –Maintain test suite quality

Boris VaysburgIllinois Institute of Technology24 Proposed PhD Research Continue review of existing methods/literature Formalize the approach –Formalize model merging algorithm –Formalize test selection algorithm –Further study and formalize automated aspect-based regression testing Design and develop tool to support approach Conduct experimental study

Boris VaysburgIllinois Institute of Technology25 References Aldawud, M.O., Aspect-Oriented Modeling With UML, PhD Dissertation Clarke S., Towards a Standard Design Language for AOSD, Proceedings AOSD 2002 Grundy, J., Aspect-orinted Requirements Engineergin for Component-base Software Systems, Proceedings IEEE Symposium on Requirements Engineering, 1999 Rashid, A., et.al., Modularisation and Composition of Aspectual Requirements, Proceedings, AOSD 2003

Thank You