advertisement

A Backpack to go the Extra-Functional Mile (a hitched hike by the PROWESS project)

45 %
55 %
advertisement
Information about A Backpack to go the Extra-Functional Mile (a hitched hike by the...
Technology

Published on March 7, 2014

Author: lauramcastro

Source: slideshare.net

Description

Property-based testing is an already known testing methodology for the Erlang community, with tools such as QuickCheck and PropEr being highly popular among Erlang developers in the last few years. However, they are commonly used for functional testing... Which are the challenges in using them for testing non-functional properties of software? What other tools or libraries are there to help Erlang developers?
advertisement

A Backpack to go the Extra-Functional Mile a hitched hike by the PROWESS project Laura M. Castro Universidade da Coruña (Spain) SF Erlang Factory, March 6th, 2014

relationship between the business criticality of modiability and IT project success. There is a signicant negative relationship between the performance and IT project There is a possible signicant business criticality of success. The impact of NFRs on project success N. Martens (University of Utrecht, 2011)

The application of verication (starting as early as possible during the software development life cycle) has a positive inuence on IT The long term project success. benets of verication outweigh the costs. short term extra The impact of NFRs on project success N. Martens (University of Utrecht, 2011)

www.prowess-project.eu

Smother The PROWESS Tools

Smother The PROWESS Tools What does it do? Code coverage for Erlang.

Smother The PROWESS Tools What does it do? Code coverage Wait. . . what about cover? for Erlang. While cover accounts for executable LOC, smother applies MC/DC coverage.

Smother The PROWESS Tools What does it do? Code coverage for Erlang. Wait. . . what about cover? While cover accounts for executable LOC, smother applies MC/DC coverage. What's MC/DC coverage? • • • • Each decision tries every possible outcome. Each condition in a decision takes on every possible outcome. Each entry and exit point is invoked. Each condition in a decision is shown to independently aect the outcome of the decision.

Smother The PROWESS Tools How does it work? Let's see a demo!

Smother The PROWESS Tools How does it work? Let's see a demo! There's also a tutorial on Youtube.

Smother The PROWESS Tools How does it work? Can I use it? Let's see a demo! There's also a tutorial on Youtube. Yes.

Smother The PROWESS Tools How does it work? Can I use it? Let's see a demo! There's also a tutorial on Youtube. Yes. And if you do, there's a user survey :).

Smother The PROWESS Tools How does it work? Can I use it? Where can I get it? Let's see a demo! There's also a tutorial on Youtube. Yes. And if you do, there's a user survey :). GitHub: https://github.com/ramsay-t/Smother

JSONGEN The PROWESS Tools

JSONGEN The PROWESS Tools What does it do? Generates and validates JSON instances w.r.t. a JSON schema.

JSONGEN The PROWESS Tools What does it do? Generates and validates JSON instances w.r.t. a JSON schema. Wait. . . what? I've seen this before! Not Suresh Khatri's (Javascript). Not Rick Byington's (Java). Not Douglas Hall's (Golang). Not JSON-Generator (online data sampler). Not Luká² Gergel's (online data sampler).

JSONGEN The PROWESS Tools What does it do? Generates and validates JSON instances w.r.t. a JSON schema. Wait. . . what? I've seen this before! Not Suresh Khatri's (Javascript). Not Rick Byington's (Java). Not Douglas Hall's (Golang). Not JSON-Generator (online data sampler). Not Luká² Gergel's (online data sampler). What's the dierence? Implemented in Erlang :).

JSONGEN The PROWESS Tools What does it do? Generates and validates JSON instances w.r.t. a JSON schema. Wait. . . what? I've seen this before! Not Suresh Khatri's (Javascript). Not Rick Byington's (Java). Not Douglas Hall's (Golang). Not JSON-Generator (online data sampler). Not Luká² Gergel's (online data sampler). What's the dierence? Implemented in Erlang :). Uses PBT data generation capabilities.

JSONGEN The PROWESS Tools How does it work? Let's see a demo!

JSONGEN The PROWESS Tools How does it work? Can I use it? Let's see a demo! Yes.

JSONGEN The PROWESS Tools How does it work? Can I use it? Let's see a demo! Yes. But it's work in progress.

JSONGEN The PROWESS Tools How does it work? Can I use it? Where can I get it? Let's see a demo! Yes. But it's work in progress. GitHub: https://github.com/aherranz/jsongen

WSToolKit The PROWESS Tools

WSToolKit The PROWESS Tools What does it do? Assists in using PBT tools for web services.

WSToolKit The PROWESS Tools What does it do? Assists in using PBT tools for web What do web services have in particular? services. They are described in WSDL documents, accessed via REST APIs, change and evolve continuously.

WSToolKit The PROWESS Tools What does it do? Assists in using PBT tools for web services. What do web services have in particular? They are described in WSDL documents, accessed via REST APIs, change and evolve continuously. How does this tool help? Generates test model skeletons from WSDL descriptions. Generates test model skeletons by interacting with a REST API. Provides a powerful WSDL-like DSL for custom data generation. Updates existing test models to adjust to WS changes.

WSToolKit The PROWESS Tools How does it work? Let's see some code. . .

WSToolKit The PROWESS Tools How does it work? Can I use it? Let's see some code. . . You can run the provided examples, but it's still work in progress.

WSToolKit The PROWESS Tools How does it work? Can I use it? Where can I get it? Let's see some code. . . You can run the provided examples, but it's still work in progress. GitHub: https://github.com/RefactoringTools/WSToolkit

readSpec The PROWESS Tools

readSpec The PROWESS Tools What does it do? Generates human readable versions of test properties and test models.

readSpec The PROWESS Tools What does it do? Readable how? Generates human readable versions of test properties and test models. Cucumber-like.

readSpec The PROWESS Tools What does it do? Readable how? What is Cucumber? Generates human readable versions of test properties and test models. Cucumber-like. Behavior-driven development tool. Originally written in Ruby, many clones. Automated acceptance tests.

readSpec The PROWESS Tools How does it work? Let's see some code. . .

readSpec The PROWESS Tools How does it work? Can I use it? Let's see some code. . . You can run the provided examples, but it's still work in progress.

readSpec The PROWESS Tools How does it work? Can I use it? Let's see some code. . . You can run the provided examples, but it's still work in progress. Where can I get it? GitHub: https://github.com/lauramcastro/readspec

a11y-checker The PROWESS Tools

a11y-checker The PROWESS Tools What does it do? Tests web pages for conformance to WCAG 2.0.

a11y-checker The PROWESS Tools What does it do? Tests web pages for conformance to WCAG 2.0. Wait. . . what? I've seen this before, too! Not Wave (online checker). Not AChecker (online checker).

a11y-checker The PROWESS Tools What does it do? Tests web pages for conformance to WCAG 2.0. Wait. . . what? I've seen this before, too! Not Wave (online checker). Not AChecker (online checker). What's the dierence? Implemented in Erlang :).

a11y-checker The PROWESS Tools What does it do? Tests web pages for conformance to WCAG 2.0. Wait. . . what? I've seen this before, too! Not Wave (online checker). Not AChecker (online checker). What's the dierence? Implemented in Erlang :). A11y guidelines as QuickCheck properties. Features a PBT-like HTML generator.

a11y-checker The PROWESS Tools How does it work? Let's see a demo!

a11y-checker The PROWESS Tools How does it work? Can I use it? Let's see a demo! Yes!

a11y-checker The PROWESS Tools How does it work? Can I use it? Where can I get it? Let's see a demo! Yes! GitHub: https://github.com/antiapuentes/a11y-checker

MEGALoad The PROWESS Tools

MEGALoad The PROWESS Tools What does it do? Provides a cloud testing framework.

MEGALoad The PROWESS Tools What does it do? What kind of tests? Provides a cloud testing framework. Performance and load testing.

MEGALoad The PROWESS Tools What does it do? What kind of tests? Provides a cloud testing framework. Performance and load Wait. . . what? There are many load testing tools! testing. Not SaaS, rather TaaS. PBT for powerful exibility, automation, reporting.

MEGALoad The PROWESS Tools How does it work? A teaser. . .

MEGALoad The PROWESS Tools How does it work? A teaser. . .

MEGALoad The PROWESS Tools How does it work? A teaser. . . What else can I expect? Integration with JSONGEN. A NFR property library for ne-grain tests.

MEGALoad The PROWESS Tools How does it work? A teaser. . . What else can I expect? Integration with JSONGEN. A NFR property library for ne-grain tests. Where will I be able to use it? Soon!

MEGALoad The PROWESS Tools How does it work? A teaser. . . What else can I expect? Integration with JSONGEN. A NFR property library for ne-grain tests. Where will I be able to use it? Soon! (stay tunned at upcoming Erlang events)

To take home • • • • An improved way to have a measure about how well do your tests cover your code Two ways to generate data for your tests A way to generate skeletons for your test models A way to turn your test properties and models into readable text • A way to certify your accesibility compliance • A way to assess your behaviour under congurable load

Thanks for your attention! time_for ( Questions ) -> [ speaker ! OneByOne || OneByOne <- Questions ] . @lauramcastro lcastro@udc.es

Credits Image authoring attribution (in order of appearance) • • • • • • • • • • • • • Hitch-hiking Iceland, `Something about Iceland (a blog about Iceland)'. Newspaper kid, `Stamping Julie' paper crafting blog. US Navy cadets, Wikimedia Commons. Success kid, self-education `And be there' website. Condescending Wonka, `A Sub's Life' blog. James Bond's artwork, by Tozani. Q's gadgets, Hostalia (blog). The backpack, by Targus Group International, Inc. FP7 logo, `Adventure (The Plug-and-Play Virtual Factory)' website. Keep Calm and Wrap it Up, Mallika Khurana's blog. The Extra Mile sign, `Personal Development' blog. Douglas Adam's `The ultimate hitchhiker's guide to the galaxy', `Books Come First' blog. Hitch-hiker to Anywhere but here , `Nomad Sage' travel blog.

Add a comment

Related presentations

Presentación que realice en el Evento Nacional de Gobierno Abierto, realizado los ...

In this presentation we will describe our experience developing with a highly dyna...

Presentation to the LITA Forum 7th November 2014 Albuquerque, NM

Un recorrido por los cambios que nos generará el wearabletech en el futuro

Um paralelo entre as novidades & mercado em Wearable Computing e Tecnologias Assis...

Microsoft finally joins the smartwatch and fitness tracker game by introducing the...

Related pages

Tiger Outdoor Products: How to Backpack in Comfort

How to Backpack for ... type of wild and wooly place you want to go ... you will hike and the average number of miles you want to hike each ...
Read more

Where's Walden? » at

(One last comparison to illustrate the enormity of his hiking prowess: he takes 24 days to hike the ... cost of its own project, ... miles go well as I ...
Read more

Camping Sites: The 26 Best Places to Pitch a Tent in the U ...

Before you go, be sure to read ... —be prepared for a demanding hike that will test your mental and physical prowess. ... The eight-mile hike to Old Rag ...
Read more

Health | Yahoo Beauty

Brought to you by Yahoo Style and Beauty Network ...
Read more

U.S. News | National News - ABC News

ABC News reports on United States politics, crime, education, legal stories, celebrities, weather, the economy and more Sections. Sections; Top Stories; Video;
Read more

Crab Sandwiches, Book One, Pt 1, by Dawnwind

Crab Sandwiches Book One by ... swearing between hitched breaths when his prey went left onto ... Some long abandoned construction project had scattered ...
Read more

108GAME - YouTube

108GAME 108GAME. Subscribe Subscribed Unsubscribe 192. Loading... Loading... Working... Home; Videos; Playlists; Channels; Discussion; About;
Read more

Gallery 83 by factory - issuu - Digital Publishing ...

We pay lipservice and give 1% but ultimately the majority of us go ... Project Trident ... to get some top tips on how to help make getting hitched ...
Read more