Quality Week '96 Final Program (http://www.soft.com/QualWeek/)
Date: 1996/05/01
Message-ID: <srDqqyDz.Hqn_at_netcom.com>
Ninth International Software Quality Week (QW'96)
21-24 May 1996
Sheraton Palace Hotel, San Francisco, California
Conference Theme: Process Convergence
CONFERENCE THEME: QUALITY PROCESS CONVERGENCE
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Advances in technology have swept the computing industry to new heights of
innovation. The astonishing growth of the InterNet and the WWW, the
maturation of client-server technology, and the emerging developments with C++
and Sun's Java Language (tm) are two illustrations of the rapid deployment we
are seeing the 1990s. For software quality to keep track existing methods,
approaches and tools have to be thought of in well-structured ``process
models'' that apply quality control and test methods in a reasoned, practical
way. Quality Process Convergence - making sure that applied quality
techniques produce real results at acceptable costs - is the key to success.
The Ninth International Software Quality Week focuses on software testing,
analysis, evaluation and review methods that support and enable process
thinking. Quality Week '96 brings the best quality industry thinkers and
practitioners together to help you keep the competitive edge.
CONFERENCE SPONSORS
^^^^^^^^^^^^^^^^^^^
The QW'96 Conference is sponsored by SR/Institute, in cooperation the IEEE
Computer Society (Technical Council on Software Engineering) and in
cooperation with the ACM.
TECHNCIAL PROGRAM DESCRIPTION
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The Pre-Conference Tutorial Day offers expert insights on ten key topic areas.
The Keynote presentations give unique perspectives on trends in the field and
recent technical developments in the community, and offer conclusions and
recommendations to attendees.
The General Conference offers four track presentations, mini-tutorials and a debate:
Technical Track Topics include:
OO Testing
Specifications
Ada
Statistical Methods
Rule-Based Testing
Class Testing
Testability
Applications Track Topics include:
Decision Support
Mission-Critical
Innovative Process
Internal Risk
GUI Testing
New Approaches
Management Track Topics include:
QA Delivery
Testing Topics
Process Improvement - I
Process Improvement - II
Metrics to Reduce Risk
Process Improvement III
Success Stories
Quick-Start Mini-Tutorial Track includes:
An Overview of Model Checking
Software Reliability Engineered Testing Overview
Teaching Testers: Obstacles and Ideas
Testing Object-Oriented Software: A Hierarchical Approach
Best Current Practices in Software Quality
A History of Software Testing and Verification
Software Testing: Can We Ship It Yet?
Q U A L I T Y W E E K ' 9 6
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
C O N F E R E N C E P R O G R A M
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
TUESDAY, 21 MAY 1996 (TUTORIAL DAY)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Tutorial Day offers ten lectures in two time slots on current issues and
technologies. You can choose one tutorial from each of the two time slots.
Tuesday, 21 May 1996, 8:30 - 12:00 -- AM Half-Day Tutorials
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Mr. Robert V. Binder (RBSC Corporation) "Object-Oriented System Testing: The FREE Approach (Tutorial A)"
This tutorial presents a complete and coherent approach to system testing based on object-oriented software requirements. Participants will learn how to develop an efficient and effective system test plan from use cases, scenarios and object-interaction diagrams.
Dr. Boris Beizer (ANALYSIS) "An Overview Of Testing Unit, Integration, System
(Tutorial B)"
This overview of software testing introduces newcomers to software testing to the technical and conceptual vocabulary of testing in order to prepare them to understand the conference material. In the past, this has been one of the most popular pre-conference tutorials. It assumes only basic programming knowledge and no prior experience with formal testing methods. It is updated each year to assure currency.
Dr. Walt Scacchi (University of Southern California) "Understanding Software Productivity (Tutorial C)"
Mr. Lech Krzanik (CCC Software Professionals Oy) "BOOTSTRAP: A European Software Process Assessment and Improvement Method (Tutorial D)"
BOOTSTRAP, which was developed based on the experience of SEI and ISO 9001/9000-3, is expected to become the first complete, widely used methodology and tool suite for process assessment and improvement to become fully SPICE compatible (SPICE, Software Process Improvement and Capability determination, is an ISO standard initiative to be published next year). Against the background of an up-to-date comparative review of the principles and practices of other software process assessment and improvement approaches, the BOOTSTRAP methodology, tools and experiences are demonstrated.
Mr. John D. Musa (AT&T Bell Labs) "Software Reliability Engineered Testing
(Tutorial E)"
Software-reliability-engineered testing (SRET) is engineered to test software as efficiently and reliably as possible. This tutorial teaches the major activities of SRET: developing an operational profile, defining "failure" with severity classes, setting system failure intensity objectives, allocating system failure intensity objectives among components, certifying failure intensities of acquired software components, testing the system to the failure intensity objectives, and rehearsing customer acceptance tests.
Tuesday, 21 May 1996, 1:30 - 5:00 -- PM Half-Day Tutorials
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Mr. Hans-Ludwig Hausen (GMD Gesellschaft fur Mathematik und Datenverarbeitung
mbH) "Software Quality Evaluation and Certification (Tutorial F)"
This tutorial will make the attendees aware of the development of the technology of software quality evaluation and certification, and provide them with practical approaches to the problem of quality. The results and findings of several European projects on software quality and productivity are presented specifically to meet the needs of software managers and developers.
Dr. Norman F. Schneidewind (Naval Postgraduate School) "Software Reliability Engineering for Client-Server Systems (Tutorial G)"
This tutorial addresses the increasing use of multi-node client- server and distributed systems, in which software entities executing on multiple nodes must be modeled as systems if realistic reliability predictions and assessments are to be made. The following topics are covered: specifying client-server software reliability requirements, identifying critical and noncritical client and server functions; specifying a client- server architecture to meet software reliability requirements; modeling and predicting client-server software reliability, and integrating modeling and prediction with software testing of client-server systems.
Mr. William J. Deibler, Mr. Bob Bamford (Software Systems Quality Consulting)
"Models for Software Quality -- Comparing the SEI Capability Maturity Model
(CMM) to ISO 9001 (Tutorial H)"
Based on an in-depth analysis of the relationship between ISO 9001 and the SEI CMM, this course provides overviews and detailed examinations of both models. Participants will learn to determine criteria for applying each model to the engineering practices of a particular organization; to understand how ISO 9000-3 supports the application of each clause in practice; to avoid time-consuming misinterpretations; to organize the Key Process Areas in Version 1.1 of the CMM; to define areas of overlap and difference between the two models; and to anticipate the impact of specific quality assessment programs.
Mr. Dan Craigen, Mr. Ted Ralston (ORA Canada) "An Overview of Formal Methods
(Tutorial I)"
This tutorial provides a high-level briefing about Formal Methods, without focusing on mathematical minutiae or parochial arguments about which formal method is "best." Formal Methods can be used to extend our capability to predict the behavior of systems and to complement the analyses of conventional approaches to software quality (testing and inspection). The tutorial presents the basic concepts of Formal Methods. Some major successes of Formal Methods in industry are summarized, and popular myths are addressed. The overview of the capabilities of the technology includes what is currently feasible and what is being investigated. The tutorial concludes with guidance about how to get started with Formal Methods and where to find further resources.
Mr. Tom Gilb (Independent Consultant) "Software Inspection (Tutorial J)"
This tutorial focuses on correcting misconceptions about software inspection and on updating participants to a more advanced level of practice. Advances made over the last 20 years will be discussed, and participants will hear how to get the most out of inspections, how to move on from our present state of inspections, and whether inspections relate to tests as complement or as competition.
22-24 MAY 1996 -- QUALITY WEEK '96 CONFERENCE
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Wednesday, 22 May 1996, 8:30 - 12:00 -- OPENING KEYNOTES
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Mr. John Marciniak Data and Analysis Center for Software) "National Software Council: A Prospectus And Status Report" (Keynote) (1-1)
Mr. Tom Gilb (Independent Consultant) "The `Result Method' for Quality Process Convergence" (Keynote) (1-2)
Prof. Leon Osterweil (University of Massachusetts Amherst) "Perpetually Testing Software" (Keynote) (1-3)
Dr. Watts Humphrey (Carnegie Mellon University) "What if Your Life Depended on Software?" (Keynote) (1-4)
Wednesday, 22 May 1996, 1:30 - 5:00 -- PM Parallel Tracks
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
TECHNOLOGY TRACK
Mr. T. Ashok, Mr. K. Rangaraajan, Mr. P. Eswar (VeriFone Inc.) "Retesting
C++ Classes (2T1)"
Mr. John D. McGregor, Mr. Anuradha Kare (Department of Computer Science, Clemson University) "PACT: An Architecture for Object-Oriented Component Testing (2T2)"
Mr. Tilmann Bruckhaus (School of Computer Science) "How Tools, Project Size and Development Process Affect Productivity (2T3)"
Mr. Daniel Jackson (Carnegie Mellon University) "New Technology For Checking Software Specifications (2T4)"
APPLICATIONS TRACK Prof. Vic Basili, Mr. Zhijun Zhang (University of Maryland) "A Framework for Collecting and Analyzing Usability Data (2A1)"
Dr. Peter Liggesmeyer (Siemens AG) "Selecting Test Methods, Techniques, Metrics, and Tools Using Systematic Decision Support (2A2)"
Mr. Lorenzo Lattanzi, Mr. Francesco Piazza (Alenia Spazio) "Testing of a Mission Critical Real-Time Software for Space Application" (2A3)"
Dr. Jacob Slonim, Mr. Michael Bauer, Ms. Jillian Ye (IBM Canada Lab) "Structural Measurement of Functional Testing: A Case Study in an Industrial Setting (2A4)"
MANAGEMENT TRACK Mr. Dave Duchesneau, Mr. Jay G. Ahlbeck (The Boeing Company) "The Secret to Installing Valued-Added SQA (2M1)"
Dr. Walt Scacchi (University of Southern California) "Knowledge-Based Software Process (Re)Engineering (2M2)"
Dr. Matthias Grochtmann (Daimler-Benz AG) "Testing Software is Okay; But
Testing Machines is Fun Too (2M3)"
Dr. Bob Birss (Moderator - AT&T Bell Laboratories) ) Mr. Robert Hodges,
Mr. Cem Kaner, Mr. Brian Marick, Ms. Melora Svoboda "How To Save Time
And Money In Testing: A PANEL DISCUSSION (2M4)"
QUICK START TRACK MINI-TUTORIALS
Mr. Daniel Jackson (Carnegie Mellon University) "An Overview of Model
Checking (Q2)"
Mr. John D. Musa (AT&T Bell Labs) "Software Reliability Engineered
Testing Overview (Q1)"
Thursday, 23 May 1996, 8:30 - 12:00 -- AM Parallel Tracks
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
TECHNOLOGY TRACK
Mr. Franco Mazzanti, Mr. Consolata Marzullo (IEI-CNR) "The Need and
Feasibility of the Static Detection of Erroneous Executions in Ada95
(3T1)"
Dr. Sandro Morasca, Mr. Mauro Pezze, Mr. Sergio Silva (Departimento di
Elettronica e Informazione Politecnico di Milano) "Mutation Analysis For
Concurrent ADA Programs (3T2)"
Mr. Joseph Huey-Der Chu, Mr. John Dobson (University Of Newcastle upon
Tyne) "A Statistics-Based Framework for Automated Software Testing
(3T3)"
Ms. Gwendolyn Walton, Mr. James A. Whittaker (University Of Central
Florida (will be President Software Engineering Technologies))
""Software Testing Based On A Usage Model (3T4)"
APPLICATIONS TRACK
Mr. Michael Deck (Cleanroom Software Engineering, Inc.) "Cleanroom
Practice: A Theme and Variations (3A1)"
Ms. Ilene Burnstein, Mr. Taratip Suwannasart, Mr. C. Robert Carlson
(Illinois Institute Of Technology) "The Development of a Testing
Maturity Model (3A2)"
Mr. Jarrett Rosenberg (Sun Microsystems) "Linking Internal and External
Quality Measures (3A3)"
Mr. Staale Amland (Avenir A.S.) "Risk Based Testing of Large Financial
Application (3A4)"
MANAGEMENT TRACK
Mr. Chuck House (Centerline Software) "The Development Dilemma of the
SEI Model Case Studies in Software Process Improvement (3M1)"
Ms. Barb Denny (Rockwell - Collins Commercial Avionics) "Achieving ISO-
9001: A Software Prospective (3M2)"
Captain Brian G. Hermann (U.S. Air Force) "Software Maturity Evaluation:
When Is Software Ready for Operational Testing or Fielding? (3M3)"
R.Wilson (Cadence Design Systems) " Best Practices for Software Test
Management (3M4)"
QUICK START TRACK MINI-TUTORIALS Mr. James Bach (STL) "Teaching Testers: Obstacles and Ideas (Q3)"
Mr. Shel Siegel (Objective Quality Inc.) "Testing Object Oriented SW: A
Hierarchical Approach (Q4)"
Thursday, 23 May 1996, 1:30 - 5:00 -- PM Parallel Tracks
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
TECHNOLOGY TRACK
Ms. Valerie Barr (Hofstra University) "Rule-Based System Testing with
Control and Data Flow Techniques (4T1)"
Dr. Alberto Avritzer, Dr. Elaine Weyuker (AT&T Bell Labs ) "Testing a
Rule-Based System (4T2)"
Mr. Biju Nair, Kenneth R. Gulledge, Ramona F. Lingevitch (SAFCO
Corporation) "Using OLE Automation for Efficiently Automating Software
Testing (4T3)"
Dr. T. H. Tse, Mr. Zhinong Xu (University Of Hong Kong) "Test Case
Generation for Class-Level Object-Oriented Testing (4T4)"
APPLICATIONS TRACK
Prof. Lee J. White (Case Western Reserve University) "Automated GUI
Testing for Static or Dynamic Interactions (4A1)"
Mr. R. Binder (RBSC Corporation) "An Integrated Tool Suite for High-
Reliability O-O Client/Server Systems." (4A2)"
Dr. Boris Beizer, Mr. Tom Gilb (Independent Consultants) "Testing Vs.
Inspection -- THE GREAT DEBATE (4A3)"
MANAGEMENT TRACK
Mr Steven L. Dodge (Naval Surface Warfare Center Division "Focusing
Testing Efforts: Software Metrics in Test Planning (4M1)"
Ms. Johanna Rothman (Rothman Consulting Group) "Measurements to Reduce
Risk in Product Ship Decisions (4M2)"
Mr. Shane McCarron (X/Open Company Ltd.) "The Assertion Definition
Language Project: A tool for Automated Test and Documentation
Generation (4M3)"
Mr. Otto Vinter (Bruel & Kjaer) "Experience-Driven Process Improvement
Boosts Software Quality (4M4)"
QUICK START TRACK MINI-TUTORIALS
Mr. Tom Drake (NSA Software Engineering Center) "Best Current Practices
In Software Quality Engineering (Q5)"
Prof. Leon Osterweil, Dan Craigen (University of Massachusetts Amherst)
"A History of Software Testing and Verification (Q6)"
Friday, 24 May 1996, 8:30 - 10:00 -- AM Parallel Tracks
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
TECHNOLOGY TRACK
Prof. Antonia Bertolino & Lorenzo Strigini (IEI-CNR) "Predicting
Software Reliability From Testing Taking Into Account Other Knowledge
About a Program (5T1)"
Mr. Bernd Otto (CondaMs. t GmbH Berlin) "Design For Testable
Telecommunications Software -- A Practical Approach (5T2)"
APPLICATIONS TRACK
Mr. J. Hagar, D. Wittekind (Lockheed Martin Astronautics) "HyperText
Markup Language (HTML) and the Web (5A1)"
Mr. Shankar L. Chakrabarti, Mr. Rajeev Pandey (Hewlett-Packard Company)
"Testing The WEB We Weave (5A2)"
MANAGEMENT TRACK
Mr. Roger Drabick (Eastman Kodak Company) "Testing Experiences on an
Imaging Program (5M1)"
Mr. Bret Pettichord (BMC Software, Inc.) "Success with Automation
Testing (5M2)"
QUICK START TRACK MINI-TUTORIALS
Mr. Roger W. Sherman, Mr. Stuart Jenine (Microsoft Corporation)
"Software Testing: Can We Ship It Yet? (Q7)"
Friday, 24 May 1996, 10:30 - 1:00 -- CLOSING KEYNOTES
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Mr. Guenther R. Koch (European Software Institute) "The European
Software Institute As A Change Agent (KEYNOTE) (6-1)"
Mr. Clark Savage Turner (Software Engineering Testing) "Legal
Sufficiency of Safety-Critical Testing Process (Keynote) (6-2)"
Dr. Boris Beizer (ANALYSIS) "Software *is* Different KEYNOTE (6-3)"
Dr. Edward Miller (Software Research) "Conference Conclusion"
- - - - - - - - - - - - - - - - - cut here - - - - - - - - - - - - - - - - -
INTERNATIONAL SOFTWARE QUALITY WEEK `96 (QW '96)
****************************************************************************
R E G I S T R A T I O N F O R Q U A L I T Y W E E K
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Conference Theme: "Quality Process Convergence"
San Francisco, California 21 - 24 May 1996
REGISTRATION: Please pay by check or with your Company Purchase Order. The entire Conference Fee is payable prior to the program. Make checks payable to SR Institute, Inc. Registration is accepted up to the time of the meeting; on-site registration begins at 7:00 a.m., subject to space availability. No cancellation fee until 21 April 1996; a service charge of $125 after 21 May 1996 applies. Call the registrar to obtain your cancellation number.
FEES: Registration includes all material, Conference Lunches, Refreshments and invitation to the Cocktail Party.
Registered & Paid Before After Group Rates
21 April 21 April (Same registration)
Tutorial Day $300 $350 No discount
3-Day Conference $750 $850 10% discount
COMBINED $950 $1050 10% discount
SAVE: Benefit from the reduced group rate! Send your team of software testing specialists and developers. If you register two or more representatives at one time, you may deduct 10% of the fee for each attendee from the Conference or COMBINED price only.
CONFERENCE HOTEL: Quality Week will be held at the luxurious landmark Sheraton Palace Hotel, San Francisco, CA, located in the very heart of the downtown business district. The Sheraton Palace has welcomed vacationers and business persons with its famous hospitality. Enjoy the best in facilities, restaurants, clubs, theaters, shops, and points of interest.
Please complete and E-mail this form to
qw_at_soft.com
Mail in a copy of the form with your check or purchase order.
Software Research Institute
625 Third Street
San Francisco, CA 94107-1997 USA
Or request information through e-mail: qw_at_soft.com Or FAX your registration: (415) 957-0730
- REGISTER ONLINE ON THE WEB: http://www.soft.com/QualWeek/ **
Please Type or Print:
Name: __________________________________________________
Title: _________________________________________________
Company: _______________________________________________
Address:________________________________________________
Address:________________________________________________
City/State/ZIP: ________________________________________
Country:________________________________________________
Phone:__________________________________________________
FAX: ___________________________________________________
Note: Please copy this form for multiple registration.
Please Check One:
__ Tutorials
__ 3-Day Conference
__ Tutorials and Conference COMBINED
__ Check Enclosed __ P.O. Number Enclosed
Members of the IEEE and ACM receive a 10% discount off all registration fees. Please supply your IEEE or ACM membership number to qualify for this special discount:
IEEE Membership Number:_______________________________________
ACM Membership Number:______________________________________
Received on Wed May 01 1996 - 00:00:00 CEST