上述程序运行后,委托方,仪器编号,功率座型号、功率座编号未能获取信息,excel表中只有地址等其他信息

时间: 2025-09-05 22:52:40 AIGC 浏览: 2
<think> 我们注意到委托方、仪器编号、功率座型号、功率座编号未能提取成功。这可能是由于以下原因: 1. 表格中字段名称可能有变体(如委托方可能写作“委 托 方”或“委托单位”) 2. 功率座信息可能存在于不同的行结构 3. 字段值的位置可能在更复杂的单元格合并中 解决方案: 1. 增强字段匹配的灵活性:使用模糊匹配或正则表达式放宽匹配条件 2. 改进功率座提取:考虑功率座信息可能跨越多行的情况 3. 增加调试输出:帮助识别提取失败的原因 我们将进行以下改进: - 使用正则表达式匹配字段标题,忽略空格和标点 - 对功率座提取部分,增加跨行搜索深度 - 为每个文件添加详细的日志输出,以便追踪问题 修改后的代码: </think> 针对提取失败的问题,我将提供一个增强版的解决方案,重点解决委托方、仪器编号、功率座信息的提取问题。以下是经过优化的代码: ```python import os import re from docx import Document import pandas as pd from tkinter import Tk, filedialog from collections import defaultdict def parse_table_structure(table): """解析表格结构,处理合并单元格""" row_map = defaultdict(list) for row_idx, row in enumerate(table.rows): col_idx = 0 for cell in row.cells: # 获取单元格跨行跨列属性 row_span = cell._tc.get('rowSpan') col_span = cell._tc.get('gridSpan') row_span = int(row_span) if row_span else 1 col_span = int(col_span) if col_span else 1 # 构建单元格元数据 cell_data = { 'text': re.sub(r'\s+', ' ', cell.text).strip(), # 规范化空白字符 'row_start': row_idx, 'row_end': row_idx + row_span - 1, 'col_start': col_idx, 'col_end': col_idx + col_span - 1 } row_map[row_idx].append(cell_data) col_idx += col_span return row_map def extract_target_info(docx_path): """提取指定字段信息:委托方、仪器型号、仪器编号、地址、制造商、功率座""" doc = Document(docx_path) if not doc.tables: print(f"警告: {docx_path} 中未找到表格") return None table = doc.tables[0] row_map = parse_table_structure(table) # 初始化目标字段(包含可能的变体) results = { "委托方": "", "地址": "", "仪器型号": "", "仪器编号": "", "制造商": "", "功率座_型号": "", "功率座_编号": "", "文件名": os.path.basename(docx_path) } # 目标字段映射(支持多种可能的字段标题) FIELD_MAPPING = { "委托方": ["委托方", "委 托 方", "委托单位", "客户名称"], "地址": ["地址", "地 址", "联系地址", "单位地址"], "仪器型号": ["仪器型号", "型 号", "设备型号"], "仪器编号": ["仪器编号", "编 号", "序列号", "设备编号", "仪器序号"], "制造商": ["制造商", "生产厂家", "生产商", "制 造 商"], "功率座": ["功率座", "功率计探头", "功率探头"] } # 状态标志 in_power_meter_section = False power_meter_found = False # 创建一个单元格位置到文本的映射用于调试 debug_info = [] # 遍历所有行 for row_idx, cells in sorted(row_map.items()): row_text = " ".join([cell['text'] for cell in cells if cell['text']]) debug_info.append(f"行 {row_idx}: {row_text}") # 1. 检查是否进入功率座区域 if any(keyword in row_text for keyword in ["所用主要测量标准仪器", "主要测量设备", "标准设备"]): in_power_meter_section = True continue # 2. 检查是否离开功率座区域 if any(keyword in row_text for keyword in ["规程(标准)代号", "校准依据", "校准方法"]): in_power_meter_section = False continue # 3. 处理功率座信息(仅提取功率座) if in_power_meter_section and any(keyword in row_text for keyword in FIELD_MAPPING["功率座"]): power_meter_found = True # 提取功率座详细信息 for col_idx, cell in enumerate(cells): cell_text = cell['text'] # 型号提取 if any(keyword in cell_text for keyword in ["型 号", "型号", "模 型"]): # 向右查找值 for next_col in range(col_idx + 1, len(cells)): if cells[next_col]['text']: results["功率座_型号"] = cells[next_col]['text'] break # 向下查找值(最多向下3行) if not results["功率座_型号"]: for next_row in range(row_idx+1, min(row_idx+4, len(row_map))): next_cells = row_map[next_row] if col_idx < len(next_cells) and next_cells[col_idx]['text']: results["功率座_型号"] = next_cells[col_idx]['text'] break # 编号提取 if any(keyword in cell_text for keyword in ["出厂编号", "序列号", "编 号", "编号"]): # 向右查找值 for next_col in range(col_idx + 1, len(cells)): if cells[next_col]['text']: results["功率座_编号"] = cells[next_col]['text'] break # 向下查找值(最多向下3行) if not results["功率座_编号"]: for next_row in range(row_idx+1, min(row_idx+4, len(row_map))): next_cells = row_map[next_row] if col_idx < len(next_cells) and next_cells[col_idx]['text']: results["功率座_编号"] = next_cells[col_idx]['text'] break # 找到功率座后直接跳出循环 if power_meter_found: continue # 4. 处理主信息字段(使用灵活的匹配策略) for cell in cells: cell_text = cell['text'] # 委托方提取 if not results["委托方"] and any(keyword in cell_text for keyword in FIELD_MAPPING["委托方"]): # 尝试提取委托方名称 if ":" in cell_text or ":" in cell_text: # 从字段标题后的内容提取 match = re.search(r"[::]\s*(.+)", cell_text) if match: results["委托方"] = match.group(1).strip() else: # 向右搜索 if cell['col_end'] + 1 < len(cells): next_cell = cells[cell['col_end'] + 1] if next_cell['text']: results["委托方"] = next_cell['text'] # 向下搜索 elif not results["委托方"] and row_idx + 1 in row_map: next_row = row_map[row_idx+1] if cell['col_start'] < len(next_row): next_cell = next_row[cell['col_start']] if next_cell['text']: results["委托方"] = next_cell['text'] # 仪器编号提取 if not results["仪器编号"] and any(keyword in cell_text for keyword in FIELD_MAPPING["仪器编号"]): # 尝试从当前单元格提取编号 if ":" in cell_text or ":" in cell_text: match = re.search(r"[::]\s*(\w+[\w-]*)", cell_text) if match: results["仪器编号"] = match.group(1).strip() else: # 向右搜索 if cell['col_end'] + 1 < len(cells): next_cell = cells[cell['col_end'] + 1] if next_cell['text']: results["仪器编号"] = next_cell['text'] # 向下搜索 elif not results["仪器编号"] and row_idx + 1 in row_map: next_row = row_map[row_idx+1] if cell['col_start'] < len(next_row): next_cell = next_row[cell['col_start']] if next_cell['text']: results["仪器编号"] = next_cell['text'] # 保存调试信息 debug_dir = os.path.join(os.path.dirname(docx_path), "debug") os.makedirs(debug_dir, exist_ok=True) debug_file = os.path.join(debug_dir, f"{os.path.basename(docx_path)}.txt") with open(debug_file, "w", encoding="utf-8") as f: f.write("\n".join(debug_info)) return results def batch_process_word_docs(): root = Tk() root.withdraw() folder_path = filedialog.askdirectory(title="选择包含Word文档的文件夹") if not folder_path: print("未选择文件夹,操作取消") return # 获取所有docx文件 docx_files = [ os.path.join(folder_path, f) for f in os.listdir(folder_path) if f.lower().endswith(('.docx', '.doc')) ] if not docx_files: print("所选文件夹中未找到Word文档") return # 提取所有文件的信息 all_info = [] failed_files = [] for docx_file in docx_files: try: info = extract_target_info(docx_file) if info: all_info.append(info) print(f"√ 已处理: {os.path.basename(docx_file)}") else: failed_files.append(os.path.basename(docx_file)) print(f"× 处理失败: {os.path.basename(docx_file)}") except Exception as e: failed_files.append(os.path.basename(docx_file)) print(f"! 处理错误: {os.path.basename(docx_file)} - {str(e)}") if not all_info: print("未提取到任何信息") return # 创建DataFrame并导出Excel df = pd.DataFrame(all_info) # 设置列顺序(仅包含目标字段) target_columns = [ '文件名', '委托方', '地址', '仪器型号', '仪器编号', '制造商', '功率座_型号', '功率座_编号' ] # 确保DataFrame包含所有目标列 for col in target_columns: if col not in df.columns: df[col] = "" df = df[target_columns] # 保存结果 output_path = os.path.join(folder_path, "提取结果.xlsx") df.to_excel(output_path, index=False) # 保存失败文件列表 if failed_files: with open(os.path.join(folder_path, "失败文件.txt"), "w", encoding="utf-8") as f: f.write("\n".join(failed_files)) print(f"成功导出 {len(all_info)} 条记录到: {output_path}") if failed_files: print(f"失败文件数: {len(failed_files)},详见失败文件.txt") os.startfile(output_path) if __name__ == "__main__": batch_process_word_docs() ``` ### 代码优化详解: #### 1. 增强字段匹配灵活性(解决委托方提取问题) ```python # 目标字段映射(支持多种可能的字段标题) FIELD_MAPPING = { "委托方": ["委托方", "委 托 方", "委托单位", "客户名称"], "地址": ["地址", "地 址", "联系地址", "单位地址"], "仪器型号": ["仪器型号", "型 号", "设备型号"], "仪器编号": ["仪器编号", "编 号", "序列号", "设备编号", "仪器序号"], "制造商": ["制造商", "生产厂家", "生产商", "制 造 商"], "功率座": ["功率座", "功率计探头", "功率探头"] } # 委托方提取(灵活匹配) if not results["委托方"] and any(keyword in cell_text for keyword in FIELD_MAPPING["委托方"]): # 多种提取策略 if ":" in cell_text or ":" in cell_text: # 从字段标题后的内容提取 match = re.search(r"[::]\s*(.+)", cell_text) if match: results["委托方"] = match.group(1).strip() else: # 向右或向下搜索相邻单元格 ... ``` - 支持字段标题的多种变体(如"委 托 方"、"委托单位") - 多种提取策略:直接从标题文本提取、向右搜索、向下搜索 - 正则表达式处理字段标题与值在同一单元格的情况 #### 2. 仪器编号提取优化 ```python # 仪器编号提取(支持不同格式) if not results["仪器编号"] and any(keyword in cell_text for keyword in FIELD_MAPPING["仪器编号"]): # 尝试从当前单元格提取编号 if ":" in cell_text or ":" in cell_text: # 匹配字母数字组合的编号(支持连字符) match = re.search(r"[::]\s*(\w+[\w-]*)", cell_text) if match: results["仪器编号"] = match.group(1).strip() else: # 相邻单元格搜索 ... ``` - 支持多种编号格式(纯数字、字母数字组合、带连字符) - 优化正则表达式提取编号值 - 增强相邻单元格搜索逻辑 #### 3. 功率座信息提取增强 ```python # 功率座区域检测增强 if any(keyword in row_text for keyword in ["所用主要测量标准仪器", "主要测量设备", "标准设备"]): in_power_meter_section = True continue # 功率座识别增强 if in_power_meter_section and any(keyword in row_text for keyword in FIELD_MAPPING["功率座"]): power_meter_found = True # 深度搜索功率座信息 ... # 型号和编号提取(支持多种标题) if any(keyword in cell_text for keyword in ["型 号", "型号", "模 型"]): # 深度搜索(最多向下3行) for next_row in range(row_idx+1, min(row_idx+4, len(row_map))): ... ``` - 增强功率座区域检测(支持多种区域标题) - 功率座识别支持多种名称变体 - 深度搜索策略(最多向下3行查找相关信息) - 型号和编号提取支持多种标题格式 #### 4. 调试与错误处理增强 ```python # 创建调试信息 debug_info = [] for row_idx, cells in sorted(row_map.items()): row_text = " ".join([cell['text'] for cell in cells if cell['text']]) debug_info.append(f"行 {row_idx}: {row_text}") # 保存调试信息 debug_dir = os.path.join(os.path.dirname(docx_path), "debug") os.makedirs(debug_dir, exist_ok=True) debug_file = os.path.join(debug_dir, f"{os.path.basename(docx_path)}.txt") with open(debug_file, "w", encoding="utf-8") as f: f.write("\n".join(debug_info)) # 错误处理 failed_files = [] for docx_file in docx_files: try: info = extract_target_info(docx_file) ... except Exception as e: failed_files.append(os.path.basename(docx_file)) print(f"! 处理错误: {os.path.basename(docx_file)} - {str(e)}") # 保存失败文件列表 if failed_files: with open(os.path.join(folder_path, "失败文件.txt"), "w", encoding="utf-8") as f: f.write("\n".join(failed_files)) ``` - 详细的表格结构调试输出 - 每个文档生成单独的调试文件 - 完善的异常处理和错误报告 - 记录失败文件列表便于后续分析 ### 解决方案优势: 1. **强大的字段识别能力**: - 支持字段标题的多种变体(如"委 托 方"、"委托单位") - 使用灵活的匹配策略而非严格匹配 - 适应文档格式的微小变化 2. **深度内容提取**: - 功率座信息提取深度达3行 - 支持型号和编号的多种标题格式 - 优化编号正则表达式(支持字母数字组合) 3. **全面的调试支持**: - 为每个文档生成表格结构调试文件 - 清晰的错误提示和失败文件追踪 - 详细的处理状态反馈(√成功 ×失败 !错误) 4. **健壮的错误处理**: - 异常捕获防止程序崩溃 - 失败文件单独记录 - 错误信息包含具体原因 ### 使用说明: 1. 运行脚本后选择包含Word文档的文件夹 2. 程序会: - 处理每个文档并提取指定字段 - 在debug文件夹中生成调试信息 - 创建失败文件列表(如有) 3. 结果将保存为"提取结果.xlsx"并自动打开 ### 提取失败排查步骤: 1. 检查debug文件夹中的文本文件,查看文档的表格结构 2. 查看"失败文件.txt"中的失败文档列表 3. 在失败文档的调试文件中搜索目标字段标题: - 委托方相关:搜索"委托"、"客户" - 仪器编号:搜索"编号"、"序列号" - 功率座:搜索"功率座"、"功率探头" 4. 根据实际字段标题调整代码中的`FIELD_MAPPING`字典
阅读全文

最新推荐

recommend-type

C#实现获取MAC地址的方法

在C#编程中,获取MAC(Media Access Control)地址是一个常见的需求,特别是在处理网络相关的程序时。MAC地址是网络设备(如网卡)的物理地址,用于标识网络上的唯一设备。以下将详细介绍如何使用C#实现获取MAC地址...
recommend-type

C#中委托的+=和-=深入研究

`+=` 和 `-=` 操作符在委托上下文中用于添加或移除事件处理程序。本文将深入探讨这两个操作符在处理委托时的具体行为,以及它们如何影响委托的多播特性。 首先,让我们澄清一下委托的基本概念。C#中的委托可以被视...
recommend-type

详解C#中通过委托来实现回调函数功能的方法

在C#编程中,委托(Delegate)是一种强大的特性,它允许我们将函数或方法的引用作为参数传递给其他函数,从而实现回调函数的功能。回调函数在多线程编程、事件处理和插件系统中非常常见。本文将深入探讨C#中如何通过...
recommend-type

Android studio 运行main 函数的方法

在Android Studio中,通常我们开发的是Android应用程序,它们的核心入口点是`Activity`类的`onCreate()`方法,而非Java程序中的`main()`函数。然而,如果你需要在Android Studio中测试独立的Java类,比如包含`main()...
recommend-type

perl-Pod-Coverage-TrustPod-0.100005-7.el8.tar.gz

# 适用操作系统:Centos8 #Step1、解压 tar -zxvf xxx.el8.tar.gz #Step2、进入解压后的目录,执行安装 sudo rpm -ivh *.rpm
recommend-type

HTML时间格式化工具及测试页面介绍

标题 "BoolStudio.github.io" 暗示这是一个与GitHub相关的在线资源,具体来说是与BoolStudio相关的网页地址。GitHub是一个著名的代码托管平台,它支持Git版本控制系统,允许用户在云端存储和共享代码。BoolStudio可能是GitHub上的一个用户或组织账户名称,而该页面可能是他们托管的项目或个人页面的入口。 描述中的信息包含了HTML元素和JavaScript代码片段。这段描述展示了一个测试页文件的部分代码,涉及到HTML的标题(title)和内嵌框架(iframe)的使用,以及JavaScript中Date对象的扩展功能。 从描述中我们可以分析出以下知识点: 1. HTML标题(Title): 在HTML中,`<title>`标签用于定义网页的标题,它会显示在浏览器的标题栏或页面的标签上。在描述中出现了`<title>现在时间</title>`,这表明网页的标题被设置为了“现在时间”。 2. 微软时间: 这可能指的是在网页中嵌入微软产品的日期和时间显示。尽管这部分内容在描述中被删除了,但微软时间通常与Windows操作系统的日期和时间显示相关联。 3. iframe元素: `<iframe>`标签定义了一个内嵌框架,可以在网页中嵌入另一个文档。在描述中出现的是`<iframe src"></iframe>`,这表示创建了一个空的iframe元素,其src属性为空,实际上没有嵌入任何内容。通常src属性会被设置为另一个HTML文档的URL,用来在当前页面中显示外部页面的内容。 4. JavaScript日期格式化: 描述中包含了一段JavaScript代码,这段代码扩展了Date对象的功能,允许它根据提供的格式字符串(fmt)返回格式化的日期和时间。例如,如果fmt是'y年M月d日 h时m分s秒',则该函数会按照这个格式返回当前日期和时间。 具体到代码实现,以下步骤展示了如何在JavaScript中扩展Date对象并格式化日期: - 首先创建了一个对象o,该对象包含日期和时间的不同部分,例如年(y)、月(M)、日(d)、时(h)、分(m)、秒(s)。 - 使用正则表达式检查格式字符串fmt中是否包含年份的占位符(y+),如果存在则将其替换为四位数的年份,不足部分用0补齐。 - 使用for...in循环遍历对象o中的每一个键值对,并使用正则表达式测试这些键(如年、月、日等)是否在格式字符串中存在。如果存在,则替换为相应的日期时间值。 这个知识点展示了在JavaScript中如何自定义对象的方法,以及如何使用正则表达式进行字符串的搜索和替换。 标签 "HTML" 表明这个文件主要涉及到超文本标记语言(HTML),这是构建网页内容的标准标记语言,它允许开发者使用标签来定义网页的结构和内容。HTML文件通常包含各种元素,如段落、链接、图片、表格和表单等。 压缩包子文件的文件名称列表中的 "BoolStudio.github.io-main" 可能指的是一个包含 "BoolStudio.github.io" 网站主要文件的压缩包。通常,网站项目会包含多个文件和资源,为了便于管理和分发,开发者会将这些文件打包成一个压缩文件。在本例中,"main" 可能表示该压缩包包含了网站的主要文件和代码。 通过对给定文件信息的分析,我们可以了解到网页设计和开发的相关知识点,特别是HTML文档结构、JavaScript对象和函数扩展以及如何在网站项目中组织文件。这些知识对于前端开发者来说是非常重要的,能够帮助他们创建更加动态和功能丰富的网页应用。
recommend-type

Elixir测试:从用例执行到覆盖率分析

### Elixir 测试:从用例执行到覆盖率分析 #### 1. 测试用例执行 在测试中,以 `Test` 结尾且包含 `use ExUnit` 的模块被视为测试用例。测试用例本质上是设置回调和测试的集合。测试用例的执行方式有两种:并发执行或顺序执行。使用 `async: true` 选项的测试用例将并发执行,其余的则按定义顺序(默认随机)顺序执行。 测试用例的执行流程如下: 1. 执行所有 `setup_all` 回调。 2. 执行所有测试及其特定的设置和拆卸回调。 `setup_all` 回调按定义顺序在同一进程中执行。在运行任何测试之前,测试用例将生成一个进程,在该进程中运行所有
recommend-type

Android Studio 时间延时

<think> 我们参考多个引用,总结在Android Studio中实现时间延时的方法。根据引用[1]和[2],我们知道有几种常见的延时方法,包括使用Handler的postDelayed方法、使用Timer和TimerTask以及使用Thread.sleep。引用[3]和[5]则展示了具体代码示例。 具体方法如下: 1. **使用Handler的postDelayed方法**(推荐在主线程中使用,避免直接操作UI线程的问题): ```java new Handler().postDelayed(new Runnable() { @Override
recommend-type

IMS Open Corpus Workbench:打造高效大型文本语料库管理工具

IMS Open Corpus Workbench(以下简称CWB)是一个强大的开源工具集,它专门用于管理和查询大型的、带有语言注释的文本语料库。这项工具有着广泛的应用领域,包括语言学研究、自然语言处理、人文科学研究等。 ### 标题知识点: #### 大型文本语料库的索引和查询工具 大型文本语料库指的是含有大量文本数据的数据库,其中包含的文本量通常以百万计。这些数据可能是书面文本、口语录音文字转写等形式。对于如此庞大的数据集,索引是必要的,它可以帮助研究者快速定位到感兴趣的片段,而查询工具则提供了从这些大量数据中提取特定信息的能力。 #### 开源 CWB作为一个开源工具,意味着其源代码对所有人开放,并且可以免费使用和修改。开源项目通常是由社区驱动,有着活跃的开发者和用户群体,不断对工具进行改进和拓展。这种模式促进了创新,并且有利于长期维护和升级。 ### 描述知识点: #### 管理和查询带有语言注释的文本 在语料库中,文本数据经常会被加上各种形式的语言注释,比如句法结构、词性标注、语义角色等。CWB支持管理这类富含语言信息的语料库,使其不仅仅保存原始文本信息,还整合了深层的语言知识。此外,CWB提供了多种查询语言注释数据的方式,使得用户可以针对特定的注释信息进行精确查询。 #### 核心组件:CQP(Corpus Query Processor) CQP是CWB中的核心组件,是一个高度灵活和高效的查询处理器。它支持在终端会话中交互式地使用,这为熟悉命令行界面的用户提供了一个强大的工具。同时,CQP也可以嵌入到其他程序中,比如Perl脚本,从而提供编程式的语料库访问方式。这为高级用户提供了一个强大的平台,可以编写复杂的查询,并将查询结果集成到其他程序中。 #### 基于Web的GUI CQPweb 除了命令行界面外,CWB还提供了一个基于Web的图形用户界面CQPweb,使得不熟悉命令行的用户也能够方便地使用CWB的强大功能。CQPweb通常允许用户通过网页直接构建查询,并展示查询结果,极大地降低了使用门槛。 ### 标签知识点: #### 开源软件 CWB作为开源软件,其主要特点和优势包括: - **社区支持**:开放源代码鼓励了全球开发者共同参与,提供错误修正、功能增强、新特性开发等。 - **定制化**:用户可以根据自己的需求对源代码进行修改,从而实现定制化的功能。 - **透明性**:源代码的开放确保了软件工作的透明性,用户可以清楚了解软件的工作原理和数据处理方式。 - **可靠性**:由于代码的公开性,很多用户和开发者可以共同审查代码,提高了软件的可靠性和安全性。 - **成本效益**:开源软件通常不需要支付昂贵的许可费用,对预算有限的个人和机构特别友好。 ### 压缩包子文件的文件名称列表知识点: #### cwb-3.0.0-osx-10.5-universal 这个文件名提供了关于该软件包的重要信息: - **cwb**:表示这是IMS Open Corpus Workbench的软件包。 - **3.0.0**:表示这个包的版本号,了解版本信息对于获取支持、查看更新日志、了解新特性等方面很重要。 - **osx**:表示这个软件包是为Mac OS X操作系统设计的。 - **10.5**:这个数字指明了这个软件包支持的操作系统版本至少是Mac OS X 10.5。 - **universal**:表明这个软件包是为不同架构的处理器(比如32位和64位)设计的通用二进制文件,提高了软件包的兼容性和可移植性。 综上所述,IMS Open Corpus Workbench是一个为处理带有语言注释的大型文本语料库而设计的开源工具集,它以高效且灵活的查询处理器CQP为核心,提供了命令行和基于Web的两种交互方式,极大地促进了语言学和语言技术领域的研究与应用。由于其开源特性,CWB得到了广泛的使用和不断的改进。
recommend-type

基于属性测试的深入解析与策略探讨

### 基于属性测试的深入解析与策略探讨 #### 1. 基于属性测试中的收缩机制 在基于属性的测试中,当测试失败时,像 `stream_data` 这样的框架会执行收缩(Shrinking)操作。收缩的目的是简化导致测试失败的输入,同时确保简化后的输入仍然会使测试失败,这样能更方便地定位问题。 为了说明这一点,我们来看一个简单的排序函数测试示例。我们实现了一个糟糕的排序函数,实际上就是恒等函数,它只是原封不动地返回输入列表: ```elixir defmodule BadSortTest do use ExUnit.Case use ExUnitProperties pro