|
"Doing things the way we always do them isn’t the answer." Richard Soley |
|
Location:
Room 330, Building 78 (General Purpose South) |
|
|
PhD Research Topic: |
|
|
Model Driven Framework for Verification and Validation of Component Integration
Model-driven architecture (MDA) is an emerging technology for developing software applications in which models at various levels of abstraction are used to automate software development and testing. Component-Based Software Development (CBSD) is a process in which software applications are developed by reusing existing components. The objective of this research is to investigate the use of MDA in the context of component-based testing and to propose and evaluate a novel framework for model-driven verification and validation (V&V) of component integration. |
|
|
|
|
|
Tools of Interest |
|
|
Tefkat: Model-to-Model Transformations Engine |
|
|
MOFScript: Model-to-Text Generation Engine |
Publications / Confirmation Report
1.
A. Z. Javed, P. A. Strooper and G. N. Watson. Automated
Generation of Test Cases Using Model-Driven Architecture. Proceedings of
the 2nd International Workshop on Automation of Software Test at the 29th
International Conference on Software Engineering,
2.
Confirmation
Report: Model-Driven Framework for Context-Dependent Testing of Components.
[ seminar slides ]
Last updated: June 1, 2007
"Any program feature without an automated test simply doesn’t exist.” Kent Beck