Search Results for "functional testing tool"

This program is intended to be useful for testing Boolean logic or propositional logic. It sets out logical expressions with symbols such as "AND" and "OR" in a graphical user interface. A truth table can then be generated for any such set of expressions. It can also be used to test the validity of deductive arguments - the program will advise whether an argument is valid and if not, list the counter examples to the argument.

...The sandbox libraries were originally designed and utilized as the core security module of a full-fledged online judge system for ACM/ICPC training. They have since then evolved into a general-purpose tool for binary program testing, profiling, and security restriction. The sandbox libraries are currently maintained by the OpenJudge Alliance (http://openjudge.net/) as a standalone, open-source project to facilitate various assignment grading solutions for IT/CS education. See project page at https://github.com/openjudge/sandbox for details.

...It proved not only to reduce the grading workload, but also improved the lab completion rates among students, and grades overall improved as a result. Since it has turned out to be such a successful tool, it is now released under the AGPL license for others to use in their classrooms. Planned improvements include: automatic plagiarism detection, making the student interface prettier, and supporting other testing frameworks and languages.