杨桂枝，中国航天科技集团公司软件评测中心 质量主管 研究员
主要研究方向为：嵌入式系统、软件工程、高可信软件等
承担“九五”、“十五”及“十一五”十余项国防及军方重点项目研究，主持编制软件检测领域实验室管理作业指导书和信息安全专项实验室应用指南，负责组织实施软件测试测量审核工作。
发表论文二十多篇，主编航天软件工程教材的测试部分，获部级科技进步奖一等奖一次，二等奖一次，获技术发明专利和软件著作权登记近十项。
报告题目：测试用例自动生成技术--杨桂枝
报告摘要：软件测试是提高软件可靠性的途径之一。通过确认测试，尽可能充分的考验软件，以此发现更多的问题，从而提高软件的可靠性。测试用例的设计是软件测试过程中的重要环节，对软件的测试起主导作用。目前，确认测试用例设计中普遍采用的方法是：针对软件需求功能项设计测试用例，使测试用例覆盖软件需求项，并依据需求给出用例的期望输出。研究发现，对于存在大量状态转移的系统，仅仅满足功能覆盖的测试用例对软件进行测试的充分程度值得深入探讨。该研究包括模型检查技术、形式化建模、测试覆盖准则、测试用例生成，并提供相应的图形用户界面。
