Abstract | ||
---|---|---|
j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test generation is based on an original approach which consists of deriving a set of communicating test processes obtained both from a requirement formula (expressed in a trace-based logic) and a behavioral specification of some specific parts of the software under test. The test execution engine is then able to coordinate the execution of these test processes against a distributed Java program. j-POST was applied to check the correct deployment of a security policy for a travel management application. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1016/j.entcs.2008.11.004 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
behavioral specification,test execution engine,property testing,tool,test process,java toolchain,property-oriented software testing,integrated toolchain,test generator,java,test designer,correct deployment,test generation,composition,java program,software testing,security policy | Test harness,Test suite,Programming language,Test Management Approach,Computer science,White-box testing,Model-based testing,Test case,Toolchain,Keyword-driven testing | Journal |
Volume | Issue | ISSN |
220 | 1 | Electronic Notes in Theoretical Computer Science |
Citations | PageRank | References |
4 | 0.39 | 7 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yliès Falcone | 1 | 508 | 39.21 |
Laurent Mounier | 2 | 1187 | 79.54 |
Jean-Claude Fernandez | 3 | 4 | 0.39 |
Jean-Luc Richier | 4 | 359 | 45.60 |