微科智检（佛山市）科技有限公司成立于2021年9月，由华南理工大学软件学院智能算法实验室孵化，是2022年佛山高新区高技术产业化创业团队。公司专注于软件测评技术，依托团队在微计算方法与软件自动测试技术领域的深厚积累，公司已形成多项行业领先的核心算法技术，公司已通过中国计量认证（CMA）和中国合格评定国家认可委员会（CNAS）认可，并成为国际软件测试资格认证委员会（ISTQB）官方合作单位，目前广东省拥有此三项殊荣的企业不超过10家。同时，公司牵头制定团体标准《无源码的白盒化测试标准》，推动行业技术规范化发展。

秉持“守护软件投资者与使用者切身利益”的使命，微科智检为数字经济、通信、保险、制造、电子政务、智能驾驶、智慧城市等关键领域提供专业、可靠的高质量软件测评服务。客户涵盖中国科学院软件研究所、清华大学、中山大学等顶尖科研机构与高校，专业能力与服务质量广受认可。

公司创始人黄翰教授系华南理工大学教授、博士生导师，国家级青年人才项目入选者。黄教授已在国家一级出版社出版中文著作3部、教材2部，并在国际知名出版社出版英文专著2部；以第一作者或通讯作者身份在《IEEE Transactions on Cybernetics》（IEEE TCYB）等权威学术期刊发表论文80余篇，多篇代表作入选ESI高被引论文。

公司团队由软件工程领域的专家、博士、硕士组成，技术研发人员占员工总数的75%。团队致力于软件工程及人工智能的落地、实践及产业化，提出了：内嵌SAT求解的演化优化方法及其应用——演化优化与SAT求解的内嵌融合方法，为解决带复杂逻辑约束的黑盒优化问题提供有效方法。多样性驱动的可配置软件系统测试原理与方法——从统计学角度出发揭示了多样性驱动的可配置软件系统测试的基本原理，并据此提出了一系列基于质量-多样性优化的测试方法，为基础软件和工业软件等可配置软件系统的测试提供了高效、可解释的测试技术支撑。

公司始终坚持技术创新，公司和带头人目前已累计获得授权发明专利61项，其中7项已获美国专利授权；另有16项PCT国际专利申请已通过国际检索，其中6项已进入欧美国家专利审查阶段，有效推动了科技成果的转化与应用。

凭借在软件检测领域的深厚技术积淀，公司赢得了业界的广泛认可：2023年通过中国计量认证（CMA）资质认定，2024年相继获得中国合格评定国家认可委员会（CNAS）实验室认可，并成为国际软件测试资格认证委员会（ISTQB）官方合作单位；同年，公司还成功获评国家高新技术企业。

公司自主研发的新一代智能化软件评测产品——“软件智能体检系统”，融合“智能化+自动化+微搜索”核心技术，通过探针、透视、详检、防疫、审核五大工作站，大幅提升软件检测效率与精度。相比国际主流算法，检测耗时降低98%以上，并已发布学术界覆盖最广、问题实例最丰富的两套标准测试集，助力客户高效验证与优化软件质量。

目前，该系统已为TCL、华为、讯飞启明、普华软件等企业提供高可靠检测服务，并支撑清华大学、南京大学、中山大学、中科院软件所等顶尖科研机构开展智能软件测试研究，切实帮助客户降本增效、提升软件可靠性与安全性。

传统的测试用例设计高度依赖人工从自然语言需求中提取逻辑，不仅效率低、易出错，还常因需求模糊、不完整或人员经验差异，导致用例覆盖不足或冗余严重。

微科智检打造了基于大模型与高性能GPU的智能测试用例生成系统，通过自动解析需求文档与测试标准，结合知识图谱、提示词工程与AI智能体，构建可复用的测试知识库与推理引擎。系统不仅能自动生成高质量初始用例，还通过测试评审机制与SAT/SMT求解器进行二次优化，输出高覆盖、低冗余的测试用例集。该方案显著提升测试设计效率与质量，帮助客户缩短研发周期、降低人力成本，并确保关键系统在复杂场景下的可靠性与安全性。

公司推出基于微搜索算法优化的私域大模型，聚焦外语教育、法律、招商、医疗、航道、财务等垂直领域。相比通用大模型，该模型场景针对性强、数据依赖少、参数更精准，依托数据智能增广技术，在小样本条件下仍保持高性能，并通过精细调优确保结果准确可靠。支持快速迭代，敏捷响应行业需求。

目前，微科私域大模型已在教育、法律咨询、学位论文评审、招商、航道、财务等领域成功落地，显著提升专业服务效率与质量。

文品易通·格致便是其中一款专为高校毕业论文打造的智能文档检测大模型，帮助师生高效提升论文的准确性、合规性与专业性。系统严格对标《GB7713》《GB7714》等国家标准，自动检测封面、摘要、标题、结构、字数、图表、公式、参考文献等近百项常见易错点，全面评估格式规范与内容逻辑。

检测后生成详尽报告，明确标注错误类型、位置及修改建议，助力用户快速优化。目前广泛应用于本科毕业设计与研究生学位论文格式审查，上线后周使用量超5000次，显著提升学术写作效率与质量。

在城市数字化转型中，公共显示屏的内容安全风险日益突出。为此，公司推出一款融合人工智能、边缘计算与多模态信息处理技术的智能审核解决方案：“大屏内容安全护盾”，可对文字、图片、视频等显示内容进行实时、精准的安全合规检测。

该系统采用全国产化硬件和自研高精度视觉AI模型，有效识别涉黄、涉政、暴恐、敏感人物等违规内容，并通过实时替换机制快速净化画面。设备即插即用、无需改造线路，支持断网运行，广泛适配户外LED大屏、学校、医院、银行等各类公共显示终端。目前已在政务大厅、购物中心、交通枢纽等场景落地应用，为公共信息发布提供安全、可靠、自主可控的保障。

微科数字人生成系统是一款基于AI的虚拟交互平台，融合语音合成、自然语言处理、形象驱动与语音识别等核心技术，打造高度拟人化、智能化的数字人体验。系统支持多模态交互，可灵活定制形象、声音与对话逻辑，快速适配客服、营销、教育、政务、金融等场景，助力企业提升服务效率，加速数字化转型。