Architecture conformance analysis using model‐based testing: A case study approach

Context: The architectural drift problem defines the discrepancy between the architecture description and the code. Deviations of the code from the architecture can occur if architectural constraints as defined in the architectural models are not implemented in the code. For large‐scale systems, manually checking the consistency of the architecture with the code is not trivial and cumbersome.

[1]  Stephan Merz,et al.  Model Checking , 2000 .

[2]  Krzysztof Czarnecki,et al.  A recommendation system for repairing violations detected by static architecture conformance checking , 2015, Softw. Pract. Exp..

[3]  Bedir Tekinerdogan,et al.  Integrating Platform Selection Rules in the Model Driven Architecture Approach , 2003, MDAFA.

[4]  Jens Knodel,et al.  A Comparison of Static Architecture Compliance Checking Approaches , 2007, 2007 Working IEEE/IFIP Conference on Software Architecture (WICSA'07).

[5]  Bedir Tekinerdogan,et al.  Model-based testing for software safety: a systematic mapping study , 2017, Software Quality Journal.

[6]  Shari Lawrence Pfleeger,et al.  Principles of survey research part 6: data analysis , 2003, SOEN.

[7]  Recommended Practice for Architectural Description of Software-Intensive Systems , 1999 .

[8]  Shari Lawrence Pfleeger,et al.  Principles of survey research part 2: designing a survey , 2002, SOEN.

[9]  Per Runeson,et al.  Guidelines for conducting and reporting case study research in software engineering , 2009, Empirical Software Engineering.

[10]  Flavio Oquendo,et al.  Software Architecture , 2004, Lecture Notes in Computer Science.

[11]  Nuno Silva,et al.  Verification and Validation of (Real Time) COTS Products using Fault Injection Techniques , 2007, 2007 Sixth International IEEE Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems (ICCBSS'07).

[12]  Bedir Tekinerdogan,et al.  Evaluation framework for software architecture viewpoint languages , 2013, QoSA '13.

[13]  Kai Petersen,et al.  Benefits and limitations of automated software testing: Systematic literature review and practitioner survey , 2012, 2012 7th International Workshop on Automation of Software Test (AST).

[14]  David Garlan,et al.  Documenting software architectures: views and beyond , 2002, 25th International Conference on Software Engineering, 2003. Proceedings..

[15]  David Notkin,et al.  Software Reflexion Models: Bridging the Gap between Design and Implementation , 2001, IEEE Trans. Software Eng..

[16]  Henry Muccini,et al.  Deriving test plans from architectural descriptions , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[17]  Bedir Tekinerdogan,et al.  Feature-Based Rationale Management System for Supporting Software Architecture Adaptation , 2012, Int. J. Softw. Eng. Knowl. Eng..

[18]  Shari Lawrence Pfleeger,et al.  Principles of survey research: part 3: constructing a survey instrument , 2002, SOEN.

[19]  Bixin Li,et al.  A classification and comparison of model checking software architecture techniques , 2010, J. Syst. Softw..

[20]  Sebastian Herold,et al.  Architecture consistency: State of the practice, challenges and requirements , 2017, Empirical Software Engineering.

[21]  Bruno Legeard,et al.  A taxonomy of model‐based testing approaches , 2012, Softw. Test. Verification Reliab..

[22]  Richard Mark Soley,et al.  Software Quality Assurance: In Large Scale and Complex Software-intensive Systems , 2015 .

[23]  A. Jefferson Offutt,et al.  Deriving tests from software architectures , 2001, Proceedings 12th International Symposium on Software Reliability Engineering.

[24]  Shari Lawrence Pfleeger,et al.  Principles of survey research part 4: questionnaire evaluation , 2002, SOEN.

[25]  Bedir Tekinerdogan,et al.  Model-driven architecture based testing: A systematic literature review , 2018, Inf. Softw. Technol..

[26]  B. Tekinerdogan,et al.  Architectural Drift Analysis using Design Structure Reflexion Matrices , 2015 .

[27]  Rainer Koschke,et al.  Hierarchical reflexion models , 2003, 10th Working Conference on Reverse Engineering, 2003. WCRE 2003. Proceedings..

[28]  Giuliano Antoniol,et al.  Maintaining traceability links during object‐oriented software evolution , 2001, Softw. Pract. Exp..

[29]  Muhammad Ali Babar,et al.  Assessing architectural drift in commercial software development: a case study , 2011, Softw. Pract. Exp..

[30]  Henry Muccini,et al.  Using software architecture for code testing , 2004, IEEE Transactions on Software Engineering.

[31]  Paul Pettersson,et al.  An Architecture-Based Verification Technique for AADL Specifications , 2011, ECSA.

[32]  Christel Baier,et al.  Principles of model checking , 2008 .

[33]  Rajesh Subramanyan,et al.  A survey on model-based testing approaches: a systematic review , 2007, WEASELTech '07.

[34]  Mark Harman,et al.  Higher Order Mutation Testing , 2009, Inf. Softw. Technol..

[35]  Marcelo R. Campo,et al.  Assisting conformance checks between architectural scenarios and implementation , 2012, Inf. Softw. Technol..

[36]  Shari Lawrence Pfleeger,et al.  Principles of survey research: part 5: populations and samples , 2002, SOEN.

[37]  Bedir Tekinerdogan,et al.  Software Language Engineering of Architectural Viewpoints , 2011, ECSA.

[38]  Gary McGraw,et al.  Software fault injection: inoculating programs against errors , 1997 .

[39]  Acm Sigsoft.  QoSA '13 : proceedings of the 9th International ACM Sigsoft Conference on the Quality of Software Architectures : June 17-21, 2013, Vancouver, BC, Canada , 2013 .

[40]  Paul A. Strooper,et al.  Automated Generation of Test Cases Using Model-Driven Architecture , 2007, Second International Workshop on Automation of Software Test (AST '07).

[41]  Mauro Pezzè,et al.  Software testing and analysis - process, principles and techniques , 2007 .

[42]  Hassan Reza,et al.  Model Based Testing Using Software Architecture , 2010, 2010 Seventh International Conference on Information Technology: New Generations.

[43]  Larry J Morell,et al.  A Theory of Fault-Based Testing , 1990, IEEE Trans. Software Eng..