Skip to content
#software testing Open access

Consistency of Structure Expression and Symbolic Constraint: A Cross-Domain Empirical Study of Software Code and Genomic Data

Sep 2026 · Zenodo (CERN European Organization for Nuclear Research)

Abstract

This paper tests a statistical hypothesis about interacting multi-systems: when two persistently interacting systems express the same structure state consistently, that structure produces a more concentrated symbol distribution within either single system — in short, "a structure expressed consistently by two systems is a more constraining structure". The test is performed in two mutually independent domains. First, software code: four open-source code libraries (Flask, Requests, Click, NumPy, together with C/C++/Java counterparts) are treated as systems; syntactic structures of programs (e.g. conditional expressions, function definitions) as structure states; and the symbols that follow a structure (identifiers, syntactic tokens) as symbols. The consistency with which two libraries express the same structure state is measured by the anchoring fidelity A=1−JS/ln⁡2A=1−JS/ln2, where JSJS is the Jensen–Shannon divergence between the two libraries' symbol distributions (larger AA means higher consistency); the constraining power of a structure is measured by the conditional entropy HH of its symbol distribution (smaller HH means stronger constraint on subsequent symbols). The hypothesis H1 takes the testable form ρ(A,H)<0ρ(A,H)<0 (consistency is positively associated with constraining power). Second, genomics: the 65,423 human enhancers of the FANTOM5 database are treated as structures, and their activity bins across 1,827 biological samples as symbols; H1 is tested with the same pair of quantities. Main results: among 10 code-library pairs, 9 satisfy H1 (consistency and conditional entropy are significantly negatively correlated, ρ(A,H)=−0.45ρ(A,H)=−0.45 to −1.00−1.00), and the conclusion is robust under finite-sample corrections (subsets with N≥20/N≥50); in genomics, the "two-system" design based on biologically distinct sample clusters gives ρ(A,H)=−0.59ρ(A,H)=−0.59 to −0.60−0.60 (p≈0p≈0, n=59,379n=59,379) — the effect has the same sign and a similar magnitude in both domains. The paper also tests the theoretical corollary of "time-direction tilt": the angle between the two systems' per-structure symbol-change directions (time-direction vectors) should shrink as the consistency AA grows (ρ(A,∣θ∣)<0ρ(A,∣θ∣)<0); this corollary holds with a consistent sign on the software-code and genomic data, and is unstable on low-support C-language structures. Three methodological corrections are recorded faithfully: the column-mapping error of the original DNA script, the falsification of the original claim "random pairs lack this coupling", and the withdrawal of a first-order bias-correction formula. Keywords: multi-system interaction; structure consistency; conditional entropy; Jensen–Shannon divergence; finite-sample correction; software code; genomic enhancers 本文检验一个关于多系统相互作用的统计假说:当两个持续交互的系统对同一结构状态的表达彼此一致时,该结构在单系统内产生的符号分布更加集中——简言之,"被两个系统一致表达的结构,是更有约束力的结构"。 检验在两个彼此独立的领域进行。第一,软件代码:将四个开源代码库(Flask、Requests、Click、NumPy 及其 C/C++/Java 对照库)视为系统,将程序中的语法结构(如条件表达式、函数定义)视为结构状态,将结构后续出现的符号(标识符、语法标记)视为符号;两库对同一结构状态的一致程度用锚定保真度 A=1−JS/ln⁡2A=1−JS/ln2 度量(JSJS 为两库符号分布之间的 Jensen–Shannon 散度,AA 越大表示两库越一致),结构的约束力用符号分布的条件熵 HH 度量(HH 越小表示该结构对后续符号的约束越强)。假说 H1 的检验形式为 ρ(A,H)<0ρ(A,H)<0(一致性与约束力正相关)。第二,基因组:将 FANTOM5 数据库的 65,423 个人类增强子视为结构,将其跨 1,827 个生物样本的活性分档视为符号,用同一组量检验 H1。 主要结果:在 10 个代码库配对中,9 个满足 H1(一致性与条件熵显著负相关,ρ(A,H)=−0.45∼−1.00ρ(A,H)=−0.45∼−1.00),且结论在有限样本校正(N≥20/N≥50 子集)下稳健;在基因组中,按生物学样本群划分的"两系统"设计给出 ρ(A,H)=−0.59∼−0.60ρ(A,H)=−0.59∼−0.60(p≈0p≈0,n=59,379n=59,379)——两个领域的效应方向与量级一致。本文还检验了理论的推论"时间方向倾斜":一个结构在两个系统内各自的符号变化方向(时间方向向量)之间的夹角应随一致性 A 增大而收缩(ρ(A,∣θ∣)<0ρ(A,∣θ∣)<0);该推论在软件代码与基因组数据上方向一致地成立,而在低样本支撑的 C 语言结构上不稳定。文中如实记录了三处方法学修正:初版 DNA 脚本的列映射错误、初版"随机配对无耦合"结论被证伪、一阶偏置校正公式被撤回。 关键词:多系统交互;结构一致性;条件熵;Jensen–Shannon 散度;有限样本校正;软件代码;基因组增强子

View source

Similar papers

#computer vision Review Sep 2017

Agile Software Development Methods: Review and Analysis

This publication proposes a definition and a classification of agile software development approaches and analyses ten software development methods that can be characterized as being "agile" against the defined criterion.

P. Abrahamsson, O. Salo, Jussi Ronkainen et al. · 727 citations · ⚡54
#computer vision Jun 2008

The impact of agile practices on communication in software development

The study shows that agile practices improve both informal and formal communication, but indicates that, in larger development situations involving multiple external stakeholders, a mismatch of adequate communication mechanisms can sometimes even hinder the communication.

M. Pikkarainen, Jukka Haikara, O. Salo et al. · 401 citations · ⚡48
#machine learning Review Open access Oct 2014

Software development in startup companies: A systematic mapping study

The results indicate that software engineering work practices are chosen opportunistically, adapted and configured to provide value under the constrains imposed by the startup context.

Nicolò Paternoster, Carmine Giardino, M. Unterkalmsteiner et al. · 394 citations · ⚡54
#computer vision Review Mar 2008

Agile methods in European embedded software development organisations: a survey on the actual use and usefulness of Extreme Programming and Scrum

The results show that the embedded industry has been able to apply agile methods in its development processes and that the appreciation of the agile methods and their individual practices appears to increase once adopted and applied in practice.

O. Salo, P. Abrahamsson · 238 citations · ⚡9
#computer vision Open access Jul 2017

What happens when software developers are (un)happy

Consequences of happiness and unhappiness that are beneficial and detrimental for developers' mental well-being, the software development process, and the produced artifacts are found.

D. Graziotin, Fabian Fagerholm, Xiaofeng Wang et al. · 236 citations · ⚡13
#computer vision Open access Oct 2004

Mobile-D: an agile approach for mobile application development

The Mobile-D approach is briefly outlined here and the experiences gained from four case studies are discussed, which helped develop an agile development approach for mobile application development.

P. Abrahamsson, Antti Hanhineva, H. Hulkko et al. · 225 citations · ⚡18

Related blog posts

Microsoft Research Blog Oct 12, 2026

Simulating student learning for better AI tutoring

StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring appeared first on Microsoft Research.

MIT News · Artificial Intelligence Oct 2, 2026

Documenting the tech worker movement

Writing as a participant and researcher, PhD student JS Tan SM ’22 has co-authored a new book about the rise of tech worker protests and the employer backlash that followed.

MIT News · Artificial Intelligence Oct 2, 2026

Documenting the tech worker movement

Writing as a participant and researcher, PhD student JS Tan SM ’22 has co-authored a new book about the rise of tech worker protests and the employer backlash that followed.

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.