By Topic

IEEE Software

Issue 2 • Date March 1991

Filter Results

Displaying Results 1 - 12 of 12
  • Improving quality with a manufacturing process

    Publication Year: 1991, Page(s):13 - 25
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2259 KB)

    A model that patterns software manufacturing after hardware manufacturing is presented. The model introduces a testing and analysis station between each development phase. At each station, the incoming product is tested and failure data are analyzed and compared with the quality criteria used. The decision is then made whether to proceed to the next phase or repair the software. A case study showi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Experience in testing the Motif interface

    Publication Year: 1991, Page(s):26 - 33
    Cited by:  Papers (5)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1222 KB)

    The testing and quality assurance of the Motif 1.0 graphical user-interface software are described. The testing goals, which fell into three general categories (code coverage, defect-density, and defect-arrival rate), and a deliverable formal test suite are examined. The three phases of the testing process-evaluation, test development, and regression testing-and the tools used in testing are discu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A cost-effective approach to testing

    Publication Year: 1991, Page(s):34 - 40
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (923 KB)

    A method for assessing the differential risk of failure among a system's modules is proposed. The procedure has three components: external-risk assessment, module exposure, and module-failure likelihood. External-risk assessment is a consideration of the system's environment, almost independent of the software's details. To estimate module exposure, the model relates individual modules and their p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Predicting where faults can hide from testing

    Publication Year: 1991, Page(s):41 - 48
    Cited by:  Papers (22)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (788 KB)

    Sensitivity analysis, which estimates the probability that a program location can hide a failure-causing fault, is addressed. The concept of sensitivity is discussed, and a fault/failure model that accounts for fault location is presented. Sensitivity analysis requires that every location be analyzed for three properties: the probability of execution occurring, the probability of infection occurri... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Test-case generation from Prolog-based specifications

    Publication Year: 1991, Page(s):49 - 57
    Cited by:  Papers (6)  |  Patents (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1032 KB)

    Automatic test-case generation from Prolog specifications encounters problems due to recursion, evaluable predicates, and term ordering. A metainterpreter that controls recursion by using a deterministic automaton to monitor its progress through the specification is presented. The automaton is also used to define which paths through the specification are to be used as test cases, so the metainterp... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Selecting and using data for integration testing

    Publication Year: 1991, Page(s):58 - 65
    Cited by:  Papers (26)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1167 KB)

    The extension of dataflow testing to interprocedural testing is described. This was done by developing both an analysis technique that computes the required interprocedural definition-use information, for both direct and indirect dependencies and a testing technique that uses this information in selecting and executing the subpaths across procedure boundaries. A testing tool that implements this t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Replay and testing for concurrent programs

    Publication Year: 1991, Page(s):66 - 74
    Cited by:  Papers (33)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (919 KB)

    Attention is given to the problems that arise during the testing and debugging cycle of concurrent programs because of their nondeterministic execution behavior, whereby multiple executions of a concurrent program with the same input may exercise different synchronization sequences and even produce different results. These problems are solved by using deterministic execution debugging and testing.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A tool shelf for tracking design decisions

    Publication Year: 1991, Page(s):75 - 83
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1503 KB)

    An extensible conceptual model for recording design decisions and other supporting information is described along with the tool shell OSC in which it is embedded. The OSC shell consists of a design database and a family of query, manipulation, and extension facilities. The design database maintains a record of the design process. The extension facilities can be used to enrich the design database s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Atomic delegation: object-oriented transactions

    Publication Year: 1991, Page(s):84 - 92
    Cited by:  Papers (2)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1481 KB)

    Atomic delegation, an object-oriented linguistic mechanism that allows the creation of dynamically defined classes of atomic actions is presented. When a type is modified, atomic delegation updates functionalities of the the types that delegate to the modified type. This mechanism permits dynamic binding and code reuse in atomic actions. The Sina language is used to illustrate the utility of atomi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Touch screens now offer compelling uses

    Publication Year: 1991, Page(s):93 - 94
    Cited by:  Papers (5)  |  Patents (50)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (489 KB)

    Research on improving the user interfaces of touch screen applications is described. The advantages of touch screens are discusses, their current capabilities are examined, and possible future developments are considered.<> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Improving service while controlling costs (software management)

    Publication Year: 1991, Page(s):95 - 96
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (243 KB)

    The need for performance engineering is described in terms software managers can use to make the case to upper management. Performance engineering is defined as a method for constructing systems to meet performance objectives. As a development approach, it lies between the extremes of performance-driven development and fixing it later. Some successful applications of this approach are examined.< View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Trends in measurement, estimation, and control (software engineering)

    Publication Year: 1991, Page(s):105 - 107
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (512 KB)

    As an expert in quantitative aspects of software management, the author shares his view of where the industry is and where it is going. He identifies a few basic measures that have been used successfully in management and describes the direction that measurement is being driven by the pressure of total quality management.<> View full abstract»

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

Aims & Scope

IEEE Software delivers reliable, useful, leading-edge software development information to keep engineers and managers abreast of rapid technology change.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Diomidis Spinellis
Athens University of Economics and Business
28is Oktovriou 76
Athina 104 33, Greece
dds@computer.org