MOBIUSI INCDesigned for small-satellite and CubeSat flight software, this dataset provides state machine source code, test task instructions, transition scenarios, expected behavior, and corresponding Python unit tests and assertion examples. It covers normal transitions, invalid transitions, and safety-mode paths, with tasks for both test generation and assertion repair. The dataset supports code SFT and evaluation of models that generate or repair tests based on spacecraft operating-mode logic; the number of examples depends on the supplied package.
Overview
Preview
Schema
| Field | Type | Description |
|---|---|---|
| file_name | string | File name |
| task_type | string | The target task type inferred from the task instructions. |
| task_prompt | string | The original instructions for test generation or assertion repair. |
| unit_test_code | string | Target unit test code in Python format, expressing the test scenarios and assertions. |
| repair_rationale | string | For assertion repair tasks, explains the issue with the original assertion and the basis for the correction; may be an empty string for generation tasks. |
| transition_cases | array | State transitions, trigger conditions, and expected behavior organized from the state machine logic for testing. |
| expected_behavior | string | A brief description of expected behavior on the test path, including state changes, rejection of invalid requests, or safety protections. |
| expected_assertions | array | Key conditions or assertions that the unit test should verify. |
| implementation_source | string | Original source code for the state machine, preserving the programming language and code content in the example. |
Trust
Authorization Type
Proprietary - Commercial AI Training License (No Redistribution)
Commercial Use
Requires exclusive subscription or authorization contract (monthly or per-invocation charging)
Privacy and Anonymization
No PII, no real company names, simulated scenarios follow industry standards
Compliance System
Compliant with China's Data Security Law / EU GDPR / supports enterprise data access logs
FAQ
Post a request and let data providers reach out to you.
High-quality data, ready for your next AI breakthrough.
@dataset{Mobiusi2026,
title={CubeSat Flight Mode State Machine Unit Test Generation and Repair Dataset},
author={MOBIUSI INC},
year={2026},
url={https://www.mobiusi.com/datasets/d1a189d4f77c2d644ff51c1ff4288095?dataset_scene_id=20},
urldate={2026-10-19},
keywords={CubeSat test data,flight mode state machine,spacecraft unit tests,code SFT dataset,test generation dataset,assertion repair,state transition testing,small satellite flight software},
version={1.0}
}Using this in research? Please cite us.