ITEA is the Eureka Cluster on software innovation
ITEA is the Eureka Cluster on software innovation
Dear visitor, please be informed that this is the ITEA staging environment. No actions here will be updated to production, feel free to test the system
ITEA 4 page header azure circular

SEAFOX

Project
17039 XIVT
Description
  • SEAFOX supports the generation of test suites using pairwise, base choice and random strategies
  • SEAFOX was used in several studies in order to support testing of industrial programs and fault detection
  • A tester using SEAFOX can automatically generate test suites needed for a given industrial IEC program after manually providing the input parameter range information based on the defined behavior written in the specification
Contact
Eduard Enoiu, Mälardalen University
Email
eduard.paul.enoiu@mdh.se
Technical features

Input(s):

  • .xlxs files
  • FBD IEC 61131-3 program (PLCOpen XML)

Main feature(s):

  • SEAFOX is the only available combinatorial test suite generation and selection tool for industrial control software

Output(s):

  • Test Cases (.xlxs)
Integration constraints
  • C#
  • .NET
Targeted customer(s)

Software testers

Conditions for reuse

Publicly available

Confidentiality
Public
Publication date
02-02-2022
Involved partners
Mälardalen University (SWE)