FORMT: Form-based Mutation Testing of Logical Specifications

TL;DR

This paper introduces FORMT, a system for mutation testing of logical specifications by transforming them into form-based expressions and injecting faults, applicable across various domains like programming, ontologies, and hardware.

Contribution

The paper presents a novel system that transforms logical specifications into form-based expressions and enables mutation testing, extending its application to diverse logical domains.

Findings

System effectively maintains test case bases for logical specs.

Transforms first-order logic specifications into form-based expressions.

Supports fault injection across multiple logical specification domains.

Abstract

The draft paper defines a system, which is capable of maintaining bases of test cases for logical specifications. The specifications, which are subject to this system are transformed from their original shape in first-order logic to form-based expressions as originally introduced in logics of George Spencer-Brown. The innovation comes from the operations the system provides when injecting faults - so-called mutations - to the specifications. The system presented here applies to logical specifications from areas as different as programming, ontologies or hardware specifications.