51Testing软件测试网 »
Kapok的个人空间
欢迎访问 Kapok 的个人空间
我的文集
-
2005-01-14 21:03:40 / [软件测试新手上路精华区]
现在基本上Quality Assurance的课程都会把它引作参考文献吧
查看(128924)
评论(401)
-
2004-08-28 16:12:24 / [软件测试新手上路]
版上正好有同仁问及测试理论 俺也来说说自己的理解有一个定义在域D上的函数F 有一个实现F的程序PF可以看作程序P的specification D当然就是P的input domain现在想确定P有没有正确地实现F 也就是要证明For any x belongs to D, F(x) = P(x)如果用数理逻辑的方法也就是形式化方法证明了上面的式子 这个就是program verification 不是testingtesting的问题是 能不能找出一个D的子集T 使得{For any t belongs to T, F(t) = P(t)} implies {For any x belongs to D, F(x) = P(x)}也就是说 只要程序.
查看(1798)
评论(0)
-
2004-08-26 16:32:30 / [软件测试新手上路]
关于首页上的“软件测试经典站点” 即“63个软件测试相关链接”http://www.51testing.com/Jdwz.htm这里面多数都是software testing research方面的内容同工业界目前广泛采用的一些技术和方法还是有很大距离的而且分散在各个研究小组网站上的东西一般都是各自某个小领域的研究成果到底有没有实用价值也没有经过检验如果要了解世界范围公认的研究成果或前沿领域主要有以下一些学术杂志和会议:IEEE Tranctions on Software EngineeringACM Tranctions on Software Engineering and MethodologySoftware Testing.
查看(1813)
评论(0)