By Topic

IET Software

Issue 5 • Date October 2010

Filter Results

Displaying Results 1 - 5 of 5
  • Unified modelling and analysis of collaboration business process based on Petri nets and Pi calculus

    Publication Year: 2010, Page(s):303 - 317
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (745 KB)

    Collaboration business processes enable organisations to communicate, interact and cooperate with each other to achieve their business goals. It becomes more and more important to model and analyse collaboration business processes to guarantee their correctness and consistence. Among various formal methods, Petri nets have become one of the major formal methods due to its strong mathematical found... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evaluation of the 'replace constructors with creation methods' refactoring in Java systems

    Publication Year: 2010, Page(s):318 - 333
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (715 KB)

    Class constructors play an indispensable role in the Java language as a mechanism for object creation. However, little empirical evidence exists on constructors, trends in their composition and how a class with too many constructors might influence its understandability by developers. Herein, the authors investigate the applicability of the `replace constructors with creation methods` (RCwCM) refa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automated software test optimisation framework - an artificial bee colony optimisation-based approach

    Publication Year: 2010, Page(s):334 - 348
    Cited by:  Papers (5)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (645 KB)

    Software test suite optimisation is one of the most important problems in software engineering research. To achieve this optimisation, a novel approach based on artificial bee colony (ABC) optimisation is proposed here. The work applied in this approach is motivated by the intelligent behaviour of honey bees. Since the ABC system combines local search methods carried out by employed and onlooker b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Systematic selection of software architecture styles

    Publication Year: 2010, Page(s):349 - 360
    Cited by:  Papers (4)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (291 KB)

    Selecting appropriate styles for software architectures is important as styles impact characteristics of software (e.g. reliability). Moreover, styles influence how software is built as they determine architectural elements (e.g. components, connectors) and rules on how these elements are integrated in the architecture. Therefore this study presents a method, called SYSAS, for the systematic selec... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic detection of infeasible paths in software testing

    Publication Year: 2010, Page(s):361 - 370
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (334 KB)

    A challenging problem in path-oriented test data generation is the presence of infeasible paths. Timely detecting these infeasible paths cannot only save test resources but also improve test efficiency. A popular method of detecting infeasible paths is to determine branch correlations, which is a difficult task and usually cannot be done timely and exactly. In this study, the authors propose a met... View full abstract»

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

Aims & Scope

IET Software publishes papers on all aspects of the software lifecycle, including design, development, implementation and maintenance.

Full Aims & Scope

Meet Our Editors

Publisher
IET Research Journals
iet_sen@theiet.org