云环境中的测试即服务(TAAS)体系结构
社区首页 (3597)





请编写您的帖子内容
社区频道(7)
显示侧栏
卡片版式
白盒测试
静态分析
故障树分析
基于模型的软件开发
博文收录
Ada助手
活动专区

44
评分
回复


基于静态分析结果的测试用例自动生成方法
在静态分析阶段,除了进行普通的静态分析,还可以进行静态缺陷检测。静态缺陷检测是一种以在传统静态分析的技术基础上,数据流分析为基础,以路径遍历为手段,以发现尽量多的“通用缺陷”为目标的技术手段。将静态缺陷检测同用例自动生成、静态仿真、自动化测试等技术相结合,“通用缺陷”同项目的具体设计无关,比如著名的除0、越界访问、缓冲区溢出等。发现通用缺陷后,结合所在模块的输入数据的取值范围,可以自动生成对应于所发现缺陷的特定用例。
复制链接 扫一扫
分享
为您搜索到以下结果:
3
社区成员
16
社区内容





测试之家原创荟萃
以勤勉创新为根基,以提出的新理念、新观点、新方法及研发的新产品为手段, 以提升软件质量及系统可靠性为目标,脚踏实地,持续探索,砥砺前行。主要研究领域为:代码分析、白盒测试、模型构建与分析等。
复制链接 扫一扫

确定
社区描述
以勤勉创新为根基,以提出的新理念、新观点、新方法及研发的新产品为手段, 以提升软件质量及系统可靠性为目标,脚踏实地,持续探索,砥砺前行。主要研究领域为:代码分析、白盒测试、模型构建与分析等。 单元测试安全性测试测试工具 个人社区
加入社区
获取链接或二维码
- 近7日
- 近30日
- 至今
加载中
社区公告
本社区主要内容包括静态分析、白盒测试、基于模型的软件开发、故障树分析等领域的原创的最新研究成果、探索研究过程中的所思、所想及所悟以及国产原创软件产品的介绍。