SEAFOX

• 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

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)

• C#
• .NET

Software testers

Publicly available