An Experimental Study of Software Metrics for Real-Time Software

Jensen, H.A.; Vairavan, K.

doi:10.1109/tse.1985.232199

Cited by 44 publications

(7 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Jensen and Vairavan [35] report that Henry and Kafura's work [32] related their information flow metric to the occurrence of errors, whereas the original relationship was actually between the metric and program changes.…”

Section: Results Interpretationmentioning

confidence: 99%

Rigor in software complexity measurement experimentation

MacDonell

1991

Journal of Systems and Software

View full text Add to dashboard Cite

The lack of widespread industry acceptance of much of the research into the measurement of software complexity must be due at least in part to the lack of experimental rigour associated with many of the studies. This paper examines thirteen areas in which previous empirical problems have arisen, citing examples where appropriate, and provides some recommendations regarding more adequate procedures.

show abstract

Section: Results Interpretationmentioning

confidence: 99%

Rigor in software complexity measurement experimentation

MacDonell

1991

Journal of Systems and Software

View full text Add to dashboard Cite

show abstract

“…Algorithm analysis provides the means for microscopic examination of the software system's process-logic and its adequacy, in the area of the requirements and design. (Jones, 1986) 2.1.2 Cause-effect Analysis (Davis, 1990) 2.1.3 Symbolic Execution (King, 1976) 2.1 A Decision Tables (Omar, 1991) 2.1.5 Trace-assertion Method (Parnas, 1988) 2.1.6 Functional Abstraction (Mills, 1987) 2.1.7 L-D Relation Methods (Parnas, 1988) 2.1.8 Program Proving (Mills, 1987) 2.1.9 Metric Analyses (Jensen, 1985) 2.1.1 0 Algebraic Specification (Uhrig, 1985)…”

Section: Static Testing Methods6mentioning

confidence: 99%

Guidelines for the verification and validation of expert system software and conventional software: Survey and assessment of conventional software verification and validation methods. Volume 2

Mirsky¹,

Groundwater²,

Hayes³

et al. 1995

View full text Add to dashboard Cite

The following documents In t h e NUREG serles a r e available for purchase from t h e Government Printing Office: formal NRC staff and contractor reports, NRC-sponsored conference proceedings, international agreement reports, grantee reports, and NRC booklets and brochures. Also available are regulatory guides, NRC regulatlons In t h e Code of Federal Regulations, and Nuclear Regulatory Commission Issuances. Documents avallable from the Natlonal Technical Information Service Include NUREG-series reports and technlcal reports prepared by other Federal agencles and reports prepared by the Atomic Energy Commission, forerunner agency to t h e Nuclear Regulatory Commlssion. Documents available from public and special technical libraries include all open literature Items, such as books, journal artlcles, and transactions. Federal Register notices, Federal and State legislation. and congressional reports c a n usually b e obtained from these libraries.Documents such as theses, dissertations. foreign reports and translations, and non-NRC conference proceedings a r e available for purchase from the organization sponsoring the publication cited.Slngle copies of NRC draft reports a r e available free. to the extent of supply, upon written request to the Office of Administration. Dlstributlon and Mail Services Section, U.S. Nuclear Regulatory Commisslon, Washington, DC 20555-0001.Coples of Industry codes and standards used In a substantive manner In the NRC regulatory process a r e malntained at t h e NRC Library, Two White Flint North, 11545 Rockville Pike, Rockville. MD 20852-2738, for use by the public. Codes and standards are usually copyrighted and may be purchased from the originating organizatlon or, If they a r e American National Standards. from the American National Standards Institute. 1430 Broadway, New York, NY 10018-3308. DISCLAIMER NOTICEThis report was prepared as an account of work sponsored by an agency of the United States Government.Neitherthe UnitedStatesGovernment norany agencythereof, norany oftheiremployees, makes anywarranty, expressed or implied, or assumes a n y legal liability or responsibility for a n y third party's use, o r t h e results of such use, of a n y information, apparatus, product, or process disclosed in this report, or represents that its use by s u c h third party would not infringe privately owned rights. DISCLAIMER Portions ABSTRACTBy means of a literature survey, a comprehensive set of methods was identified for the verification and validation of conventional solbvare. The 153 methods so identified were classified according to their appropriateness for various phases of a developmental life-cycle --requirements, design, and implementation; the last category was subdivided into two, static testing and dynamic testing methods. The methods were then characterized in terms of eight rating factors, four concerning ease-of-use of the methods and four concerning the methods' power to detect defects. Based on these factors, two measurements were developed to permit quantitative compar...

show abstract

“…+ log 2 η 2 !, McCabe's cyclomatic complexity (v(G) = e − n + 2), where e is the number of edges in a control flowgraph representation of a program with n nodes, and Belady's bandwidth metric (BW), where BW = (1/n) i iL i , where L i represents the number of nodes at level i in a nested control flowgraph of n nodes. More details about all these metrics can be found in [28,35,38]. Using these metrics each module was described by an 11-dimensional vector.…”

Section: Real Applicationmentioning

confidence: 99%

Software modules categorization through likelihood and bayesian analysis of finite dirichlet mixtures

Bouguila

Wang

Hamza

2010

Journal of Applied Statistics

View full text Add to dashboard Cite

In this paper, we examine deterministic and Bayesian methods for analyzing finite Dirichlet mixtures. The deterministic method is based on the likelihood approach, and the Bayesian approach is implemented using the Gibbs sampler. The selection of the number of clusters for both approaches is based on the Bayesian information criterion, which is equivalent to the minimum description length. Experimental results are presented using simulated data, and a real application for software modules classification is also included.dirichlet distribution, mixture modeling, maximum likelihood, EM, MDL, BIC, Bayesian analysis, Gibbs sampling, Metropolis-Hastings, software modules,

show abstract

An Experimental Study of Software Metrics for Real-Time Software

Cited by 44 publications

References 9 publications

Rigor in software complexity measurement experimentation

Rigor in software complexity measurement experimentation

Guidelines for the verification and validation of expert system software and conventional software: Survey and assessment of conventional software verification and validation methods. Volume 2

Software modules categorization through likelihood and bayesian analysis of finite dirichlet mixtures

Contact Info

Product

Resources

About