Automated Model-based Software Testing

  • Nielsen, Brian (Project Manager)
  • Mikucionis, Marius (Project Participant)
  • Skou, Arne (Project Participant)
  • Justesen, Johannes (Project Participant)
  • Riisgaard-Jensen, Martin (Project Participant)
  • Madsen, Kim Bjerregård (Project Participant)

Description

The company Skov A/S develops intelligent controllers for climate control of live-stock stables. These controllers are characterized by large and complex functionality implemented by embedded software. Today testing is to a large a manual and informal proces, and test cases is only to some extent implemented as scripts that can be executed automatically. This is very monotonous, error prone and labour intensive. The research community envision model-based testing, where a formal state model is used as basis for automated test generation and test execution, as a means for improving testing. Model-based testing appear promising for automating the testing process and for improving the effectiveness of the test campaign. The project performs experiments with model-based testing in the application domain of Skov, and will evaluate both academic and commercial tools. The goal is to improve testing practices in Skov, and introduce model-based testing in their practical development process.
StatusFinished
Effective start/end date01/06/200631/05/2007

Funding

  • <ingen navn>

Fingerprint

Software testing
Testing
Climate control
Embedded software
Controllers
Personnel