关于软件测试用例生成技术相关研究总结

本文总结了一年来的软件测试用例自动生成研究,包括采用的方法、研究工具和相关文献。重点关注了符号执行、基于模型的测试、组合测试等技术,探讨了Randoop、JPF-SE、Palus等工具,并对未来工作进行了规划,如文档整理和翻译。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

缘起

自跟陈翔老师做软件测试中测试用例自动生成的方面的研究,已经过了一年了。在这一年里,看了很多东西,也学习了很多,最大的收获是眼界开阔了很多,从对学术研究一窍不通,到渐渐步入门中窥探了几分,虽入门不深,确受益匪浅。其中最大的决定莫过于将windows系统格了装Ubuntu,老实说,自己从来没这么霸气的用换操作系统来和过去划清界限,并没有鄙视window的意思,只是觉得Linux下更适合程序员和学术研究。

还有一个月多一点就要毕业了,想去上海找份Rails程序员的工作,在全心全意投入rails的学习前,我想将软件测试中做的工作总结一下,记录一些只言片语。

正文

1. 研究方法

关于如何做研究,我的指导老师的写的PPT很不错:科研指南

关于如何阅读论文和如何写论文,一些资料如下:

1.周志华-如何做写论文

2.如何阅读论文

3.一位研究生导师心目中理想的论文

软件测试相关的书籍:Paul AmmannJeff Offut的《Introduction to Software Testing》不错,书不厚。此外,Jeff Offut本人值得关注,此人搞了一辈子软件测试,他的Homepage:。http://cs.gmu.edu/~offutt/

研究过程遇到的一些NB的人物的主页

信息科学中Kolmogorov复杂度的相关人物:G J Chaitin Ray Solomonoff A.H. Kolmogorov 

计算复杂度的开山祖师:Stephen A. Cook Richard M. Karp 

数据挖掘的牛人:

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值