Session n°2 : Moles et Pex - Jonathan "Peli" de Halleux, Microsoft Research

9 views
Skip to first unread message

Guillaume Collic

unread,
Jan 28, 2010, 5:32:20 AM1/28/10
to ALT.Net Rennes

Moles et Pex : Test Unitaires Isolés et Parametrisés

Jeudi 11 février 2010, max 35 personnes
CCI - salle Bréhat-
2, avenue de la Préfecture- Rennes

Conférence par Jonathan "Peli" de Halleux de Microsoft Research - Redmond - USA

Description de la session :

L’utilisation de tests unitaires est une technique de développent populaire et efficace.

Elle repose sur le fait que chaque test valide une unité de code en isolation.
En réalité, exécuter du code en isolation est beaucoup plus compliqué qu’il n’y parait : le code appelle un service web, une base de donnée, lit un ficher, etc...
Dès lors, les tests unitaires, supposés très rapide et robustes, deviennent lents et non-déterministes à cause de diverses dépendances externes.

Dans le meilleur des cas, le développeur introduit un niveau d’abstraction, e.g. des interfaces, entre le code et les dépendances. Ceci permet d’exécuter le code avec des dépendances factices (mocks) en isolation. Néanmoins, il est aussi très commun de trouver des dépendances pour lesquels il n’existe pas d’abstraction, appels à des méthodes statiques, utilisation de types scellés avec constructeurs internes, etc... Dans cette présentation, nous parlerons de Moles, un outil qui permet d’écrire des tests unitaires en isolation facilement avec ou sans abstraction. 
Nous parlerons aussi de Pex, un outil dont le but est de générer une suite de tests avec un maximum de couverture de code.

Moles et Pex sont disponibles en téléchargement sur le site DevLabs de MSDN.

A propos de Jonathan 'Peli' de Halleux :

En quelques années seulement "Peli" est devenu incontournable.
En 2004, il obtint un doctorat en Mathématiques Appliqués à l'université de Louvain, puis rejoint Microsoft et travailla jusqu'en 2006 sur la CLR sur le compilateur "Just In Time" en temps que "Software Design Engineer in Test".
En Octobre 2006, il rejoint alors 
Foundations for Software Engineering.

Il travailla entre autre sur les outils MbUnitQuickGraph et sur une série d'add-in pour le Reflector.
Plus récemment, on lui doit 
CodeContracts et Chess.

 

Guillaume Collic

unread,
Mar 24, 2010, 9:18:09 AM3/24/10
to ALTNet Rennes
Bonjour à tous,

la conférence de Peli sur "Moles et Pex : Test Unitaires Isolés et
Parametrisés" est désormais en ligne. Il s'agit de celle qu'il a faite
aux Microsoft Techdays à Paris, et le contenu se rapproche beaucoup de
celle de Rennes.

http://blog.dotnetwiki.org/2010/03/24/MSTD10TestUnitaireDeServicesSharePointAvecPexEtMoles.aspx

Bonne journée,

Guillaume

On Jan 28, 11:32 am, Guillaume Collic <gcol...@gmail.com> wrote:
>  Moles et Pex : Test Unitaires Isolés et Parametrisés Jeudi 11 février 2010,
> max 35 personnes
> CCI - salle Bréhat-
> 2, avenue de la Préfecture- Rennes
>

> *Conférence** par Jonathan "Peli" de Halleux de Microsoft Research - Redmond
> - USA*
>
> *Description de la session :*


>
> L’utilisation de tests unitaires est une technique de développent populaire
> et efficace.
>
> Elle repose sur le fait que chaque test valide une unité de code en
> isolation.
> En réalité, exécuter du code en isolation est beaucoup plus compliqué qu’il
> n’y parait : le code appelle un service web, une base de donnée, lit un
> ficher, etc...
> Dès lors, les tests unitaires, supposés très rapide et robustes, deviennent
> lents et non-déterministes à cause de diverses dépendances externes.
>
> Dans le meilleur des cas, le développeur introduit un niveau d’abstraction,
> e.g. des interfaces, entre le code et les dépendances. Ceci permet
> d’exécuter le code avec des dépendances factices (mocks) en isolation.
> Néanmoins, il est aussi très commun de trouver des dépendances pour lesquels
> il n’existe pas d’abstraction, appels à des méthodes statiques, utilisation
> de types scellés avec constructeurs internes, etc... Dans cette

> présentation, nous parlerons de* Moles*, un outil qui permet d’écrire des


> tests unitaires en isolation facilement avec ou sans abstraction.

> Nous parlerons aussi de *Pex*, un outil dont le but est de générer une suite


> de tests avec un maximum de couverture de code.
>

> *Moles et Pex* sont disponibles en téléchargement sur le site *DevLabs de
> MSDN*.
>
> *A propos de Jonathan 'Peli' de Halleux :*


>
> En quelques années seulement "Peli" est devenu incontournable.
> En 2004, il obtint un doctorat en Mathématiques Appliqués à l'université de
> Louvain, puis rejoint Microsoft et travailla jusqu'en 2006 sur la CLR sur le
> compilateur "Just In Time" en temps que "Software Design Engineer in Test".

> En Octobre 2006, il rejoint alors *Foundations for Software
> Engineering*<http://research.microsoft.com/fse/>
> .
>
> Il travailla entre autre sur les outils *MbUnit* <http://mbunit.com/>, *
> QuickGraph* <http://www.codeplex.com/quickgraph> et sur une série *d'add-in
> pour le Reflector* <http://www.codeplex.com/reflectoraddins>.


> Plus récemment, on lui doit

> *CodeContracts*<http://research.microsoft.com/contracts/>
>  et *Chess* <http://research.microsoft.com/chess>.

Reply all
Reply to author
Forward
0 new messages