点击图片查看原图先进程度：国内先进
技术参数："1.自动化代码分析及插桩：1)自动化分析代码，提取代码中形参、全局变量、桩函数及桩函数形参等数据；2)自动化打桩，包括桩函数返回值及桩函数形参数值。同时，打桩支持用户桩函数白名单定义，从而保留无须打桩的函数；3)支持变量输出检查项的自动识别，检查内容包括全局变量中被修改的值、形参指针指向内容被修改的值、函数返回值等，满足测试规范；4)支持头文件目录及宏定义的指定及自动化预编译处理；5)自动化生成用例执行驱动函数；2.自动化测试用例生成及执行：1)自动化调用动态符号执行引擎生成测试用例；2)支持
法律状态:2099-01-01
权属人所属领地:[db:权属人所属地域]
应用领域:信息化
代理机构:上海工业控制安全创新科技有限公司
功能描述：
SmartUnit工具是一款智能化单元测试用例设计工具，能够针对高安全领域C语言自动化生成满足分支、语句、边界以及MC/DC覆盖准则的测试用例，并将用例导出为Testbed等第三方平台的测试用例格式，实现基本无需手工修改的全自动化单元测试。使用该软件能够让测试人员摆脱效率低下、质量参差不齐的手工测试用例编写任务，大幅提高测试人员的工作效率，有效提升测试质量。
