ICTSS'11
November 7-10, 2011, Paris, France
Tutorials on the Tutorial Day (7.th Nov)
Smartesting: Model-driven testing for Information systems – From
business requirements to test repositories
Abstract: This tutorial shows how model-driven
testing renews the whole process of functional software testing for IT
projects. Model-driven testing provides full support for test
production and maintenance, with manual and/or automated test
execution. It supports the phases of designing the test generation
models, generating and documenting the tests, producing and
maintaining the bi-directional traceability between tests and business
requirements, and implementing the test automation layer. This
tutorial addresses these points by presenting a tool-based
model-driven testing for Information Systems process, giving the
specifics of testing large-scale information systems, including
packaged applications (ERP, CRM, HRM, \).
Pre-requisites : TBA
Speaker: Bruno Legeard – Jean-Pierre Schoch
Short bio : Bruno Legeard, CTO of Smartesting and
Professor of Software Engineering at The University of Franche-Comté
(France). Prof. Dr. Bruno Legeard, co-founder and CTO of Smartesting,
is internationally recognized as an expert and a well known speaker in
the model-driven testing field. He has given keynotes at numerous
testing and software engineering conferences.
Jean- Pierre Schoch, Model-driven testing Expert and
Chief Architect at Smartesting Jean-Pierre joined Smartesting in May
2008 after 13 years with Rational in the United States and in France
promoting object-oriented technologies, and more specifically
Model-Driven Development and Model-Driven Architecture approaches. The
decision to join Smartesting was largely motivated by the prospect of
contributing to the development of a Model-driven Testing approach to
industrialize software testinng.
Detailed Info: Flyer
Slides(pdf)
Microsoft Research: Parameterized Unit Testing
Abstract: Developer testing has been widely
recognized as an important and valuable means of improving
software reliability. Recently parameterized unit testing has
emerged as a very promising and effective methodology to
separate two concerns: the specification of externally visible
behavior by developers (black-box) and the generation and
selection of relevant test inputs by tools (white-box). This
tutorial presents principles, techniques, and applications of
parameterized unit testing in practice.
Pre-requisites : A laptop with a web browser,
knowledge of programming in C# or Java, basic knowledge of
(unit) testing
Speaker: Nikolai Tillmann
Short bio : Nikolai Tillmann is a Principal Research
Software Design Engineer at Microsoft Research. He recently
started the TouchStudio project, which enables anyone to write
programs for mobile devices on mobile devices. He leads the
Pex project, an automatic test-case generator for .NET
applications based on parameterized unit testing and dynamic
symbolic execution. http://pex4fun.com, using the same
underlying technology, hosts a serious cloud-based game that
helps students improve their programming skills. He also works
on the Spur project, a tracing Just-In-Time compiler for .NET
and JavaScript code. Previously he worked on AsmL, Spec
Explorer, and XRT, tools for model-based testing.
Slides(pptx)
Slides(pdf)
Pre-requisites : TBA
Speaker: Bruno Legeard – Jean-Pierre Schoch
Short bio : Bruno Legeard, CTO of Smartesting and Professor of Software Engineering at The University of Franche-Comté (France). Prof. Dr. Bruno Legeard, co-founder and CTO of Smartesting, is internationally recognized as an expert and a well known speaker in the model-driven testing field. He has given keynotes at numerous testing and software engineering conferences.
Jean- Pierre Schoch, Model-driven testing Expert and Chief Architect at Smartesting Jean-Pierre joined Smartesting in May 2008 after 13 years with Rational in the United States and in France promoting object-oriented technologies, and more specifically Model-Driven Development and Model-Driven Architecture approaches. The decision to join Smartesting was largely motivated by the prospect of contributing to the development of a Model-driven Testing approach to industrialize software testinng. Detailed Info: Flyer
Slides(pdf)
Microsoft Research: Parameterized Unit Testing
Abstract: Developer testing has been widely recognized as an important and valuable means of improving software reliability. Recently parameterized unit testing has emerged as a very promising and effective methodology to separate two concerns: the specification of externally visible behavior by developers (black-box) and the generation and selection of relevant test inputs by tools (white-box). This tutorial presents principles, techniques, and applications of parameterized unit testing in practice.Pre-requisites : A laptop with a web browser, knowledge of programming in C# or Java, basic knowledge of (unit) testing
Speaker: Nikolai Tillmann
Short bio : Nikolai Tillmann is a Principal Research Software Design Engineer at Microsoft Research. He recently started the TouchStudio project, which enables anyone to write programs for mobile devices on mobile devices. He leads the Pex project, an automatic test-case generator for .NET applications based on parameterized unit testing and dynamic symbolic execution. http://pex4fun.com, using the same underlying technology, hosts a serious cloud-based game that helps students improve their programming skills. He also works on the Spur project, a tracing Just-In-Time compiler for .NET and JavaScript code. Previously he worked on AsmL, Spec Explorer, and XRT, tools for model-based testing.
Slides(pptx) Slides(pdf)