Author:

Publisher: I E E E

Published: 2000

Total Pages: 390

ISBN-13: 9780769508078

Papers from an October 2000 symposium report on recent advances in OO methods, modeling, testing, quantitative methods, testability, risk assessment, measures, safety, and theory. Specific topics include module size distribution and defect density, structural testing of Web applications, building trust into OO components using a genetic analogy, testing polymorphic relationships, analyzing testability on data flow designs, testing nondeterminate systems, modeling fault- prone modules of subsystems, formal semantics for computational engineering, foundations for UML model verification tools, and formal limits on determining reliabilities of component-based software systems. No subject index. Annotation copyrighted by Book News, Inc., Portland, OR.