摘要: Abstract 本文认为一般测试工具只会试着覆盖正常执行路径,本文则会尝试引发已经标明可能出现的异常,由此,测试人员就能观察到程序如何处理这些异常,同时,也能增加覆盖率 Intro 本文工作: 实现了一个能够对Java源码自动插桩的工具,能够自动执行程序的exception相关路径,且能够和现有的 阅读全文
posted @ 2021-04-24 19:21 雪溯 阅读(45) 评论(0) 推荐(0) 编辑
摘要: ![](https://img2020.cnblogs.com/blog/660274/202104/660274-20210424191605400-783518272.jpg) ![](https://img2020.cnblogs.com/blog/660274/202104/660274-20210424191806668-1921215792.jpg) ![](https://img20 阅读全文
posted @ 2021-04-24 19:19 雪溯 阅读(57) 评论(0) 推荐(0) 编辑
摘要: ![](https://img2020.cnblogs.com/blog/660274/202104/660274-20210424191131466-244498343.jpg) ![](https://img2020.cnblogs.com/blog/660274/202104/660274-20210424191132244-1107780027.jpg) 阅读全文
posted @ 2021-04-24 19:12 雪溯 阅读(67) 评论(0) 推荐(0) 编辑
摘要: github https://github.com/ksw0306/ClariNet Note 阅读全文
posted @ 2021-04-24 18:59 雪溯 阅读(60) 评论(0) 推荐(0) 编辑
摘要: Notes 4 LLstar Parsers ANTLR使用语义predicate来实现语法predicate 在确定具体走哪个分支之前,ANTLR不会执行action和语法predicate这种可能有后效性的代码块。对于必须要在推测,也即执行DFA推断的时候就加载的代码块,antlr3提供了语法{ 阅读全文
posted @ 2021-04-24 17:53 雪溯 阅读(141) 评论(0) 推荐(0) 编辑