Fully automatic software testing

May 16, 2011

University of Twente researcher Machiel van der Bijl has developed a system that eliminates the need to test software manually. The system not only facilitates quick and accurate software testing, but it will also save software developers a great deal of money.

Van der Bijl: “ easily accounts for a third to half of total development costs. Our automated method can improve product quality and significantly shorten the testing phase, thereby greatly reducing the cost of software development.”

Van der Bijl defended his dissertation on 12 May at the Faculty of Electrical Engineering, Mathematics and Computer Science.

The testing phase for new software consists of three steps: developing the tests, running the tests and evaluating the results. These three steps are generally performed manually. Model-Based Testing is a method that automates all steps in the software testing process. When used properly, the method completely eliminates the need for manual software testing.

Model-Based Testing has a number of major advantages: it makes the software testing process faster, cheaper and more accurate. It is not uncommon for manual software testing to take anywhere from several months to years. Van der Bijl's new system can significantly reduce the duration of the testing period and thus reduce costs. "We can reduce the duration of the testing phase by at least thirty percent. We were even able to reduce overall software development time for one of our customers by a factor of four." Model-Based Testing is more accurate, because in principle there is no limit to the number of tests you run, says Van der Bijl. "If you want, you can even run a million tests."

Van der Bijl conducted his doctoral research with the Formal Methods and Tools department and the CTIT research institute. He was supervised by Prof. Ed Brinksma (who is also the Rector Magnificus of the University of Twente), Prof. Arend Rensink and Dr Jan Tretmans. Taking advantage of his research results, Van der Bijl started a company called Axini while working on his PhD. This company is marketing the new system. The system can be used for any kind of software, but the company is focusing initially on the financial and high-tech sector.

Explore further: Blink, point, solve an equation: Introducing PhotoMath

add to favorites email to friend print save as pdf

Related Stories

Faster and more efficient software for the US Air Force

Jan 11, 2010

Researchers at the University of Nebraska in Lincoln have addressed the issue of faulty software by developing an algorithm and open source tool that is 300 times faster at generating tests and also reduces current software ...

Taking the hard work out of software

Jul 28, 2009

Developing software is a complicated and laborious process. A new European platform automates much of the tricky building and testing phases of programming.

Electrons seem heavier in extremely thin silicon

Apr 01, 2011

For years now, transistors have been getting smaller and smaller. Research conducted by Jan-Laurens van der Steen of the MESA+ Institute for Nanotechnology at University of Twente, The Netherlands, has shown that electrons ...

Recommended for you

How to find a submarine

1 hour ago

Das Boot, The Hunt for Red October, The Bedford Incident, We Dive At Dawn: films based on submariners' experience reflect the tense and unusual nature of undersea warfare – where it is often not how well ...

Google offers peek into Bhutan with Street View launch

3 hours ago

Google provided a sneak peek into Bhutan Thursday by unveiling a Street View project for the remote Himalayan kingdom, featuring panoramic views of its majestic mountains, monasteries and crystal-clear rivers.

Nokia turnaround since handset unit sale continues

5 hours ago

Nokia appears to have turned around its fortunes after the sale of its ailing cellphone unit to Microsoft, reporting a third-quarter net profit of 747 million euros ($950 million), from a loss of 91 million euros a year earlier. ...

User comments : 0