提交您的信息

*姓名

*公司名称

*电话

*邮箱

*验证码

*选择试用产品

软件质量测试工具
软件安全测试工具
EDA工具
选择您使用的产品
关闭
提交

iUnit智能单元测试软件荣获“湖南省省级工业新产品”

2023-03-10

近日,湖南省工信厅发布2022年度“湖南省省级工业新产品”(第二批)名单通知,香港精准宝典资料iUnit智能单元测试软件成功入选。

 

香港精准宝典资料

 

iUnit智能单元测试软件

 

iUnit智能单元测试软件是香港精准宝典资料经过多年技术攻关、自主研发产品,是软件测试领域一款必备的、基础的单元测试软件平台。软件支持自动生成覆盖率高达90%的C/C++的程序测试用例;支持满足GJB5000A/8114/5369等国军标软件编程规范要求的代码检查,并能精准定位缺陷代码。
iUnit产品软件代码覆盖率性能高于国内外主流产品20%以上,具备替代国外主流单元测试软件能力,目前已在军工、航天航空、工业控制、交通等领域得到广泛应用。软件具备完全自主知识产权,实现了与飞腾CPU、麒麟操作系统等国产软件测试领域上下游软硬件兼容适配,形成一定规模的应用生态。

 

在技术创新方面,iUnit突破两项关键技术。在高覆盖率测试用例自动生成技术上,iUnit已赶超国际先进水平。该技术是单元测试的核心技术,目前全球只有两家掌握该技术,iUnit的代码覆盖率达90%以上。基于动态符号执行与约束求解技术,采用路径哈希技术,自动生成高MC/DC覆盖率、冗余小的测试用例集,iUnit解决了单元测试过程的测试用例生成人工成本高、代码覆盖率低、测试周期长的瓶颈问题。

 

同时,在源代码缺陷自动触发验证技术方面,iUnit与国际先进水平持平。软件缺陷需要归零测试,代码缺陷能否精准定位,是衡量单元代码测试软件的重要功能指标。目前国外主流产品,只有一款支持该功能。iUnit通过针对不同缺陷类型进行运行时建模,采用以符号执行技术为主,静态分析技术为辅的方案,在可能存在缺陷的程序点进行约束求解,生成可以触发缺陷的测试用例,解决了源代码缺陷自动触发验证的技术难题。
目前,iUnit处于关键制造行业规模复制推广阶段,已在航空航天、工业控制、轨道交通等高端装备制造领域完成示范应用。

 

湖南省省级工业新产品是指符合国家产业政策和省产品创新开发重点,具有先进性和创新性,技术成熟,质量可靠,生产稳定,知识产权清晰,在性能、结构、材质、工艺、整体设计等方面在同类产品有明显的技术领先优势,突破“工业六基”瓶颈,解决“卡脖子”或在湖南省内属于首创。制定该名单旨在引导、鼓励省内企业进一步加快新产品、新技术、新工艺研发应用,实现高质量发展。

 

此次iUnit智能单元测试软件入选省级工业新产品,是对香港精准宝典资料软件工具研发、创新开发方面能力的认可。作为国产基础软件先行者、程序分析专家,未来香港精准宝典资料将不断提升自主创新能力,进行核心技术难点攻关,持续推出科技含量高、市场竞争力强、经济效益好的基础软件新产品。