Objective safety compliance checks for source code

Mayr, Alois; Plösch, Reinhold; Saft, Matthias

doi:10.1145/2591062.2591178

Cited by 6 publications

(2 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The study was based on open-source software and did not consider industrial strength software. This is a threat to validity as we know from other work [56] that there are, for example, significant differences in internal software quality between safety-critical and non-safety-critical software. We therefore cannot conclude whether our approach would also hold for safety critical systems.…”

Section: Threats To Validitymentioning

confidence: 99%

Operationalised product quality models and assessment: The Quamoco approach

Wagner

Goeb²,

Heinemann³

et al. 2015

Information and Software Technology

Self Cite

View full text Add to dashboard Cite

Context Software quality models provide either abstract quality characteristics or concrete quality measurements; there is no seamless integration of these two aspects. Quality assessment approaches are, hence, also very specific or remain abstract. Reasons for this include the complexity of quality and the various quality profiles in different domains which make it difficult to build operationalised quality models. Objective In the project Quamoco, we developed a comprehensive approach aimed at closing this gap. Method The project combined constructive research, which involved a broad range of quality experts from academia and industry in workshops, sprint work and reviews, with empirical studies. All deliverables within the project were peer-reviewed by two project members from a different area. Most deliverables were developed in two or three iterations and underwent an evaluation. Results We contribute a comprehensive quality modelling and assessment approach: (1) A meta quality model defines the structure of operationalised quality models. It includes the concept of a product factor, which bridges the gap between concrete measurements and abstract quality aspects, and allows modularisation to create modules for specific domains. (2) A largely technology-independent base quality model reduces the effort and complexity of building quality models for specific domains. For Java and C# systems, we refined it with about 300 concrete product factors and 500 measures. (3) A concrete and comprehensive quality assessment approach makes use of the concepts in the meta-model. (4) An empirical evaluation of the above results using real-world software systems showed: (a) The assessment results using the base model largely match the expectations of experts for the corresponding systems. (b) The approach and models are well understood by practitioners and considered to be both consistent and well suited for getting an overall view on the quality of a software product. The validity of the base quality model could not be shown conclusively, however. (5) The extensive, open-source tool support is in a mature state. (6) The model for embedded software systems is a proof-of-concept for domain-specific quality models. Conclusion We provide a broad basis for the development and application of quality models in industrial practice as well as a basis for further extension, validation and comparison with other approaches in research

show abstract

Section: Threats To Validitymentioning

confidence: 99%

Operationalised product quality models and assessment: The Quamoco approach

Wagner

Goeb²,

Heinemann³

et al. 2015

Information and Software Technology

Self Cite

View full text Add to dashboard Cite

show abstract

“…In previous work, we have already made good experience and gained knowledge in assessing source code quality by measuring quality aspects based on violations of best coding practices as shown in, e.g., [ [MPS14]. We want to map this idea to the domain of object-oriented design by identifying violations of object-oriented design best practices directly from the source code.…”

Section: Introductionmentioning

confidence: 99%

MUSE: A Framework for Measuring Object-Oriented Design Quality.

Plösch¹,

Bräuer²,

Körner³

et al. 2016

JOT

Self Cite

View full text Add to dashboard Cite

Good object-oriented design facilitates the maintainability of a software product. While metric-based approaches and the idea of identifying design smells have been established, there still remains the gap of verifying the compliance of design best practices in source code. Thus, there is no comprehensive set of metrics or design best practices that does not only support design measurement and evaluation but can also guide the improvement process. This paper proposes a novel approach based on measuring design best practices that closes the gap between the identification of design flaws and the support for improvements. An expert group six researchers captured a set of 67 design best practices that are implemented by the framework MUSE (Muse Understand Script Engine). For a first validation of MUSE in this paper, its measuring result is compared with QMOOD, which is an established metric-based approach for measuring the quality of object-oriented design. The qualitative assessment based on data from six versions of the Java tool jEdit shows that MUSE is better suited to guide improvements than QMOOD, e.g., for the design property encapsulation QMOOD indicates no substantial changes in the design quality while the data provided by MUSE highlights that the encapsulation property of jEdit became worse over time. These first promising results of the application of MUSE have to be further validated and future work will concentrate on measuring object-oriented design principles.

show abstract

Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering

Dingel

2016

Graph Transformation

View full text Add to dashboard Cite

Objective safety compliance checks for source code

Cited by 6 publications

References 20 publications

Operationalised product quality models and assessment: The Quamoco approach

Operationalised product quality models and assessment: The Quamoco approach

MUSE: A Framework for Measuring Object-Oriented Design Quality.

Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering

Contact Info

Product

Resources

About