By Topic

IBM Systems Journal

Issue 1 • Date 2002

Filter Results

Displaying Results 1 - 12 of 12
  • Message from the Corporate Director, IBM Software Test

    Publication Year: 2002, Page(s): 1
    IEEE is not the copyright holder of this material | PDF file iconPDF (90 KB)
    Freely Available from IEEE
  • Preface

    Publication Year: 2002, Page(s):2 - 3
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (37 KB)

    Customers and independent software vendors have a right to expect high-quality, defect-free products from IBM. The process used for software development has a great deal to do with the quality of the results, and testing is a crucial part of that process. Because the cost of testing and verification can exceed the cost of design and programming, the methodologies, techniques, and tools used for te... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software debugging, testing, and verification

    Publication Year: 2002, Page(s):4 - 12
    Cited by:  Papers (29)  |  Patents (6)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (243 KB)

    In commercial software development organizations, increased complexity of products, shortened development cycles, and higher customer expectations of quality have placed a major responsibility on the areas of software debugging, testing, and verification. As this issue of the IBM Systems Journal illustrates, there are exciting improvements in the underlying technology on all three fronts. However,... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Metrics to evaluate vendor-developed software based on test case execution results

    Publication Year: 2002, Page(s):13 - 30
    Cited by:  Patents (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (523 KB)

    Various business considerations have led a growing number of organizations to rely on external vendors to develop software for their needs. Much of the day-to-day data from vendors are not available to the vendee, and typically the vendee organization ends up with its own system or acceptance test to validate the software. The 2000 Summer Olympics in Sydney was one such project in which IBM evalua... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Improving software testing via ODC: Three case studies

    Publication Year: 2002, Page(s):31 - 44
    Cited by:  Papers (10)  |  Patents (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (946 KB)

    Orthogonal Defect Classification (ODC) is a methodology used to classify software defects. When combined with a set of data analysis techniques designed to suit the software development process, ODC provides a powerful way to evaluate the development process and software product. In this paper, three case studies demonstrate the use of ODC to improve software testing. The first case study illustra... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A metric for predicting the performance of an application under a growing workload

    Publication Year: 2002, Page(s):45 - 54
    Cited by:  Papers (6)  |  Patents (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (178 KB)

    A new software metric, designed to predict the likelihood that the system will fail to meet its performance goals when the workload is scaled, is introduced. Known as the PNL (Performance Nonscalability Likelihood) metric, it is applied to a study of a large industrial system, and used to predict at what workloads bottlenecks are likely to appear when the presented workload is significantly increa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Testing z/OS: The premier operating system for IBM's zSeries server

    Publication Year: 2002, Page(s):55 - 73
    Cited by:  Papers (1)  |  Patents (7)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (219 KB)

    The “z” in zSeries™ stands for zero down time. As businesses have come to rely more and more on the continuous availability of their largest systems, the verification techniques used by IBM in developing those systems have had to evolve. Methodologies, techniques, and tools need continuous enhancements to develop the necessary verification processes that support development fo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The STCL test tools architecture

    Publication Year: 2002, Page(s):74 - 88
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (411 KB)

    The Software Test Community Leaders (STCL) group is an IBM-wide initiative focused on improving software test and quality practices within the corporation. In 1999, we began working to develop an architecture to integrate both new and existing test tools into solutions for use in the testing organizations across IBM. This paper discusses the requirements for the architecture, as well as the issues... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using a model-based test generator to test for standard conformance

    Publication Year: 2002, Page(s):89 - 110
    Cited by:  Papers (10)  |  Patents (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (219 KB)

    In this paper we describe two experiments in the verification of software standard conformance. In our experiments, we use a model-based test generator to create a test suite for parts of the POSIX™ standard and another test suite for the specification of Java™ exception handling. We demonstrate that models derived from specifications produce better test suites than the suites specif... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Multithreaded Java program test generation

    Publication Year: 2002, Page(s):111 - 125
    Cited by:  Papers (25)  |  Patents (9)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (3347 KB)

    We describe ConTest, a tool for detecting synchronization faults in multithreaded Java™ programs. The program under test is seeded with a sleep( ), yield( ), or priority( ) primitive at shared memory accesses and synchronization events. At run time, ConTest makes random or coverage-based decisions as to whether the seeded primitive is to be executed. Thus, the probability of finding concurr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Software Testing Automation Framework

    Publication Year: 2002, Page(s):126 - 139
    Cited by:  Papers (5)  |  Patents (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (199 KB)

    Software testing is an integral, costly, and time-consuming activity in the software development life cycle. As is true for software development in general, reuse of common artifacts can provide a significant gain in productivity. In addition, because testing involves running the system being tested under a variety of configurations and circumstances, automation of execution-related activities off... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • FLAVERS: A finite state verification technique for software systems

    Publication Year: 2002, Page(s):140 - 165
    Cited by:  Papers (9)  |  Patents (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (931 KB)

    Software systems are increasing in size and complexity and, subsequently, are becoming ever more difficult to validate. Finite state verification (FSV) has been gaining credibility and attention as an alternative to testing and to formal verification approaches based on theorem proving. There has recently been a great deal of excitement about the potential for FSV approaches to prove properties ab... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.

Aims & Scope

Throughout its history, the IBM Systems Journal has been devoted to software, software systems, and services, focusing on concepts, architectures, and the uses of software.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
John J. Ritsko
IBM T. J. Watson Research Center5