University of Wollongong
Browse

Automated Software Testing and Analysis: Techniques, Practices and Tools

Download (88.49 kB)
conference contribution
posted on 2024-11-15, 12:07 authored by Zhiquan Zhou, B Scholz, G Denaro
As computer systems are permeating our society in daily life and are performing an increasing number of critical tasks, research in software testing and analysis has become of paramount importance. Although we are currently not able to prove program correctness for real-world applications, rigorous software development processes in combination with testing provides us with confidence in the quality of software. Software testing and analysis, however, is a very involved task. As the size and complexity of software continue to grow, manual testing becomes very tedious. Automation of software testing and tool support for testing, therefore, have been emerging as a key technology to quality assurance of today¿s software industry. As research in software testing and analysis has become increasingly active, there is also a growing trend towards combining formal methods and informal techniques for program verification.

History

Citation

This paper was originally published as: Zhou, ZQ, Scholz, B & Denaro, G, Automated Software Testing and Analysis: Techniques, Practices and Tools, 40th Annual Hawaii International Conference on System Sciences (HICSS 2007), Waikoloa, Hawaii, USA, January 2007, 260. Copyright IEEE 2007

Pagination

260

Language

English

RIS ID

22544

Usage metrics

    Categories

    Keywords

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC