Transmission Diagnostic State Machine Code Verification Dataset
- Records
- 5000
- Size
- 0.2GB
- Format
- JSON
- Provider
MOBIUSI INC- Updated
- v1.02026-11-04
Focused on transmission control unit diagnostics, this dataset provides state machine Python source code, transition constraints, verification results, and annotations for defects and their root causes. It covers fault detection, diagnostic state transitions, and fault recovery, and supports evaluation of constraint compliance, defect localization, and root-cause analysis for automotive software verification and domain-specific model assessment.
Overview
Dataset Insights
Preview
Sample Examples
Schema
Technical Specifications
| Field | Type | Description |
|---|---|---|
| file_name | string | File name |
| source_code | string | Python source code for the transmission diagnostic state machine to be verified. |
| defect_count | integer | Total number of state machine defects identified during validation. |
| validation_passed | boolean | Indicates whether the state machine code satisfies the given state transition constraints. |
| diagnostic_defects | array | Defects identified during validation, including their locations, causes, and suggested fixes. |
| root_cause_summary | string | Summary of the main causes of state machine defects and their effects on diagnostics or fault recovery. |
| transition_constraints | string | JSON text specifying permitted diagnostic states, transition conditions, and related constraints. |
| verified_transition_count | integer | Number of state transitions checked during validation. |
Trust
Compliance Statement
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
Frequently Asked Questions
- What does the dataset contain?
- It includes Python source code for transmission diagnostic state machines, transition constraints recorded as JSON text, pass or fail results, and verification counts. Defect annotations describe locations, causes, suggested fixes, and summarized root causes.
- Which verification tasks does it support?
- Use it to evaluate compliance with state transition constraints, identify diagnostic state machine defects, analyze root causes in fault detection or recovery logic, and assess model debugging capabilities for automotive control software.
- Does it include dataset size or quality metrics?
- Each record provides the number of verified transitions, the defect count, and a validation result for sample-level analysis. Check the product details or accompanying documentation for the total sample count, coverage, and quality review process.
- How can I obtain the data, and what licensing applies?
- Refer to the dataset product page for available access methods, file formats, and license terms. Before use, confirm whether the license covers your intended activities, such as training, evaluation, commercial use, or code redistribution.
Can't find the data you need?
Post a request and let data providers reach out to you.
Get this Dataset
High-quality data, ready for your next AI breakthrough.
Cite this Work
@dataset{Mobiusi2026,
title={Transmission Diagnostic State Machine Code Verification Dataset},
author={MOBIUSI INC},
year={2026},
url={https://www.mobiusi.com/datasets/4b26968e42f60c5411f642b8bae8e582?dataset_scene_cate_type=9},
urldate={2026-10-20},
keywords={transmission diagnostic dataset,state machine code verification,automotive software testing,transmission control unit,fault diagnosis logic,state transition verification,code defect detection,root cause analysis},
version={1.0}
}Using this in research? Please cite us.