Tests SOLID et psychologie cognitive Johan Martinsson @johan_alps changit.fr

Exceptions! exceptionalMethod(userId, data) { try { let isOwner try { isOwner = this.auth.isOwnerOf(userId, data.id) } catch (e) { this.logger.error('got http exception from authService') } if (isOwner) { this.dao.update(data.id, data) } } catch (daoException) { this.logger.error('exception caught') } } nonExceptionalMethod(userId, data) { let isOwner = this.auth.isOwnerOf(userId, data.id) if (isOwner) { this.dao.update(data.id, data) } }

Exceptions throw en bas, catch (tout) en haut

Duplication registerMobile(person) { if (person.age < 13) { throw new Error('too young') } if (person.name === null) { throw new Error('person must have name') } if (this.hasNonDigits(person.phoneNumber)) { new Error('invalid phone number') } console.log('do some stuff') this.dao.insertPerson(person) } registerEmail(person) { if (person.age < 13) { throw new Error('too young') } if (person.name === null) { throw new Error('person must have name') } if (person.email.indexOf('@') <= 0) { throw new Error('invalid email') } console.log('do some stuff') this.dao.insertPerson(person) }

On n’a pas envie de tester du code pas important Et si c’était à cause de la duplicaton?

l’angoisse de null function printItemNames(data) { if (data.prop) { if (data.prop.cart) { if (data.prop.cart.getList() !== null && data.prop.cart.getList() !== undefined) { for (let listItem of data.prop.cart.getList()) { if (listItem.description) { if (listItem.description.name) { console.debug('Phew, finally here!') // actual business logic console.log('And the item name is... ' + listItem.description.name) } } } } } } } function printItemNames(data) { for (let listItem of data.prop.cart.getList()) { console.debug('Phew, finally here!') // actual business logic console.log('And the item name is... ' + listItem.description.name) } }

L’angoisse de null • Ne retournez pas de valeur null • Protégez de null en entrée de l'app

Conditions function conditionalCode1(data) { if (data.something === 'val') { doSomething() if (data.age <= 40 || 'toto' !== data.something) { doAThirdThing() } else { doSomethingAdditional() } } }

Conditions, quand on aime … function conditionalCode(data) { if (data.prop) { if (data.prop.service) { if (data.prop.service.getList() === null && data.prop.service.getList().size > 0) { return 'processed ' + data.prop.service.getList().length + ' results' } else { let defaultResult = 'waiting' return defaultResult; } } } }

Arguments indirects function updateCartItems() { let httpSession = HttpSession.getInstance() let rawCart = httpSession.getCookie().getValue('cart') let cart = new Cart(rawCart) if (cart.lastModificationDate < Date.now() - 24 * 60 * 60 * 1000) { cart.removeAllItems(); } // etc ... // heavy logic to make sure availability is still ok, // that prices haven't changed // that items in the cart haven't expired etc }

Code inspectable function hardToTest() { let data = getStuffFromWebservice() // // pure logic // pure logic // pure logic // pure logic // pure logic // pure logic // pure logic // pure logic // pure logic // let result let saveResult = saveToDatabase(result) } function easyToTest() { let data = getStuffFromWebservice() let result = easyToTestPureFunction(data) let saveResult = saveToDatabase(result) } function easyToTestPureFunction(data) { // // pure logic // pure logic // pure logic // pure logic // pure logic // pure logic // pure logic // pure logic // pure logic // }

• “The tests are a canary in coal mining revealing by their distress the presence of evil design vapors” - Kent Beck • “Sometimes we find it difficult to write a test … this usually means that our design can be improved” - S. Freeman, N. Pryce

No content

No content

Améliore-t-on le code?

Avec tests on a la possibilité de simplifier le code

Cercle vicieux/ vertueux

TDD requiert une maîtrise cognitive Etat préalable? Action? Résultat attendu?

Chunking

Mémoire court terme

Mémoire long terme - espace infinie Gael Varoquaux flickr Attribution 2.0 Generic (CC BY 2.0)

LTM est fait pour être étendu, pas mis à jour

Je t’ai refactoré ton code! C'est cadeau!

Ce sera plus simple … peut-être … un jour

Lorsque le code évolue, on invalide le cache du LTM

– Phil Karlton “There are only two hard things in Computer Science: cache invalidation and naming things.”

Optimisation de cache! Trouver quoi réécrire
 Réécrire moins

Chunk ~= unité de stockage • Un nom pour l’adressage • Couplage fort -> contamination

– Robert C Martin "A class should have only one reason to change," SRP

– Bertrand Meyer "software entities (classes, modules, functions, etc.) should be open for extension, but closed for modification" OCP

No content

No content

Notre cerveau a besoin de • Blocs de 4-5 éléments • noms • cohésion • assembler plutôt que modifier

Notre code de prod a besoin de • peu de duplication • peux de couplage • cohésion • morceaux à assembler

Les tests ont besoin de • Peu de duplication • Isolation des dépendances • Petites choses • Responsabilités séparés • Code simple

Les tests, le cerveau et les principes poussent le code dans le même sens Sauf la facilité d’écriture?

? • changit.fr • cognitive psychology • Tom Mullen, Writing code for other people, 2009 • Kessler, Y., & Meiran, N. (2006), • Michael Feathers (synergy between testability and good design)