GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — GitHub - SoftwareObservatorium/arena-python: LASSO Arena Test Driver for Python

BranchesTags
Open more actions menu

Latest commit

 

History

53 Commits
53 Commits

Folders and files

NameName
Last commit message
Last commit date
.idea
.idea
 
 
arena
arena
 
 
code-samples
code-samples
 
 
lasso
lasso
 
 
notebooks
notebooks
 
 
ssl
ssl
 
 
tests
tests
 
 
.gitignore
.gitignore
 
 
.gitlab-ci.yml
.gitlab-ci.yml
 
 
Dockerfile
Dockerfile
 
 
LICENSE
LICENSE
 
 
README.md
README.md
 
 
__init__.py
__init__.py
 
 
main.py
main.py
 
 
pyproject.toml
pyproject.toml
 
 
requirements.txt
requirements.txt
 
 

Repository files navigation

LASSO Arena Test-Driver for Python

work in progress

For more information about the arena and the LASSO platform, visit our website: https://softwareobservatorium.github.io/

Install

Assumes Python3 >= 3.12 (tested with Ubuntu 24.04 LTS)

Using pip

Example using Python's virtual environment (you need to have virtualenv installed; e.g. using pip)

pip3 install virtualenv # depending on your OS/Python distribution

Clone and install all required dependencies

git clone https://github.com/SoftwareObservatorium/arena-python.git
python3 -m venv arena
source arena/bin/activate
cd arena-python/

Install packages

pip3 install -r requirements.txt

Using hatch

project is managed with hatch (https://hatch.pypa.io/latest/)

git clone https://github.com/SoftwareObservatorium/arena-python.git
python3 -m venv arena
source arena/bin/activate
cd arena-python/

Install hatch

pip3 install hatch

Build project

python3 -m hatch build

Test project

python3 -m hatch test

Optional Dependencies (Jupyter+Pandas)

To run the example notebooks, the following dependencies need to be installed as well

pip3 install jupyter
pip3 install pandas

# start jupyter locally
jupyter lab

LQL Parser

LQL parser in python using antlr4 grammar

  • antlr4-python3-runtime
  • lqlparser.py

Sequence sheet notation (SSN)

Sequence sheet notation and engine realized in python.

  • ssntestdriver.py

Adaptation

Adaptation strategies are realized in

  • adaptation.py

Introspection and class loading

  • introspection.py
  • execution.py

Stimulus Matrix (SM) / Stimulus Response Matrix (SRM)

SMs and SRMs are based on pandas DataFrame

  • arena.py

Demonstration

Jupyter Notebooks

see examples in notebooks

  • Load units under tests from local machine
  • Use builtin types (collections example)
  • Use LLMs (via Ollama/OpenAI) to generate units under test (i.e., code candidates)
  • Adapt to function signature mismatches - Use LLMs (via Ollama/OpenAI) to generate units under test (i.e., code candidates)

Tests that demonstrate the arena test driver can be found in tests/.

  • arena_test.py contains integration tests (system tests)

Usage: Docker (under construction)

Build

docker build -t swtrepo.informatik.uni-mannheim.de:5050/docker/lasso/arena-python:latest -f Dockerfile .

Run on ony project directory

docker run --network host -v "$PWD":/project swtrepo.informatik.uni-mannheim.de:5050/docker/lasso/arena-python:latest \
    --someparam=XXX

About

LASSO Arena Test Driver for Python

Resources

Readme
License
Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

Packages

Used by

Contributors

Languages

You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.