个人中心
文章发布
退出
作者热门文章
- html - 出于某种原因，IE8 对我的 Sass 文件中继承的 html5 CSS 不友好？
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景？
24
4
<分区>
我正在寻找可以生成测试用例或辅助软件测试的工具或框架。
到目前为止，我发现了以下内容:
Feed4JUnit (Java) - http://testful.sourceforge.net/updateSite/
MuClipse (Java) - http://muclipse.sourceforge.net/
MuJava (Java) - http://cs.gmu.edu/~offutt/mujava/
JTest(Java，商业)- http://www.parasoft.com/jsp/products/jtest.jsp?itemId=14
T2(Java)- http://www.cs.uu.nl/wiki/WP/T2Framework
快速检查(Java/Haskell)- https://quickcheck.dev.java.net/
Randoop (Java/.NET) - http://randoop.googlecode.com/hg/plugin/doc/index.html
单元检查(Java)- http://aiya.ms.mff.cuni.cz/unitchecking/dist/
Java 探路者 (Java) - http://babelfish.arc.nasa.gov/trac/jpf/wiki
UDITA(Java)- http://mir.cs.illinois.edu/udita/
呵叻( java )- http://korat.sourceforge.net/index.html
快速代码(Java)- http://fast-code.sourceforge.net/
TestGen4J(Java)- http://sourceforge.net/projects/spike-test-gen/(报错)
Agitar(Java)- http://www.agitar.com/ (商用，保证80%线路覆盖)
ReAssert (Java) - http://mir.cs.illinois.edu/reassert/ (修复单元测试)
Daikon(多语言)- http://groups.csail.mit.edu/pag/daikon/ (不变检测器)
Jaca(Java)- http://www.ic.unicamp.br/~eliane/JACA.html
Pex (.NET) - http://research.microsoft.com/en-us/projects/pex/
这些工具主要适用于 Java，但也在寻找 .NET 或其他语言。
谁能推荐其他工具
24
4
0
我最近购买了《C 编程语言》并尝试了 Ex 1-8这是代码 #include #include #include /* * */ int main() { int nl,nt,nb;
早上好!我有一个变量“var”，可能为 0。我检查该变量是否为空，如果不是，我将该变量保存在 php session 中，然后调用另一个页面。在这个新页面中，我检查我创建的 session 是否为空，
我正在努力完成 Learn Python the Hard Way ex.25，但我无法理解某些事情。这是脚本: def break_words(stuff): """this functio
我是一名优秀的程序员,十分优秀！