Mastering AspectJ: Aspect-Oriented Programming in Java
Mastering AspectJ: Aspect-Oriented Programming in Java
The effect of certain modular design principles on testability
Proceedings of the international conference on Reliable software
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
Software testing using imprecise OCL constraints as oracles
CompSysTech '07 Proceedings of the 2007 international conference on Computer systems and technologies
Towards model-driven unit testing
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Automating Java Program Testing Using OCL and AspectJ
ITNG '10 Proceedings of the 2010 Seventh International Conference on Information Technology: New Generations
| Hi-index | 0.00 |
We can specify design constraints of a software system using a formal language such as Object Constraint Language (OCL). However, OCL is not executable and cannot be explicitly used as a testing method. So runtime constraint checking is needed to mitigate this problem. Checking design constraints at runtime can help to detect design drift. On the other hand, making a software testable is also hard since testing requires active involvement of programmers. Testable software introduces a quality characteristics of software artifact called testability. This paper mainly concentrates on improving observability, one of the major factors that determine testability of a software artifact. To avoid design drift and make software more testable, this paper proposes an aspect-oriented testability framework for object oriented software testing, which enables runtime constraint checking against implementation code and improves the testability of a software system. This framework completely takes the advantage of aspect-oriented programming (AOP) approaches and is totally modular and plug-and-playable.