jCUTE公司

javaconcolic单元测试引擎(jCUTE)自动为Java程序生成单元测试。符号执行与随机执行相结合。符号执行允许jCUTE识别导致不同执行路径的输入;随机具体执行有助于克服约束求解器的局限性,例如无法分析系统调用或求解一般的非线性整数方程组。通过这种组合,jCUTE能够生成在实际Java程序中执行许多不同执行路径的测试用例。jCUTE支持多线程程序。它可以通过系统的进度探索来发现竞赛条件和死锁。


zbMATH中的参考文献(参考文献12条)

显示第1到第12个结果,共12个。
按年份排序(引用)

  1. 不,雷;梁永娟;谢遵义;钱,红;胡逸琪;于,杨;陈欣;李宣东:机器学习导向的复杂软件代码符号执行框架(2021)
  2. 梅斯纳德,弗雷德;Payet,Étienne;Vidal,Germanán:CLP中的混合物测试(2020年)
  3. 阿玛蒂尼,罗伯托;马克·安德隆;恒河,格雷姆;沙赫特,彼得;桑德加德,哈拉尔德;Stuckey,Peter J.:JavaScript动态符号执行的约束编程(2019)
  4. 哥德弗洛德,帕特里斯;Sen,Koushik:结合模型检查和测试(2018)
  5. 劳科,亨利克;罗查凯,彼得;Barnat,Jiří:通过程序转换进行符号计算(2018)
  6. 阮成武;维默,韦斯特利;卡普尔,迪帕克;2017年Stephanie连接和修复程序(自动输入和修复程序:生成和修复)
  7. 萨里基维,奥利;Heljanko,Keijo:LCTD:LLVM上C程序的测试引导证明(2016)
  8. 金,月亮动物园;金,云浩;Choi,Yunja:flash存储平台软件多扇区读取操作的协同测试(2012)ioport公司
  9. 比约纳,尼古拉;蒂尔曼,尼古拉;Voronkov,Andrei:字符串操作程序的路径可行性分析(2009)
  10. Kuliamin,V.V.:程序系统验证方法的集成(2009)
  11. Zybin,R.S。;库利亚明,V.V。;波诺马伦科,A.V。;鲁巴诺夫。;Chernov,E.S.:广义健全性测试生成的自动化(2008)
  12. 森,古实;Agha,Gul:CUTE和jCUTE:conlic单元测试和显式路径模型检查工具(2006)ioport公司