蛐蛐

摘要： 今天尝试安装了一下Metasploit Framework 3.7.1，因为我准备利用今年暑假的时间，带领些实习生开发出功能比其还要强大的自动攻击原型系统。在装有Windows Server 2003系统的两台服务器上尝试安装，总是会报错：There has been an error. …… ALTER USER postgres PASSWORD ‘XXXXXXX’如下图所示：经搜索后得知解决方法，这里转载并总结一下：MSF安装过程中需要安装ruby和postgresql，以上错误在独立安装postgresql的时候也经常会碰到，主要是因为postgresql的默认字符类型与中文不匹配，将 阅读全文

摘要： 今天想在ubuntu上安装ocaml-3.10.1-1.fc7.src.rpm，遇到了一些问题，其实很简单，但是记录下来防止以后忘了：如果输入：sudo apt-get install alien ocaml-3.10.1-1.fc7.src.rpm则会报错如果输入：sudo apt-get install alien ocaml就可以正常运行了，就是一点小经验，防止自己以后忘掉。 阅读全文

摘要： 写这个博文的主要目的是怕自己以后会用到，这里把一些细节的问题记录下来：我这里用的是Apache JMeter 2.3.4中文版，相信其他版本也都差不多。开始之前想问问，对于WebLogic来说，有没有和Tomcat类似的监控接口呢？如果有的话，请各位不吝赐教。首先，在“线程组”上右键“添加”--“Sampler”--“HTTP请求”，在出现的HTTP请求界面中，添加“服务器IP”、“端口号”等信息，在“路径”中填入“manager/status”，在“同请求一起发送参数”中增加一个参数，名称为“XML”，值为“true”，同时，勾选最下面的“用作监视器”，如下图所示：之后，在“HTTP请求”上 阅读全文

摘要： 在这里 http://www.ntu.edu.sg/home/assourav/crank.htm将TACAS归结为在软件工程领域第二流的国际会议，而在中国计算机学会给出的参考意见中，将TACAS归结为第三流的国际会议。但是本人看到这个会议在Constraint Solver方面的文章经常被大家引用，所以很是奇怪。目前暂缺把它归为第二类，至少和ISSTA是一个档次的会议。就谈谈自己的想法。PS：TACAS 2010年的会议论文集链接：http://www.springer.com/computer/swe/book/978-3-642-12001-5学校的网络可以直接在Springer上下载， 阅读全文

摘要： 今天觉得每次在浏览器收藏夹里找这个很不方便，还不如记载到博客中便于查找：http://www.sigsoft.org/awards/disPapAwd-rec.htm这个URL统计了ACM SIGSOFT每年在各大软件工程会议中评选的优秀论文，目前的页面列举的是02年-10年的评选结果，相信11年的部分优秀论文也会选出来。特别值得一提的是，ICSE 2010年的优秀论文中出现了中科院软件所杨秋松和李明树老师的论文：Qiusong Yang, Mingshu Li A Cut-off Approach for Bounded Verification of Parameterized Syste 阅读全文

摘要： 今天用Minning这本书：《Manning JUnit in Action 2nd Edition》中自带的例子来学习JUnit的使用。结果导入到Eclipse中，运行测试用例报错：java.lang.NoClassDefFoundError: org/hamcrest/SelfDescribing在网上搜了一下，都说是JUnit.jar版本的问题。我在Eclipse中设置的JUnit变量是eclipse-SDK-3.5.2-win32目录下自带的：%ECLIPSE_HOME%/eclipse/plugins/org.junit4_4.5.0.v20090824/junit.jar将其换成最 阅读全文

摘要： 见：http://seclists.org/bugtraq/2011/Jan/139例如北大的一个网站：http://www.cala.pku.edu.cn/index.php?m=content&c=rss&catid=5&siteid=1又如：http://www.kuqiwan.com/index.php?m=content&c=rss&catid=5&siteid=1you can try others:http://www.exploit-db.com/ghdb/3676/哪位大牛告诉我盲注以后可以做什么呢？另外，怎么这么长时间这些网站 阅读全文

摘要： 今天研究一个工具软件的时候，发现搞不清楚Ubuntu上OpenJDK的安装目录，于是想自己安装一个Sun的标准JDK，简要记一下步骤如下：1. 从官网上下载JDK：从官网上下载了jdk-6u24-linux-i586.bin，放在目录/home/quyu/下（这个目录因人而异，方便自己操作为原则）2. 进入终端，执行命令以更改bin文件的读写权限：$ sudo chmod u+x jdk-6u24-linux-i586.bin 然后再执行bin文件：$ sudo -s ./jdk-6u24-linux-i586.bin然后一直点击回车即可。3. 然后进行环境变量等的配置：sudo gedit 阅读全文

摘要： 一般使用Ant进行Build的时候，总是在文件夹中包含一个build文件夹，如下图所示：一般setenv.bat中规定了搜索的路径，如下所示：set BUILD_CP=%CLASSPATH%set BUILD_CP=%BUILD_CP%;%JAVA_HOME%\lib\tools.jar;set BUILD_CP=%BUILD_CP%;..\devlib\ant.jar;set BUILD_CP=%BUILD_CP%;..\devlib\ant-junit.jar;set BUILD_CP=%BUILD_CP%;..\devlib\ant-launcher.jar;set BUILD_CP=% 阅读全文

摘要： 今天看文章的时候接触到这个词，不知道和Statistical Testing的关系是什么。这里总结一下，按照下面这篇文章：P. A. Nainar, T. Chen, J. Rosin, and B. Liblit, "Statistical debugging using compound boolean predicates," in Proceedings of the 2007 international symposium on Software testing and analysis, London, United Kingdom, 2007, pp. 5-1 阅读全文