提出新软件工程范式,解决复杂系统建模与重构难题
Introduction to Analytical Software Engineering Design Paradigm
- 构建分析型软件工程范式,平衡抽象性与可扩展性
- 通过BSS和ODR框架实现设计模式精准检测与高效重构
- 适合关注代码可维护性与自动化优化的研究者
随着现代软件系统规模与复杂度持续增长,其建模与形式化挑战日益严峻。传统方法在维护评估中的设计模式检测、代码重构优化等任务中表现不足。本文提出分析型软件工程(ASE)新范式,旨在兼顾抽象性、工具可用性、兼容性与可扩展性,有效应对复杂软件工程问题。该范式通过两个遵循其原则的框架进行验证:行为-结构序列(BSS)提供语言无关的代码库紧凑表示,提升设计模式检测精度;优化设计重构(ODR)统一构件与解决方案表示,利用启发式算法优化重构过程,消除迭代计算开销。ASE为未来复杂软件度量的编码与分析研究奠定基础。
原文摘要 · Abstract (English)
As modern software systems expand in scale and complexity, the challenges associated with their modeling and formulation grow increasingly intricate. Traditional approaches often fall short in effectively addressing these complexities, particularly in tasks such as design pattern detection for maintenance and assessment, as well as code refactoring for optimization and long-term sustainability. This growing inadequacy underscores the need for a paradigm shift in how such challenges are approached and resolved. This paper presents Analytical Software Engineering (ASE), a novel design paradigm aimed at balancing abstraction, tool accessibility, compatibility, and scalability. ASE enables effective modeling and resolution of complex software engineering problems. The paradigm is evaluated through two frameworks Behavioral-Structural Sequences (BSS) and Optimized Design Refactoring (ODR), both developed in accordance with ASE principles. BSS offers a compact, language-agnostic representation of codebases to facilitate precise design pattern detection. ODR unifies artifact and solution representations to optimize code refactoring via heuristic algorithms while eliminating iterative computational overhead. By providing a structured approach to software design challenges, ASE lays the groundwork for future research in encoding and analyzing complex software metrics.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。