CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

RobusTest: A Framework for Automated Testing of Software Robustness

Ali Shahrokni (Institutionen för data- och informationsteknik, Software Engineering (Chalmers)) ; Robert Feldt (Institutionen för data- och informationsteknik, Software Engineering (Chalmers))
APSEC 2011 (15301362). p. 171-178. (2011)
[Konferensbidrag, refereegranskat]

Robustness of a software system is defined as the degree to which the system can behave ordinarily and in conformance with the requirements in extraordinary situations. By increasing the robustness many failures which decrease the quality of the system can be avoided or masked. When it comes to specifying, testing and assessing software robustness in an efficient manner the methods and techniques are not mature yet. This paper presents RobusTest, a framework for testing robustness properties of a system with currently focus on timing issues. The expected robust behavior of the system is formulated as properties. The properties are then used to automatically generate robustness test cases and assess the results. An implementation of RobusTest in Java is presented here together with results from testing different, open-source implementations of the XMPP instant messaging protocol. By executing 400 test cases that were automatically generated from properties on two such implementations we found 11 critical failures and 15 nonconformance problems as compared to the XMPP specification.

Nyckelord: Robustness, real time systems, testing, timing, temporal property, property based testing



Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2012-01-16. Senast ändrad 2017-09-14.
CPL Pubid: 153003

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)