Formalizing Test Levels for Architectural Alignment and Overall Optimization
With the widespread adoption of Microservice Architecture and Domain-Driven Design (DDD), establishing a test strategy that aligns with software architecture is crucial. However, existing test classifications often suffer from ambiguity or from a lack of explicit alignment with software architectural concerns, leading to increased communication overhead and inefficient test structures in practice. This paper proposes a method that formally redefines well-known test levels—Unit, Integration, and E2E—based on “process boundaries” and “external I/O,” and deductively maps them to the responsibilities of a typical layered architecture. Furthermore, we present a case study applying this method to the development of a large-scale, mission-critical SaaS in the financial domain. Through an empirical evaluation in a production environment, the results demonstrate that the proposed approach significantly expanded the scope of assurance while maintaining execution speed and reliability, contributing to the overall optimization of the testing strategy in complex distributed systems.
Wed 20 MayDisplayed time zone: Seoul change
15:30 - 17:00 | Security, Fairness & Architectural AlignmentResearch Papers / Industry at Room 101 Chair(s): Amjed Tahir Massey University | ||
15:30 25mTalk | Do Language Models Prefer Vulnerable Code? A Probabilistic Study of Insecure Code Preference Research Papers Rui Melo Carnegie Mellon University and Faculty of Engineering, University of Porto, Sofia Reis Faculty of Engineering of the University of Porto, Andre Catarino Faculty of Engineering, University of Porto, Rui Abreu University of Porto Pre-print | ||
15:55 25mTalk | Raven: Mining Defensive Patterns in Ethereum via Semantic Transaction Revert Invariants Categories Research Papers Mojtaba Eshghie Umeå University, Melissa Mazura KTH Royal Institute of Technology, Alexandre Bartel Umeå University | ||
16:20 25mTalk | Individual Fairness Testing in Fairness through Unawareness Research Papers | ||
16:45 15mTalk | Formalizing Test Levels for Architectural Alignment and Overall Optimization Industry | ||