The Open UniversitySkip to content
 

Testing the machine in the world

Jackson, Michael (2007). Testing the machine in the world. In: Bin, Eyal; Ziv, Avi and Ur, Shmuel eds. Hardware and Software, Verification and Testing. Lecture Notes in Computer Science; Programming and Software Engineering (Vol. 4383). Springer, pp. 198–203.

URL: http://www.springer.com/computer/programming/book/...
DOI (Digital Object Identifier) Link: http://dx.doi.org/10.1007/978-3-540-70889-6
Google Scholar: Look up in Google Scholar

Abstract

A central aim of software testing is assurance of functional correctness and dependability. For many software-intensive systems, including administrative, embedded, enterprise and communication systems, functional correctness means achieving the desired effects in the physical world, and dependability means dependability of those effects. For example, an administrative system for a lending library is required to ensure that only members can borrow books; that a member who has reserved a book and has been notified that the book is now available for collection in the library will not find that it has been lent to another member; that the catalogue gives reliable information about what is currently on the shelves, and so on. Similarly, a system to control a lift must ensure that the lift comes when summoned and takes the user to the desired floor; that the building manager can specify service priorities in terms of express lifts and time-dependent needs such as rush hours at the beginning and end of the working day; and that failure of the mechanical equipment does not endanger life.

Item Type: Book Chapter
ISBN: 3-540-70888-X, 978-3-540-70888-9
Extra Information: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 15618
Depositing User: Colin Smith
Date Deposited: 28 Apr 2009 09:27
Last Modified: 02 Dec 2010 20:26
URI: http://oro.open.ac.uk/id/eprint/15618
Share this page:

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk