| QUALITY WEEK '96 TUTORIAL PROGRAM |
Here is a complete description of the ten half-day tutorials that are part of Quality Week '96.
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.
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.
This tutorial examines what is currently known and unknown about
software productivity through: (a) review and comparative analysis of
published empirical studies and measures of software productivity, and
what affects it; as a basis for (b) synthesizing what can be done to
better measure, understand and improve software productivity.
(Click here for Prof. Scacchi's Home Page)
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.
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.
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.
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.
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.
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.
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.
CLICK HERE FOR COMPLETE DETAILS ON QUALITY WEEK '96.
Click Here to Register Electronically for QW'96.