0

SPTL is a language designed to test applications developed for synchronous controllers. It makes possible to provide a specification of the software external environment. This specification can then be processed to generate test input sequences guided by directives such as profiles of use and scenarios. We introduce a definition and an overview of the language through a simple example of a reac...

This deliverable is devoted to the testing and improvement of the language prototypes developed by I4. In the first half of the deliverable testing and improvement of single-rule programs will be the focus. In the second half of the deliverable, we report on testing and implementation of the RDFLog prototype. Though feature-by-feature testing has been performed for both prototypes, we report he...

Software tests are intellectual assets that are as valuable as source code. Over the long term, maintainable software tests significantly lower a project's cost. It is very difficult, however, to write maintainable software tests, especially executable ones. Existing approaches including natural languages, tabular formats, scripting and programming languages, and several test description langua...

The difficulty of writing test harnesses is a major obstacle to the adoption of automated testing and model checking. Languages designed for harness definition are usually tied to a particular tool and unfamiliar to programmers; moreover, such languages can limit expressiveness. Writing a harness directly in the language of the software under test (SUT) makes it hard to change testing algorithm...

since language finds bureaucracy a kind of abuse by the public servants of the language and bureaucracy is considered by nature as a controversial speech, no desirable aspects could be found for it and no suitable model could be presented for a relatively negative phenomenon. that is why it is better to use the term 'post - bureaucratic language' instead of the phrase 'suitable m...