Aspect-Oriented Programming With the E Verification Language - A Pragmatic Guide for Testbench Developers

Informationen zum Autor By David Robinson Klappentext What's this AOP thing anyway! really - when you get right down to it - and can someone please explain what an aspect actually is? This title takes a pragmatic! example based! and fun approach to unraveling the mysteries of AOP. It also shows you why 'return' is evil! and some other 'gotchas' with the AOP features of e. Zusammenfassung Takes a pragmatic! example based approach to unraveling the mysteries of AOP. This book helps to learn how to: use AOP to organize your code in a way that makes it easy to deal with the things you really care about in your verification environments. Inhaltsverzeichnis PrefaceIntroduction: About VerilabChapter 1 Introduction to AOP1.1 What are aspects--part I?1.2 Why do I need aspects? What's wrong with cross cutting concerns?1.3 Surely OOP doesn't have any problems?1.4 Why does AOP help?1.5 Theory vs. real life--what else is AOP good for?1.6 What are aspects--part II?Chapter 2 AOP in e2.1 How do I extend a class?2.2 How do I extend a class for multiple values of a determinant?2.3 How do I extend a type?2.4 How do I introduce a new non-coverage member to a class?2.5 How do I introduce a coverage group to a class?2.6 How do I extend a coverage group?2.7 How do I change the behaviour of a method?2.8 How do I limit the scope of my extensions?2.9 Using return in method advice2.10 Controlling the order of method extension callsChapter 3 Using AOP to Organise your Code3.1 A word about style3.2 What aspects do I want to use?3.3 Mapping aspects to filesChapter 4 Creating Flexible CodeChapter 5 Creating Pluggable Code5.1 The extendable case statement5.2 The factory patternChapter 6 Improving your Productivity6.1 Shifting the power6.2 Dealing with broken code6.3 Handling workarounds6.4 Reducing and deferring class complexity6.5 Adding problem specific functionality6.6 Reducing the OOP induced overheadChapter 7 AOP in Action7.1 Creating a class with a selectable algorithm7.2 Creating a configuration interface for an eVC7.3 Using aspects to create a layered verification environment7.4 Creating reusable layered sequences7.5 Testing your verification environment7.6 Debugging using AOP7.7 Encapsulating testsChapter 8 Analysing e Code8.1 The e toolkit8.2 Finding class declarations and extensions8.3 Finding the class inheritance hierarchy8.4 Finding the determinants used by a class8.5 Finding method declarations and extensions8.6 Finding field declarations8.7 Finding event declarations8.8 Finding enumerated type declarations and extensions8.9 How do I find where a value is added to a type?8.10 Finding cover group declarations and extensions8.11 Finding the source of a message in the log file8.12 Finding aspectsAppendix: Useful ReadingEpilogueIndex ...

Product details

• Authors: David Robinson, Robinson David
• Publisher: ELSEVIER SCIENCE BV
• Languages: English
• Product format: Paperback / Softback
• Released: 24.10.2007
• EAN: 9780123742100
• ISBN: 978-0-12-374210-0
• No. of pages: 264
• Series: Morgan Kaufmann Series in Syst; Systems on Silicon; Morgan Kaufmann Series in Syst
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > Programming languages; Programming & scripting languages: general, Programming and scripting languages: general, COMPUTERS / Languages / General