田杰
- 作品数：3 被引量：0H指数：0
- 供职机构：解放军电子工程学院网络工程系更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于程序理解的软件测试方法
- 2011年
- 为满足大规模软件开发的需要,自动化成为软件工程迫切的要求,并贯彻到软件设计、开发和维护的各个阶段。本文提出一种以可计算函数为基础的程序理解方法,最大程度地识别函数功能、验证组件的安全属性,实现对源代码、二进制代码的函数理解,以精简的函数表达式和并发赋值形式展示函数理解结果,提高人工阅读程序的效率,并且以可计算函数程序理解方法辅助软件测试用例生成,对软件安全的属性进行评估。将软件工程中的软件设计规范、软件产品、安全属性等转换成可计算过程实现软件工程的智能管理。
- 田杰黄曙光王明
- 《软件技术基础》课程教学模式的研究与实践
- 2010年
- 《软件技术基础》作为讲授计算机软件设计与开发的基本知识和相关技术的课程,需要完善和高效的教学模式。本文分析了我院该课程存在的问题和现状,提出了旨在提高教学质量的"教-学-练-研"的教学模式。
- 田杰王明范哲
- 关键词：课程教学模式
- 可计算函数的程序理解方法
- 2011年
- 为满足大规模软件开发的需要,自动化成为软件工程迫切的要求,并贯彻到软件设计、开发和维护的各个阶段.提出一种以可计算函数为基础的程序理解方法,最大程度地识别函数功能、验证组件安全属性,实现对二进制代码的理解,以精简的函数表达式和并发赋值形式展示函数理解结果,提高人工阅读程序的效率.实验表明生成并发赋值语句的数量、时间与软件代码大小成线性关系,并得出了经验公式.
- 唐和平宋舜宏黄曙光田杰
- 关键词：软件测试
