Model Driven Re-engineering with the Fields of Re- structuring: Software Quality Assurance Theory

Introducing Model Driven Software Development (MDSD) into industrial projects is rarely done as a “green field” development. The usual path is to make a transition from code-centric (CC) development in existing projects into MDSD in a step-wise manner. Similarly to all other software development activities; software quality assurance needs to be adjusted to meet the new challenges arising when using models instead of the code for the mainstream development. In this chapter we present a set of empirical data on the issues related to transitioning from CC to MDSD projects in industry. First; we present results from a set of experiments evaluating how a domain specific notation affects the effectiveness and efficiency of reading techniques used for inspecting models. Second; we present a comparison of productivity increase when changing to MDSD projects from one of the large Swedish companies. Finally we present a short survey on the prioritization of products; projects; and resource metrics in MDSD projects.

Download Full-text

Matrix-based component dependence representation and its applications in software quality assurance

ACM SIGPLAN Notices ◽

10.1145/1107541.1107546 ◽

2005 ◽

Vol 40 (11) ◽

pp. 29-36 ◽

Cited By ~ 11

Author(s):

Bixin Li ◽

Ying Zhou ◽

Yancheng Wang ◽

Junhui Mo

Keyword(s):

Quality Assurance ◽

Software Quality ◽

Software Quality Assurance

Download Full-text

Benchmarking PRAISE-CANDU 1.0 With xLPR 1.0

Volume 2: Computer Technology and Bolted Joints ◽

10.1115/pvp2013-98010 ◽

2013 ◽

Cited By ~ 1

Author(s):

Min Wang ◽

Xinjian Duan ◽

Michael J. Kozluk

Keyword(s):

Quality Assurance ◽

Pilot Study ◽

Fracture Mechanics ◽

Software Quality ◽

Verification And Validation ◽

Quality Assurance Program ◽

Software Quality Assurance ◽

Full Compliance ◽

Low Probability ◽

State Of Art

A probabilistic fracture mechanics code, PRAISE-CANDU 1.0, has been developed under a software quality assurance program in full compliance with CSA N286.7-99, and was initially released in 2012 June. Extensive verification and validation has been performed on PRAISE-CANDU 1.0 for the purpose of software quality assurance. This paper presents the benchmarking performed between PRAISE-CANDU 1.0 and xLPR (eXtremely Low Probability of Rupture) version 1.0 using the cases from the xLPR pilot study. The xLPR code was developed in a configuration management and quality assured manner. Both codes adopted a state-of-art code architecture for the treatment of the uncertainties. Inputs to the PRAISE-CANDU were established as close as possible to those used in corresponding xLPR cases. Excellent agreement has been observed among the results obtained from the two PFM codes in spite of some differences between the codes. This benchmarking is considered to be an important element of the validation of PRAISE-CANDU.

Download Full-text