Strategies for automated specification-based testing of synchronous software
| Autor: | J. Vassy, Ioannis Parissis |
|---|---|
| Rok vydání: | 2005 |
| Předmět: |
business.industry
Computer science Programming language White-box testing Software development Software requirements specification Manual testing computer.software_genre Fault detection and isolation Software Formal specification Software fault tolerance Non-regression testing Regression testing Software construction Software design Software verification and validation Software reliability testing Pair testing Software engineering business System integration testing computer |
| Zdroj: | ASE |
| DOI: | 10.1109/ase.2001.989830 |
| Popis: | The paper presents new techniques for specification based-testing of synchronous software with the Lutess tool. Lutess provides a framework consisting of automatically building generators which interact with the software under test and feed it with test input sequences. In the past few years, it has been established that operational profiles as well as scenarios are powerful tools, allowing for a better fault detection ability. As opposed to this last technique which relies on the ability of the human tester to specify scenarios, we propose an approach based solely on software specification to automatically generate input sequences which may correspond to fault revealing scenarios. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|