Using aspect-oriented programming for trustworthy software development

Using Aspect-Oriented Programming for Trustworthy Software Development......Page 3
Contents......Page 7
Preface......Page 11
ACKNOWLEDGMENTS......Page 14
1.1 The Role of Aspect-Oriented Programming in Trustworthiness......Page 15
1.2 Historical Background and Personal Experience......Page 17
1.3 Organization of the Book......Page 22
2.1 History of and Growing Need for TWC......Page 24
2.2 Microsoft’s TWC Initiative......Page 27
2.3.1 Security......Page 29
2.3.2 Privacy......Page 37
2.3.3 Reliability......Page 39
2.3.4 Business Integrity......Page 41
2.4 Software Engineering Technologies and Tools for TWC......Page 44
2.5.1 .NET Overview......Page 45
2.5.2 .NET Security......Page 48
2.5.3 .NET and Reliability......Page 51
2.5.4 .NET TWC Tools FxCop and Spec#......Page 53
2.6.1 Java Overview......Page 56
2.6.2 Java Security......Page 58
2.6.3 Java and Reliability......Page 60
2.6.4 Java TWC Tools......Page 62
2.7 Summary......Page 63
3.1 History of AOP......Page 64
3.2 AOP Basics......Page 68
3.3.1 AspectJ and AspectWerkz......Page 80
3.3.2 Other AOP Tools and Approaches to Separation of Concerns......Page 84
3.4. Pitfalls of AOP......Page 87
3.5 AOP for Java......Page 90
3.6 AOP for .NET......Page 93
3.7.1 Motivation and Key Ideas......Page 99
3.7.2 Basic Concepts of AOP......Page 102
3.7.3 Example......Page 105
3.7.4 Representing Aspects by Custom Attributes......Page 106
3.7.5 Example in Terms of Custom Attributes......Page 108
3.7.6 Summary of Our Approach to AOP......Page 109
3.7.7 Aspect.NET Architectural Principles......Page 111
3.7.8 Syntax of AOP Metalanguage (Version 1.0)......Page 113
3.7.9 Another Example......Page 115
3.8 Features and Use of Aspect.NET......Page 116
3.8.2 Previous Releases of Aspect.NET and the Compatibility Mode......Page 117
3.8.3 Aspect.NET Architecture......Page 118
3.8.4 Case Study: Using the Aspect.NET Framework......Page 120
3.8.5 Aspect.NET Framework Options......Page 127
3.8.6 Aspect.NET.ML Metalanguage......Page 128
3.8.7 Samples Included in the Aspect.NET 2.1 Release......Page 136
3.9.1 AOP......Page 137
3.9.2 Aspect.NET......Page 139
4.1 AOP and TWC: Cooperation Rather Than Violation......Page 142
4.2 AOP for Security......Page 146
4.3 AOP for Error Handling......Page 150
4.4 AOP for Synchronization......Page 156
4.5 AOP for Trustworthy Multithreading- and Multicore-Based Applications......Page 159
4.6 AOP for Privacy......Page 163
4.7.1 Using AOP to Make Implementation Reliable......Page 167
4.7.2 Using AOP for Software Testing......Page 171
4.7.3 Using AOP to Support Formal Specification and Verification Methods......Page 178
4.8 AOP for Business Integrity......Page 179
4.9 AOP for Design by Contract......Page 182
4.10 Using AOP via Aspect.NET to Improve Productivity and Reliability......Page 197
4.10.1 Effort Estimation Using the COCOMO Model......Page 198
4.10.2 Assessment of Aspect.NET Using the ICED-T Model......Page 201
4.10.3 Assessment of Requirements of Aspect.NET Using the SQFD Model......Page 204
4.11 Application Efficiency and Performance Using AOP......Page 207
4.11.1 Performance Measurement......Page 208
4.11.2 Implementation Details and the Woven IL Code......Page 211
4.11.3 Another Performance Measurement Example......Page 212
4.12 AOP and Agile Programming Approaches......Page 216
4.13 Summary......Page 220
5. Teaching TWC and AOP......Page 222
5.1.1 The ERATO Teaching Paradigm......Page 223
5.1.2 The SPBU.NET Project......Page 226
5.2.1 The T-ERATO Teaching Paradigm......Page 229
5.2.2 The TrustSPBU.NET Project......Page 231
5.3.1 Structure of the Secure Software Engineering Course......Page 234
5.4 Teaching Trustworthy .NET and C# Programming......Page 252
5.4.1 Structure of the Trustworthy .NET and C# Programming Course......Page 253
5.4.2 Structure of the .NET and C# Programming Seminar......Page 263
5.5 Teaching Trustworthy Java Technology......Page 265
5.5.1 Structure of the Java Course......Page 266
5.5.2 Structure of the Java Seminar......Page 271
5.6 Teaching Trustworthy Operating Systems and Networking......Page 274
5.6.1 Structure of the Trustworthy Operating Systems and Networking Course......Page 276
5.7 Teaching Trustworthy Compiler Development......Page 277
5.7.1 Structure of the Trustworthy Compiler Development Course......Page 279
5.7.2 Structure of the Compiler Development Seminar......Page 280
5.8 Summary......Page 282
6.1 Summary of the Book......Page 283
6.2 Perspectives: Integration of TWC, AOP, Formal Methods, and Knowledge Management......Page 285
6.2.1 Application of Formal Methods to Trustworthy AOP......Page 286
6.2.3 AOP Specification and Design Support Tools......Page 287
6.2.4 Trustworthy Reverse Engineering and Refactoring Tools for AOP......Page 288
6.2.5 Aspect-Oriented Modeling on the Basis of Extended UML......Page 289
A.1 TestArgs Example......Page 290
A.2 RetTest Example......Page 293
A.3 RetTest2 Example......Page 296
A.4 QuickSort Example......Page 298
A.5 Matrix Example......Page 309
References......Page 335
Index......Page 343