pietrobraione / sushi-lib Goto Github PK
View Code? Open in Web Editor NEWThe runtime library part of SUSHI
The runtime library part of SUSHI
Currently the path condition evaluator is limited to evaluating symbols in the initial execution state. However function symbols standing for method invocations can be generated in intermediate states, so they should be evaluated there. The only way I can think this can be implemented is to rewrite the path condition evaluator so its performs concrete execution of the test with JBSE.
The wrapper classes emitted by the formatters give name to the test0
method's variables from the variable names of the method under test. If no debug information is present in the class such names are absent, and the formatters use the default names given by JBSE to the variables, that are not well-formed Java names.
The wrapper class emitted by a formatter is declared in the top-level package. This does not allow the formatter to access to package-level members of the class. The wrapper should be modified to emit the wrapper class in the same package as the target class.
If a test diverges (i.e., does not terminate), the coverage calculator hangs. This means that diverging tests must be detected by hand and excluded before running the coverage calculator, potentially missing some target that these tests may cover. Introduce some form of timeout for test execution so the coverage calculator will abandon the execution of the test and progress.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.