杨志嘉
- 作品数：5 被引量：11H指数：1
- 供职机构：北京信息科技大学更多>>
- 发文基金：国家自然科学基金北京市学科与研究生教育专项基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于功能点路径的文档互操作测试评价方法被引量：1
- 2014年
- 为了解决文档互操作测试中的功能点划分粒度不统一、测试覆盖率难以度量、回归测试工作量大等问题,提出了以文档格式标准为基础、建立功能点的需求模型、设计文档互操作测试评价方法,并定义了文档格式标准变更指数、测试覆盖率、测试用例之间的关联等度量指标,可将人工测试中定性的估计发展为定量的度量体系,提高了测试过程中的可视性。该方法可以提高文档互操作测试效率,保证测试质量,促进对文档互操作过程的理解、控制和预测。
- 牟永敏杨志嘉丁媛白倩倩
- 关键词：软件测试
- 基于函数调用路径的软件实现与设计一致性验证
- 系统开发完成后,验证其是否完成了软件设计说明书的所有功能并且与设计算法一致,是软件测试的一项重要工作.通过人工遍历分析源代码来完成实现与设计的一致性验证是复杂费力的,并且需要测试人员具备丰富的编程经验和较强的算法分析能力...
- 牟永敏杨志嘉
- 关键词：软件工程设计文档源代码
- 基于函数调用路径的软件实现与设计一致性验证被引量：11
- 2014年
- 软件系统开发完成后,验证其是否完成了软件设计说明书的所有功能并且与设计算法一致,是软件测试的一项重要工作.通过人工遍历分析源代码来完成实现与设计的一致性验证是复杂费力的,并且需要测试人员具备丰富的编程经验和较强的算法分析能力.论文提出了一种基于函数调用路径的软件实现自动验证方法.从设计文档和源代码两个方面出发,分别分析其函数调用关系,提取函数调用路径,生成功能簇模型.其中文档方面通过人工理解设计文档,确定函数调用关系,然后自动生成标准功能簇模型;源代码方面通过静态分析,自动获取函数调用关系,提取功能点特征,利用这些特征提取功能点的具体实现算法,自动生成软件的实际功能簇模型.对比两个功能簇模型,验证软件实现与设计的一致性.实验结果表明:算法能够准确获得软件系统的功能结构及实现算法特征,对软件实现与设计的一致性做出有效判定,为软件实现与设计的一致性自动化测试提出一种新的思路.
- 牟永敏杨志嘉
- 关键词：软件设计软件实现一致性
- 中断优先级改变对函数静态调用关系影响研究被引量：1
- 2015年
- 针对中断优先级的改变会对系统的运行产生非预期的执行逻辑,研究了由此所产生的函数之间调用关系的不确定性,提出一种结合中断优先级改变的嵌入式系统静态测试方法。以中断优先级状态机描述中断优先级改变行为,在不包含中断处理函数的函数静态调用路径基础上,应用迭代方程得到中断优先级序列,将此序列叠加到函数静态调用路径中。实验表明,结合中断优先级的函数静态测试方法,保证了嵌入式系统测试的完整性,提高了测试覆盖率。
- 杨志嘉牟永敏李良杰
- 关键词：中断优先级状态机
- 基于函数调用路径的软件设计与实现一致性研究
- 软件是否严格按照设计要求实现，是软件质量评估的重要标准，是软件测试的一项重要工作。人工遍历的方法分析软件设计与实现的一致性是复杂费力的，并且需要测试人员具备丰富的编程经验和较强的算法分析能力。随着软件维护成本的不断增加，...
- 杨志嘉
- 关键词：软件设计
- 文献传递
