Design by Contract (DbC) och körtid efterlevnad av program påståenden gör det möjligt att bygga mer robust programvara. Det gör det också möjligt att skuldbelägga felrapportering. Tyvärr finns det inget stöd för runtime kontrakts efterlevnad och skuldtilldelning för Aspect-orienterad programmering (AOP). Att utvidga DbC till att även omfatta aspekter för fram en uppsjö av frågor som rör den korrekta ordningen för validering av påståenden. Vi visar att det i allmänhet inte finns någon korrekt utförandesekvens av objektpåståenden och aspektpåståenden. En ytterligare klassificering av aspekter som agnostiska, lydiga eller upproriska definierar den ordning för validering av påståenden som måste följas. Vi beskriver tillämpningen av denna klassificering i ett prototyperat DbC-verktyg för AOP som heter CONA, där aspekter används för att genomföra avtal, och kontrakt används för att genomdriva påståenden om aspekter.
Lorenz och Skotiniotis REF diskuterade hur man kan utvidga Design by Contract (DbC) till en aspektorienterad programmering.
Extending Design by Contract for Aspect-Oriented Programming
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}