Results 221 to 230 of about 1,150,637 (268)
Some of the next articles are maybe not open access.
Testing scratch programs automatically
Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019Block-based programming environments like Scratch foster engagement with computer programming and are used by millions of young learners. Scratch allows learners to quickly create entertaining programs and games, while eliminating syntactical program errors that could interfere with progress.
Andreas Stahlbauer +2 more
openaire +1 more source
COMPSAC 79. Proceedings. Computer Software and The IEEE Computer Society's Third International Applications Conference, 1979., 2005
There are three commonly used criteria for program testing: each and every statement (branch) (path) in a program is executed at least once. This paper explores the complexity of proving the correctness of several classes of programs by testing. It turns out that even for very restrictive classes of programs, none of the commonly used test criteria is ...
openaire +1 more source
There are three commonly used criteria for program testing: each and every statement (branch) (path) in a program is executed at least once. This paper explores the complexity of proving the correctness of several classes of programs by testing. It turns out that even for very restrictive classes of programs, none of the commonly used test criteria is ...
openaire +1 more source
Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '81, 1981
This paper proposes a practical alternative to program verification -- called formal program testing -- with similar, but less ambitious goals. Like a program verifier, a formal testing system takes a program annotated with formal specifications as input, generates the corresponding verification conditions, and passes them through a simplifier.
openaire +1 more source
This paper proposes a practical alternative to program verification -- called formal program testing -- with similar, but less ambitious goals. Like a program verifier, a formal testing system takes a program annotated with formal specifications as input, generates the corresponding verification conditions, and passes them through a simplifier.
openaire +1 more source
Acta Informatica, 1978
An approach to the study of program testing is introduced in which program testing is treated as a special kind of equivalence problem. In this approach, classes of programs P * and associated classes of test sets T * are defined which have the property that if two programs P and Q in P * agree on a set of tests from T *, then P and Q are ...
openaire +2 more sources
An approach to the study of program testing is introduced in which program testing is treated as a special kind of equivalence problem. In this approach, classes of programs P * and associated classes of test sets T * are defined which have the property that if two programs P and Q in P * agree on a set of tests from T *, then P and Q are ...
openaire +2 more sources
Iconic test programming a tool for test program interoperability
2000 IEEE Autotestcon Proceedings. IEEE Systems Readiness Technology Conference. Future Sustainment for Military Aerospace (Cat. No.00CH37057), 2002This paper presents a methodology that significantly reduces the cost of test program set development through Iconic Programming Software and in addition simplifies portability between different ATE. The method achieves these goals through a user-friendly interface, which is largely independent of the ATE but can still produce a standardized test ...
P. Demazoin, J.Y. Barbier
openaire +1 more source
Computing in Science & Engineering, 2012
The Automated Testing System (ATS) is an open source, Python-based tool for automating the testing of applications, especially scientific simulations. It's especially designed to support the work of a team of subject-matter experts.
openaire +1 more source
The Automated Testing System (ATS) is an open source, Python-based tool for automating the testing of applications, especially scientific simulations. It's especially designed to support the work of a team of subject-matter experts.
openaire +1 more source
Proceedings of the annual conference on - ACM 76, 1976
A system that aids in testing programs is described. This system symbolically executes program paths and creates symbolic representations of the output variables that aid in verifying a path's computations. The conditional statements that affect the flow of control are also symbolically represented by a set of inequalities.
openaire +1 more source
A system that aids in testing programs is described. This system symbolically executes program paths and creates symbolic representations of the output variables that aid in verifying a path's computations. The conditional statements that affect the flow of control are also symbolically represented by a set of inequalities.
openaire +1 more source
Testing Programs with the Aid of a Compiler
IEEE Transactions on Software Engineering, 1977if finite input-output specifications are added to the syntax of programs, these specifications can be verified at compile time. Programs which carry adequate tests with them in this way should be resistant to maintenance errors. If the specifications are independent of program details they are easy to give, and unlikely to contain errors in common ...
openaire +2 more sources
Learning to Prioritize Test Programs for Compiler Testing
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 2017Compiler testing is a crucial way of guaranteeing the reliability of compilers (and software systems in general). Many techniques have been proposed to facilitate automated compiler testing. These techniques rely on a large number of test programs (which are test inputs of compilers) generated by some test-generation tools (e.g., CSmith).
Junjie Chen 0003 +5 more
openaire +1 more source
1994
We extend logic programming to deal with logic programs that include new truth functional connectives called tests. Stable Model Semantics and Three Valued Stable Model Semantics are extended to give meaning to programs with tests.
openaire +1 more source
We extend logic programming to deal with logic programs that include new truth functional connectives called tests. Stable Model Semantics and Three Valued Stable Model Semantics are extended to give meaning to programs with tests.
openaire +1 more source