BT

Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ
News Articles Presentations Podcasts Guides

Topics

Choose your language

QCon New York

Find real-world practical inspiration from the world’s most innovative software leaders. Attend in-person.
QCon San Francisco

Learn what's next in software from world-class leaders pushing the boundaries. Attend in-person or get video-only pass to recordings.
The Software Architects' Newsletter

Your monthly guide to all the topics, technologies and techniques that every professional needs to know about. Subscribe for free.

InfoQ Homepage Presentations Certifying Your Car with Erlang

QCon San Francisco (Oct 2-6): Learn what's next from software leaders pushing the boundaries.

Certifying Your Car with Erlang

Bookmarks
35:01

Summary

John Hughes explains how Quviq tests embedded ECU software for AUTOSAR compliance using QuickCheck.

Bio

John Hughes is co-founder and CEO of Quviq AB, and the originator of Quviq QuickCheck in Erlang. Before John's involvement with Erlang, he was deeply involved with the design of Haskell from the start, and co-chaired the committee that defined the current language standard.

About the conference

This year’s Erlang Factory SF Bay Area 2012 had an A-list sell-out line-up of speakers which included Erlang Inventors Mike Williams and Robert Virding discussing software approaches used in the industry and the unique features of the Erlang VM and a Keynote talk from Jim Zemlin, Executive Director of The Linux Foundation.

Recorded at:

Sep 20, 2012

This content is in the Acceptance Testing topic

Related Topics:

Hello stranger!

You need to Register an InfoQ account or or login to post comments. But there's so much more behind being registered.

Get the most out of the InfoQ experience.

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Community comments

  • Very interesting

    by Nick Linker,

    Your message is awaiting moderation. Thank you for participating in the discussion.

    Although I didn't understand how QuickCheck is able to automatically test non-pure functions. I will appreciate if anyone can give me pair/triple of useful links on that.
    thanks.

    Back to top
  • Re: Very interesting

    by David Smith,

    Your message is awaiting moderation. Thank you for participating in the discussion.

    The side-effects, no doubt, were managed the stubs he referred to.

    Back to top

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

BT