1st INTERNATIONAL SOFTWARE QUALITY WEEK EUROPE (QWE'97) PAPER AND PRESENTATION ABSTRACTS |
The
1st International Software Quality Week/Europe
Technical Program is organized into separate tracks depending on the content of the presentations.
Below are brief abstracts for all QWE'97 half-day Tutorials, Keynotes, QuickStart Mini-Tutorials, Regular
Technical Papers and Vendor Presentations.
Some papers being presented at QWE'97 have been chosen as the most successful presentations
at QW'97 (San Francisco, May 1997) and their authors have kindly agreed to re-present their
views for the European-based audience of QWE'97.
These papers are indicated with a
[!].
The information presented is the most-accurate available but is subject to change.
Updated 29 October 1997
TOPICS:
Simple and complex domains. Class modalities. State machine basics.
Modeling classes with state machines: state, preconditions, and
postconditions. Domain analysis for classes: public and private domains.
Deriving the state transition tree. Sneak-path testing. Test adequacy:
conformance, the N+ cover. Considerations for test suite compression.
This tutorial shows how you can:
(a) Assess your current testing process
(b) Design a new 10X testing process
(c) Gain support for the new process from managers and engineers alike,
(d) Implement your new 10X process, and
(e) Evaluate the impact and benefits of 10X testing.
John Seddon, the leading researcher on ISO 9000's application in
organisations, argues that the problem is more than a matter of
interpretation. It is, he says, the Standard which is at fault. Seddon's
thesis is that the underlying theory of ISO 9000 is concerned with the
control of output. Quality, by contrast is concerned with improving output.
Seddon will compare the two ways of thinking with illustrations of what
organisations typically do when registering to ISO 9000 and what they could
have done if they had taken a better (quality) route.
This presentation discusses the applications of inspections in a TV software
project at Philips Semiconductors. Inspections were used to reduce a number
of project risks and to ensure the quality of the products. The way
inspections were carried out is described and of course the achieved results,
including data. The aim is not to show a "theoretical correct" and optimal
application of inspections, but a successful application in practice in a
critical and difficult project. The implementation and introduction process
of this "new" method within the project runs as a central theme throughout
this presentation, closing off with a number of experienced critical success
factors.
This Tutorial shows with techniques and examples how to:
[ Home Page |
Advisory Board |
Kudos |
Program |
Abstracts |
Biographies ]
[ Brochure
| Exhibits
| Registration
| Hotels
| Brussels ]
Ms. Ana Andres, Mr. Bob Smith, et. al. (European Software Institute)
Paper Title: ISO-9000 Certification as a Business Driver: The SPICE Road (9M)
The main objective of this paper is to clearly relate software process
improvement and a business goal by using the SPICE model (ISO15504) to
prepare an organization for ISO9000 certification. The outcome of the
project is a technical guide in software terms for an improvement plan aimed
to build an ISO9000 compliant quality system in the organization.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Dr. Agnes Arnould, Dr. Pascal Le Gall (CEA/Universite d'Evry)
Paper Title: Some Aspects of Test Data Selection from Formal Specifications (3T)
(Abstract To Be Supplied.)
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. T. Ashok, A. Balasubramaniam, K. Rangarajan (VeriFone India Pvt Ltd)
Paper Title: Class Evolution and Equivalence Categories (5T)
When a piece of software implemented in an object-oriented language evolves
from one version to another, changes are made to the source code affecting
one or more classes that make up the system. When a class so changes, the
resulting class may or may not be equivalent to the the original one. Our
research focus is on understanding the evolution pattern of classes and
their impact on retesting. In this paper, we identify four equivalent
categories involving a class and its evolved version and show that class
evolution is governed by a set of language-specific "atomic changes". A
study of these atomic changes reveals interesting properties with respect
to preservation of class equivalence and suggests clues about retesting
evolved classes.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Dr. Boris Beizer (Independent Consultant)
Tutorial Title: An Overview of Testing (A, Part I & II)
This presentation is a one-day overview of testing principles and technology.
Newcomers to testing will learn basic concepts and vocabulary; practicing
testers will a acquire a new, comprehensive, conceptual structure for testing
that will enable them to better understand and apply techniques and tools.
topics include: objectives of testing, control flow (t), transaction flow (t),
domain (t), syntax (t), finite-state machine (t), data flow (t), integration
(t), system (t), test execution and test design automation.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Dr. Boris Beizer (Independent Consultant)
Keynote Title: The Future of Software Quality (7P)
Current trends in software development and deployment promise a major
increased emphasis on software quality issues in the future. To meet this
challenge, developers and testers will increasingly rely on technological
solutions. Where has the quality support technology been, where is it today,
to what extent is it in daily use, and what have been the barriers to more
extensive deployment. What methods and technologies are now emerging from the
laboratories and what do they promise for the future? What will the 2001
toolkit look like and what will developers and testers have to know in order
to effectively exploit it.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Dr. Giora Ben-Yaacov (Cadence Design Systems)
Tutorial Title: Effective Implementation of ISO 9000 for Software (F)
In this tutorial the instructor shares his practical experience in implementing
ISO 9000 at software companies, and discusses practical techniques to address
companies' real-world problems. You will learn how to improve the effectiveness
and efficiency of the software engineering environment, and how to plan and
implement an effective software quality program based upon ISO 9001 standards
which are interpreted by ISO 9000-3 to software development and maintenance.
Participants will see how the practices of software quality are implemented
via ISO 9000 processes, and they will obtain a background of sufficient depth to
implement software process improvements in their company under ISO 9000 standards.
Major topics covered:
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Dr. Giora Ben-Yaacov (Cadence Design Systems)
Paper Title:Improving Software Testing with ISO-9000 Processes (6S)
The paper is focused on the development and deployment of the
testing processes by the 25-person software testing group of the
India Software Engineering Center (the official name for this group
is "India Product Validation" group). The paper also provides
details on the business improvements achieved from improved testing
processes and on how we measure those improvements. The data
presented demonstrated that the software testing group played a key
role in achieving the business improvements for the Center.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Dr. Antonia Bertolino (IEI-CNR)
Paper Title: A General Path Generation Algorithm for Coverage Testing (4T)
[!]
We present a general method to construct a set of test paths satisfying a
selected criterion within a family of control flow and data flow-based coverage criteria.
The method builds on the recent concept of a "spanning set" of entities,
which is the minimum subset of program entities
(e.g., branches or definition-use associations) guaranteeing full test coverage.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. Stefan Biffl, Mr. Greg Thomas (Technical University of Vienna)
Paper Title: Quality Improvement in "Heroic" Projects - A Reasonable Activity Model for Quality Enhancement for Medium-Sized "Chaotic" Software Development Projects (11M)
A substantial part of actual practical software engineering (SE) work is performed
in a chaotic way according to the famous SEI classification. This paper deals with
chaotic projects which nevertheless succeed, labeling them "heroic" projects.
Example scenarios from industrial practice explain why any serious amount of development
work will always be heroic. A first-aid approach to quality assurance (QA) for heroic projects,
AQUAM, is presented, which allows assurance of a minimum level of quality and cannot be
ignored by even the most theory-ascetic practitioners.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. Robert V. Binder (RBSC Corporation)
Tutorial Title: Modal Testing Strategies for Object-Oriented Software (D, Part I & II)
Classes (objects) have distinctly different behavior patterns (modes).
A mode must be identified to select an effective test strategy. This
tutorial presents new approaches for domain/state modeling to characterize
class modality and shows how to produce effective test suites from these
models. Participants will learn how to:
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. Robert V. Binder (RBSC Corporation)
Paper Title: Test Automation for Object-Oriented Systems (I)
Classes (objects) have distinctly different behavior patterns (modes). A mode
must be identified to select an effective test strategy. This tutorial
presents new approaches for domain/state modeling to characterize class
modality and shows how to produce effective test suites from these modules.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Dr. Sankar Chakrabarti & Mr. Harry Robinson (Hewlett Packard Company)
Paper Title: Catching Bugs in the Web:
Using the World Wide Web to Detect Software Localization Defects (10S)
[!]
Quality software is the result of many teams bringing different
skills to bear on a problem. Nowhere is this fact more obvious than when
creating software that runs in many different languages and locales.
Having software that can execute in English, French, German, Japanese
and a host of other languages is an advantage in the marketplace: the
software can reach a larger market because users feel comfortable
running the application in their native languages. But testing localized
software poses a challenge to quality assurance. One significant problem
is that people testing an application in a language foreign to them may not
know whether what they are looking at is correct or not. The people who could
determine if the software is correct may be on the other side of the world,
unable to run the software themselves. Our solution to this problem uses
the facilities of the World Wide Web to bridge the gap between those able to
run the tests and those able to determine if the results are correct. This
procedure leads to dramatic improvement in quality while reducing cost.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. Howard Chorney (Process Software Corporation)
Paper Title:A Practical Approach to Using Software Metrics (12M)
This presentation will discuss the advantages of using a practical set
of metrics throughout a software development project life cycle.
It will focus on how the information provided by these metrics can be
used in today's product development environment. It will examine a
specific set of quality metrics and discuss the advantages and possible
disadvantages of each metric. In parallel to discussing the individual
metrics, I'll discuss how the metrics cross check each other, can provide
data for follow-on product development projects, and can be tailored to
suit the needs of each individual organization. Finally, I will discuss
how organizations currently not using any metrics today can easily get
started.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. Huey-Der Chu & Prof. John E. Dobson (University of Newcastle upon Tyne)
Paper Title: An Integrated Test Environment for Distributed Applications (12T)
Based on the Java-based platform, this paper presents an integrated
test environment using the statistical approach for distributed
applications. To address two main issues, when to stop testing and
how good the software is after testing, it provides automatic
support for test execution, test development, test failure analysis
, test measurement, test management and test planning.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. Jean-Marie Condom (Universite de Pau et des Pays de l'ADOUR)
Paper Title: Meeting Quality Requirements in Robot-Based Manufacturing Using Z (10T)
This paper gives some guidelines to improve the quality in the design of robot-based
manufacturing systems using the formal language Z. Three quality factors are taken into
consideration : intellectual control over the system adopting a methodological
approach, correctness and efficiency by referring to a parallel operational semantics.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. Robert Darimont (Cediti)
Demo Title:GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering (2D)
The KAOS methodology provides a language and method for
goal-driven requirements elaboration. GRAIL is an environment
under development to support the KAOS methodology. The GRAIL
kernel combines a graphical view, a textual view, an abstract
syntax view, and an object base view of specifications.
GRAIL has been used to elicit and specify the requirements of
several industrial projects.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Dr. Guido Dedene & Geert Poels (Katholieke Universiteit Leuven)
Paper Title: Assessing the Size and Complexity of Formally Specified Conceptual Models (9T)
A number of measures will be presented for the assessment of size and
complexity of formally specified models of application domains. We show
that formal specifications of the software problem domain can be
rigorously measured using established theories like Measure Theory. The
usefulness of the measures is addressed by commenting on the
relationship between software measurement and early software quality
assurance.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. Tom Drake (Booz Allen & Hamilton)
Tutorial Title: Testing Software Based Systems: People, Process & Technology (E)
This tutorial will focus on the crucial role of testing in delivering a
functionally robust, stable, and maintainable software based system. This
tutorial will introduce the business case for testing and the critical
role of the people and the process combined with an automated testing
technology adoption and measurement strategy.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Dr. Morten Elvang-Goransson (SimCorp AS)
Paper Title: Devising a Specification Process (by Turning Gilb Style Inspections Inside Out) (3M)
Gilb-style Inspections have been reported as a useful tool for synthesising a
software development process. We tell the story of how a very powerful
process for specifying changes to a software product was created by
building on a number of key ideas from the Inspection process.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. Sudipto Ghosh, et. al. (Purdue University)
Paper Title: Software Fault Injection Testing on a Distributed System -- A Case Study (2S)
In this paper we describe a methodology for performing fault injection
testing at the interface level between components of a distributed
system. We also assess the fault tolerance of the system to failures
occurring in its components. This exercise will help in testing systems
for fault tolerance.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. Tom Gilb (Independent Consultant)
Tutorial Title: Requirements-Driven Test Management (G, Part I & II)
How to 'design' Testing, based on multiple test quality requirements. This
seminar will introduce you to a new powerful systems-level and project-level
"language" and method for requirements specification. It is based on the idea
of measurable testable multiple quality requirements specification both at
the project level (the requirements you must test to see if they are
achieved) and at the level of test planning (how well you want your testing
to be done). This will encompass concepts such as ease of testing,
portability of tests, ease of maintenance of test.
You will get a much better way of organizing your own work, and you will
probably get some ideas you can pass on to the guys who write those
unintelligible project requirements you are supposed to test!
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. Tom Gilb (Independent Consultant)
Paper Title: Evolutionary Project Management (6M)
(Abstract To Be Supplied.)
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Dr. Michael Haug
Tutorial Title: A Survey of EC-Sponsored Software Process Improvement Efforts (C)
The European Commission has launched in 1993 an initiative (worth more than
100 million ECU until now) to improve the competitiveness of the European
industry by improving the industrial software processes. This programme
called "ESSI European Systems & Software Initiative - Software Best Practice"
centres around process improvement experiments (PIEs) which allow companies
to introduce and experiment with methods and techniques that are regarded
as Best Practice but have not been applied sufficiently within these companies
yet. More than 300 such PIEs have been funded since 1993. The ESSI programme
is complementing the PIEs with support, training and dissemination actions --
one of them is EUREX. EUREX is to analyse and cluster those more than 300
experiments and to extract the common experience. EUREX will publish the
classification and the experience found in a new series of books "Software
Practitioners -- Best Practice Reports" - structured into problem domains.
The domain chosen first is "Software Testing, Verification & Validation".
Mr. Haug will present the ESSI programme and the findings of the EUREX team
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. Hans-Ludwig Hausen (GMD Gesellschaft fur Mathematik und Datenverarbeitung mbH)
Tutorial Title: Effective Metrication for Software Process Assessment and Software Product Evaluation (B)
Selected industry tested techniques for V&V and measurement (CMM, ISO900x,
ISO12119 etc.) are reviewed with respect to their suitability for process
assessment and software certification. Particular emphasis is given to the
appropriateness of software characteristics and metrics and their impact on
quality management. It is shown how mature measurement can be used in the
context of ISO approved guidelines which have been developed and tested in
Esprit, ESSI and Eureka projects.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Ms. Anne Mette Jonassen Hass & Mr. Jorn Johansen (DELTA, Software Engineering)
Paper Title: BOOTSTRAP - The Real Way To SPI (2M)
The BOOTSTRAP maturity method, the true European alternative to CMM, will
be presented. About 200 BOOTSTRAP assessments have been performed in
Europe, 25 of these in Denmark. Results from the Danish assessments and
comparisons between Danish, European and CMM results will be presented. A
number of conclusions from the assessments will be drawn.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. Fraser Macdonald & Mr. James Miller (University of Strathclyde Department of Computer Science)
Paper Title: ASSISTing with Software Inspection (11T)
This paper describes a second generation software inspection
support tool allowing support of any inspection process, achieved
through a custom-designed process modelling language. Other unique
features include an open architecture allowing document-type specific
browsers to be added easily, automatic cross-referencing, automatic
defect list collation, active checklists and support for distributed
inspection.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. Marc Morel-Chevillet & Stephane Depres (Objectif Technologie)
Paper Title: AVAL Objectives, Process and Results (8M)
How to reconcile process, quality and technical aspects? This
presentation will describe our field of investigation (small business
context, object-oriented techniques usage, V&V process improvement
decision) and the practical solutions found. We will explain how we
run our improvement project, which verification techniques were
selected, how testing was implemented. In particular, we will
highlight how testing cases and script generation can be partially
automated, and the potential impact on an ISO9001 certification
program
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. Don O'Neill (Independent Consultant)
Paper Title: Global Software Competitiveness Assessment Program (10M)
The Global Software Competitiveness Assessment Program promotes an
understanding of the value of software in achieving global competitiveness in
critical industries. Leading indicators of competitiveness are defined and
industry software value points are identified where software is strategically
essential to the competitiveness of an enterprise. Product lines and their
value points are assessed, and the maturity of enterprise competitiveness is
determined. Assessment results populate the Global Software Competitiveness
database for the benefit of critical industries and their enterprises.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. Don O'Neill (Independent Consultant)
Paper Title: National Software Quality Experiment: A Lesson in Measurement 1992-1996 (12S)
The National Software Quality Experiment is being conducted
to benchmark the state of software product quality and to
measure progress towards the national objective to reduce
software problem rates by a factor of ten by the year 2000.
The centerpiece of the experiment is the Software Inspection
Lab where data collection procedures, product checklists,
and participant behaviors are packaged for operational
project use. Thousands of participants from dozens of
organizations are populating the experiment database with
thousands of defects of all types along with pertinent information
needed to pinpoint their root causes. To fully understand the
findings of the National Software Quality Experiment, the
measurements taken in the lab and the derived metrics are
organized along several dimensions including year,
software process maturity level, organization type, product type,
programming language, and global region.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Ms. Janet P. Oberti, et. al. (BEA Systems, Inc)
Paper Title: Testing an Object Request Broker (ORB) Using Automation (2T)
Testing an ORB is a challenging problem. It can be a very large scale project. Using
automated install procedures, an automated test system and a data management tool
is very helpful in simplifying the problem and being the most time efficient.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. Paolo Panaroni (Intecs Sistemi, S.p.A.)
Paper Title: Testing, But...The Other Way Round: A Management Perspective (4M)
It is debated the approach of performing "full" unit testing and code
inspections "before" entering into integration and system testing.
It is claimed that it is more cost effective, with no detriment
on the overall quality, to defer "full" unit testing and code inspections
only AFTER integration and system test, that is, after
major design flaws and requirements problems have been identified and removed.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. Bruno Peeters (Gemeentekrediet van Belgie)
Paper Title: A COBOL Standards Compliance Checker (5M)
(Abstract To Be Supplied.)
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. Bruno Peeters (Gemeentekrediet van Belgie)
Paper Title: Measurement of Software Maintainability (8S)
(Abstract To Be Supplied.)
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Dr. Juergen Pitschke (Precision Software GmbH)
Paper Title:Choosing and Using Design Tools
Successful tool selection and adoption is a conscious, deliberate process that
can easily result in a substantially improved means of developing and maintaining
software. Understanding the role of design and development tools and how they
can help us is the first step before you look into the market for the specific
technology. The most important steps in this process will be highlighted with
reference to GDPro from Advanced Software Technologies, Object Magazine's
1997 winner "Best New Object Design Tool".
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. Robert Poston (Aonix)
Tutorial Title: 10X Testing: Automating Specification-Based Testing (J, Part I & II)
The 10X Testing Program offers software professionals a systematic way to
improve both the productivity and the quality of testing by tenfold.
A number of companies have employed the combination of methods, standards,
tools, measurements, and training prescribed by the 10X Testing Program,
and now those companies are reporting 10X gains.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. Robert Poston (Aonix) & Edward Miller (SR/TestWorks)
Demo Title: End-to-End Testing: Specifications to Validation with Stp/T/TestWorks (3D)
(Abstract To Be Supplied)
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Ms. Barbara Quaquarelli (Cad.Lab S.p.A)
Paper Title: Quality Improvement through VErification PROcess (PROVE) (8T)
The PROVE project (ESSI-PIE n. 21417) defined and experimented a measured verification
process (covering testing and inspections) integrated with the development cycle of our CAD
(Computer Aided Design) products. This process was designed to be compatible with our usual
schedule constraints, by taking no more time than what is normally spent on debugging.
This talk describes the results and the lessons learnt.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Dr. Erik Reek (QA Systems International BV)
Demo Title: SPIQS and C Code Quality Control (5D)
The range of SPIQS Quality Management components facilitate rapid implementation of Quality
measures and tasks. This presentation will focus on the SPIQS component: Static C Code Analysis.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. Ido Sarig (Mercury Interactive Ltd.)
Demo Title: Automated Testing Solutions for the Year 2000 Problem (11D)
To understand all the benefits of using a complete set of testing tools for year 2000 testing
requires first looking at the conversion process. The typical conversion process follows a
well-defined series of phases. By examining the goals of each phase, it becomes clear how
testing tools help achieve those goals. While every organization will have its own process,
most will include some version fo the following five phases:
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. John Seddon (Consultant)
Paper Title: In Pursuit of Quality: The Case Against ISO 9000 (L2)
[!]
Since 1979, ISO 9000 has been promulgated as a quality standard. The
evidence is, however, that it has done nothing to improve quality and
competitive position.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. Thierry Tacquet (Objectif Technologie)
Paper Title: Small Company Action Training and Enabling (SCATE) (3S)
(Abstract To Be Supplied.)
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. Tony Templeton (IBM Canada Ltd.)
Paper Title: Rapid Testing Strategies (11S)
Many projects today are date-driven; that is, for some compelling business
reason, the target date must be met (Y2000 projects are a case in point). In
such projects, if the design / construction phases take longer than expected,
then testing must be curtailed, and quality generally suffers. This paper
outlines practical strategies which the author has used to accelerate the pace
of testing while maintaining an acceptable level of business risk.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. Gary Dehlin, Ms. Rosa Weber, Ms. Karen Thelen (Honeywell Technology Center)
Paper Title: Model-Based Requirements Definition and Verification Test Generation for Cockpit Display Systems (9S)
(Abstract To Be Supplied.)
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Dr. Erik Van Veenendaal & Dr. Jos Trienekens (KEMA/Eindhoven University of Technology)
Tutorial Title: Practical User-Oriented Software Product Quality Specification and Evaluation (L)
Users are becoming more demanding regarding the quality of software
products. They want "fitness for use" which is not restricted to
"conformance to specification" or "zero defects". A number of
European projects, e.g. SPACE-UFO, are striving to bridge the gap
between quality as perceived by users and developers. This
tutorial will discuss lessons gained from practical experiences
with recently developed specification and evaluation instruments.
It will cover:
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Dr. Erik Van Veenendaal & Dr. Ingrid B. Ottenvanger (KEMA/IP/Informatica Projectgroep)
Tutorial Title: Structured Testing According to TMap (H)
In recent years TMap has evolved towards the standard for software testing in
the Netherlands. It is being used by more than two hundred Dutch organizations.
The tutorial is divided into three sections:
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Dr. Erik Van Veenendaal (KEMA)
Paper Title: Practical Inspection Experiences at Philips (4S)
Inspections are generally accepted as a means to improve the quality of
software products in an effective and efficient way. However, only a minority
of the software projects and software organisations make structured use of
inspections during the development of new products. Introducing and
implementing inspections is often a tedious and difficult task, because
software engineers must be personally convinced of the effectiveness of new
methods before they will consistently use them.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. Otto Vinter (Bruel & Kjaer)
Paper Title: How to Apply Static and Dynamic Analysis in Practice (5S)
This presentation will give practical insight in how static and dynamic
(coverage) analysis was applied in our organization, two effective testing
techniques that are too often overlooked in the software testing practice.
The presentation will demonstrate the benefits and quantitative results on
quality that were achieved from applying these techniques and tools on
real-life projects.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Dr. Tony Wasserman (Software Methods & Tools)
Keynote Title: 30 Years of Software Engineering -- What Have We Learned? (1P)
The term "software engineering" was coined in 1967 to suggest the need
for a engineering approach to the development of software. The past 30
years have seen tremendous advances in computing technology, but few
organizations follow a disciplined process for software development.
This talk describes key lessons from efforts to improve software
development practices, and identifies eight fundamental ideas that
have emerged from software engineering experience.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Dr. Denise Woit (Ryerson Polytechnic University)
Paper Title: Specifying Component Interactions for Modular Reliability Estimation (6T)
To estimate the reliability of a software
system from the reliabilities of its constituent
components, a model of component interaction must be specified.
Our model and tools for component interaction specification were
motivated by system engineers who desired a model that
could more fully, and more simply, capture the information they
wished to utilize.
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
Mr. Nicholas Zvegintzov (Software Management Network)
Tutorial Title: Testing for Year 2000 (K)
Testing is a key element in solving the Year 2000 problem --
ensuring that applications do not fail over the millennium change.
With these techniques the Year 2000 testing group can:
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM
(TBA) (Software Quality Automation Europe)
Demo Title: (TBA) (8D)
(Abstract To Be Supplied.)
JUMP TO TOP OF PAGE
RETURN TO QWE'97 PROGRAM