By Topic

IEE Proceedings - Software Engineering

Issue 5 • Oct/Dec 1997

Filter Results

Displaying Results 1 - 7 of 7
  • Testing from semi-independent communicating finite state machines with a slow environment

    Publication Year: 1997, Page(s):291 - 295
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (476 KB)

    Some systems may be modelled as a set of communicating finite state machines with a slow environment. These machines communicate through the exchange of values. While it is possible to convert such a model into one finite state machine, from which test cases can be derived, this process may lead to an explosion in the number of states. Alternatively it is possible to utilise any independence that ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Bringing the `real world' of software engineering to university undergraduate courses

    Publication Year: 1997, Page(s):287 - 290
    Cited by:  Papers (9)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (456 KB)

    In May 1992 the Software Engineering Journal described a GPT course for new computer science graduates to introduce them to the working environment found in the `real world' of software engineering. The company has however, noticed an improvement in their graduates' awareness and preparation for the workplace as many universities now include modules in their computer science degrees that give real... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • VOCAL: a framework for test identification and deployment

    Publication Year: 1997, Page(s):249 - 260
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1580 KB)

    Viewpoint oriented verification and validation (VOCAL) is a novel technique for the identification and application of a structured life-cycle based software testing process to a broad array of systems. Application of the technique can be specifically tailored to embedded, interactive and multimedia applications, as well as those systems requiring a well defined approach in the quality assurance pr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The danger of using axioms in software metrics

    Publication Year: 1997, Page(s):279 - 285
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (748 KB)

    The authors contrast axiom sets used in mathematics with those used in software metrics research. There are striking differences in the way the two types of axiom sets are derived and their intended purpose. In particular, axiom sets in software metrics are primarily used for purposes of definition, whereas in mathematics they are used for logical deduction. In addition, software metrics axiom set... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Exploiting architectural style to develop a family of applications

    Publication Year: 1997, Page(s):237 - 248
    Cited by:  Papers (7)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1760 KB)

    Reuse of large-grain software components offers the potential for significant savings in application development cost and time. Successful reuse of components and component substitutability depend both on the qualities of the components reused as well as the software context in which the reuse is attempted. Disciplined approaches to the structure and design of software applications offer the poten... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards an integrated method for hybrid information system development

    Publication Year: 1997, Page(s):261 - 269
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (908 KB)

    This paper describes an integrated method for the development of hybrid information systems, which combines conventional information system development methods with knowledge based system development methods. The method is an integration of four existing methods using two integration process approaches: intraprocess and interprocess. In the requirements analysis phase, a structured method is appli... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Optimal improvement of the lower bound performance of partition testing strategies

    Publication Year: 1997, Page(s):271 - 278
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (836 KB)

    Although partition testing strategies are intuitively more appealing than random testing, previous empirical and analytical studies show that under unfavourable circumstances partition testing can be very ineffective. The problem of maximally improving the lower bound performance of partition testing by the choice of appropriate test distributions is investigated. An algorithm that generates optim... View full abstract»

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