买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
申请/专利权人:上海电气泰雷兹交通自动化系统有限公司
摘要:本发明公开了一种基于二叉树生成MCDC测试用例的方法,包括:步骤S1,将布尔式转化成语法二叉树;步骤S2,变换成二叉树后,使当前判断条件成为最左叶子结点,并设置最左叶子结点为决策结点,取值为0;步骤S3,判断决策结点的兄弟结点是否为叶子结点,若是,则根据决策结点查表求得叶子结点的值;步骤S4,再判断决策结点的父结点是否为根结点,若是,则记录所有叶子结点的值,并翻转最左叶子结点;步骤S5,判断当前条件是否为表达式中最后的条件,若是,则记录所有测试用例对,并删除重复的测试用例。本发明可以自动或手动生成测试用例,以提高测试覆盖率。
主权项:1.一种基于二叉树生成MCDC测试用例的方法,其特征在于,包括:步骤S1,将布尔式转化成语法二叉树;步骤S2,变换成二叉树后,使当前判断条件成为最左叶子结点,并设置最左叶子结点为决策结点,取值为0;步骤S3,判断决策结点的兄弟结点是否为叶子结点,若是,则根据决策结点查表求得叶子结点的值;步骤S4,再判断决策结点的父结点是否为根结点,若是,则记录所有叶子结点的值,并翻转最左叶子结点;步骤S5,判断当前条件是否为表达式中最后的条件,若是,则记录所有测试用例对,并删除重复的测试用例。
全文数据:
权利要求:
百度查询: 上海电气泰雷兹交通自动化系统有限公司 一种基于二叉树生成MCDC测试用例的方法
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。