Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller (Extended Version)

This repository contains (i) the source code of a Java project called "jEULYNX"; (ii) the extended source code and binaries of a software simulator of a EULYNX Point subsystem; and (iii) PDFs with instructions on how to install the software and how to reproduce the findings from our paper. The jEULYNX software is the implementation of our SIC test suite generation approach, and runs on any platform that supports a JVM version 18 or higher. The extended software simulator is our case study, and runs on MS Windows 10/11 platforms.

本代码仓库包含以下三部分内容：(i) 一款名为"jEULYNX"的Java项目的源代码；(ii) EULYNX道岔子系统软件模拟器的扩展源代码与二进制文件；(iii) 用于指导该软件安装以及复现我们论文研究成果的PDF文档。jEULYNX软件是我们的SIC测试套件生成方法的实现，可在任意支持Java虚拟机（JVM）18及以上版本的平台上运行。该扩展软件模拟器作为本研究的案例对象，仅可在微软Windows（MS Windows）10/11平台上运行。