By Topic

IEE Proceedings - Software

Issue 6 • Date Dec 2001

 This issue contains several parts.Go to:  Part Supplement 

Filter Results

Displaying Results 1 - 2 of 2
  • Semantic characterisation of dead control-flow paths

    Publication Year: 2001, Page(s):175 - 186
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (966 KB)

    Many program verification, testing and performance prediction techniques rely on analysis of statically-identified control-flow paths. However, some such paths may be 'dead' because they can never be followed at run time, and should therefore be excluded from analysis. It is shown how the formal semantics of those statements comprising a path provides a sound theoretical foundation for identificat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using simulated data sets to compare data analysis techniques used for software cost modelling

    Publication Year: 2001, Page(s):165 - 174
    Cited by:  Papers (7)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (980 KB)

    The goals of the study presented were to compare different data analysis methods and to demonstrate the viability of simulation as a mechanism to allow such comparisons. Simulation was used to create data sets with a known underlying model and with non-Normal characteristics that are frequently found in software data sets: skewness, unstable variance, and outliers and combinations of these charact... View full abstract»

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