Program Development in Java: Abstraction, Specification, and Object-Oriented Design by John Guttag & Barbara Liskov
Author:John Guttag & Barbara Liskov [John Guttag]
Language: eng
Format: epub
Tags: Certification, Java
Publisher: Addison-Wesley Professional
Published: 2000-06-05T21:00:00+00:00
Aliasing Errors
Another kind of boundary condition occurs when two different formals both refer to the same mutable object. For example, suppose procedure
static void appendVector (Vector v1, Vector v2)
throws NullPointerException
// MODIFIES: v1 and v2
// EFFECTS: If v1 or v2 is null throws NullPointerException else
// removes all elements of v2 and appends them in reverse order
// to the end of v1.
were implemented by
static void appendVector (Vector v1, Vector v2) {
if (v1 == null) throws new NullPointerException
("Vectors.appendVector");
while (v2.size( ) > 0) {
v1.addElement(v2.lastElement( ));
v2.removeElementAt(v2.size( ) - 1); }
}
Any test data that did not include an input in which v1 and v2 refer to the same nonempty array would fail to turn up a very serious error in appendVector.
Sidebar 10.2 summarizes black-box testing.
Download
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.
Coding Theory | Localization |
Logic | Object-Oriented Design |
Performance Optimization | Quality Control |
Reengineering | Robohelp |
Software Development | Software Reuse |
Structured Design | Testing |
Tools | UML |
Deep Learning with Python by François Chollet(12555)
Hello! Python by Anthony Briggs(9904)
OCA Java SE 8 Programmer I Certification Guide by Mala Gupta(9785)
The Mikado Method by Ola Ellnestam Daniel Brolund(9769)
Dependency Injection in .NET by Mark Seemann(9329)
Algorithms of the Intelligent Web by Haralambos Marmanis;Dmitry Babenko(8282)
Test-Driven iOS Development with Swift 4 by Dominik Hauser(7756)
Grails in Action by Glen Smith Peter Ledbrook(7686)
The Well-Grounded Java Developer by Benjamin J. Evans Martijn Verburg(7550)
Becoming a Dynamics 365 Finance and Supply Chain Solution Architect by Brent Dawson(7007)
Microservices with Go by Alexander Shuiskov(6774)
Practical Design Patterns for Java Developers by Miroslav Wengner(6684)
Test Automation Engineering Handbook by Manikandan Sambamurthy(6629)
Secrets of the JavaScript Ninja by John Resig Bear Bibeault(6399)
Angular Projects - Third Edition by Aristeidis Bampakos(6035)
The Art of Crafting User Stories by The Art of Crafting User Stories(5566)
NetSuite for Consultants - Second Edition by Peter Ries(5497)
Demystifying Cryptography with OpenSSL 3.0 by Alexei Khlebnikov(5302)
Kotlin in Action by Dmitry Jemerov(5048)
