PACING_Source_心脏起搏器软件行为模型与测试研究数据

数据集概述

本数据集包含基于指定文档开发的心脏起搏器软件起搏行为模型，仅捕捉VVI（心室起搏、心室感知、抑制响应）和DDD（双腔起搏、双腔感知、跟踪响应）两种起搏模式。数据还包含一组种子突变体及相关测试输入，用于模型测试研究。

文件详解

• 文件名称：pacing.zip
• 文件格式：ZIP
• 字段映射介绍：压缩包内包含心脏起搏器软件行为模型文件、种子突变体文件及模型测试研究用的测试输入文件，具体字段需解压后查看内部文件结构。

数据来源

http://sqrl.mcmaster.ca/_SQRLDocuments/PACEMAKER.pdf

适用场景

• 医疗设备软件测试研究：用于模型测试研究，验证心脏起搏器软件行为模型的准确性。
• 心脏起搏器起搏模式分析：分析VVI和DDD两种起搏模式的软件行为逻辑。
• 软件突变测试研究：利用种子突变体及测试输入，开展模型突变测试相关研究。
• 医疗软件模型开发参考：为心脏起搏器软件模型开发提供实例参考。