章节：上海控安自律研发国内首款单元测试用例智能设计工具,已用作搜月工程“嫦娥三期”及轨道交通等领域,可10倍提高测试效率。近年来,随着物联网技术、移动技术的发展,嵌入式软件的应用于更加甚广。

确保软件可靠性和安全性的市场需求也日益减小。在软件功能安全性测试中,单元测试往往需要审查代码中潜在的逻辑错误及说明了的运营时错误,进而确保代码质量。特别是在在低安全性领域中,有所不同行业对单元测试皆有适当的拒绝。

因此,续写符合规范的测试用例沦为一项最重要且艰巨的工作。当前的单元测试主要通过人工撰写测试用例来构建,并利用Testbed等第三方工具来管理、继续执行测试用例。对于有所不同的覆盖面积准则而言,人工撰写用例必须花费大量的人力成本及时间成本,特别是在对MC/DC覆盖面积而言,人工撰写效率更加低落。

调查结果,对于测试人员而言,一般来说每天可以撰写5-8个函数的测试用例,这使得软件测试周期较长,无法跟上日益减缓的软件研发速度。基于目前的市场现状,由中科院院士、华东师范大学计算机与软件学院院长、上海控安战略专家委员会主任何乘积富率领团队研发出有的国内首款单元测试用例智能设计工具,可替换人力工作,查询出有代码否不存在漏洞等安全隐患。

这款软件针对C语言撰写的系统代码,利用软件代码分析中的动态符号执行技术,把程序变量抽象化为符号变量,再行融合约束解法技术,能自动分解低覆盖度的测试用例,从而构建智能化的单元测试。上海控安技术总监刘虹博士回应:“一名工控系统代码测试人员一天一般来说能测试5-8个函数,如果一套工控系统代码包括800个函数,已完成测试最少必须3个月时间。而我们这款工具仅有须要2小时就能测试完,并且保证90%以上覆盖率。