Abstract | ||
---|---|---|
The systems and the software in the domain of industrial trucks are becoming increasingly complex due to the rapidly increasing demand for more functionality. This leads to an even faster rising effort for manual verification activities. Therefore, automated testing techniques need to be introduced into the verification process. In this work, a search-based test generation technique has been adapted for the requirements-based black box test of control systems for counterweight forklift trucks. Fitness functions are derived from industrial requirement documents and are utilized to automatically generate test cases consisting of multiple input signals. The designed approach has been evaluated on an industrial control system and the results show that failures can be detected in the system as well as in the environment model. |
Year | DOI | Venue |
---|---|---|
2017 | 10.1109/ISSREW.2017.10 | 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) |
Keywords | Field | DocType |
System Verification,Embedded Software,Genetic Algorithms,Automatic Testing | Truck,Black-box testing,Computer science,Industrial control system,Software,Test case,Counterweight,Control system,Reliability engineering,Genetic algorithm | Conference |
ISSN | ISBN | Citations |
2375-821X | 978-1-5386-2388-6 | 0 |
PageRank | References | Authors |
0.34 | 6 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Florian Hauer | 1 | 19 | 2.76 |
Alexander Pretschner | 2 | 26 | 9.69 |
Maximilian Schmitt | 3 | 0 | 0.34 |
Markus Groetsch | 4 | 0 | 0.34 |