In contrast to manual selection of input value boundaries, we present an approach to derive them automatically from OCL expressions of UML state machines and UML class diagrams. We statically analyze the interdependence of OCL expressions within the system model and transform the model into a transition tree and investigate the tree's paths. The corresponding test suite is focused on detecting errors that result from differences between constraints in the model and constraints in the system under test.
Immer wieder wird behauptet, die EU 28 hätte 17 unterschiedliche Kampfpanzertypen in Dienst, während die USA mit nur einem Typ auskommen. Es ist nur so, die Behauptung ist mehr als fragwürdig.
Seminar "Spezifikationsbasierter Softwaretest"
Prof. Dr. H. Schlingloff, Lehre
In der Veranstaltung wird die Frage behandelt, wie Testfälle aus Spezifikationen abgeleitet werden können. Ein besonderer Schwerpunkt ist dabei der modellbasierte Test eingebetteter Systeme, z.B. im Automotive Software Engineering.
Software testing is important activity in Software Development Life Cycle. To cut down cost of manual testing and to increase reliability of it, researchers and practitioners have tried to automate it. One of the important activity in testing environment is automatic test case generation - description of a test, independent of the way a given software system is designed. This paper presents a survey on automatic test case generation techniques that are found in the current literature. Problems in usage of certain techniques are identified. Areas that needed future research are presented.
Russian T-80BVM tanks couldn't hit targets during demonstrations at the Army-2020 defense forum at the Alabino practice range outside Moscow. The updated T-80
A. Bertolino, E. Marchetti, and H. Muccini. Electronic Notes in Theoretical Computer Science, (January 2005)MR: enthält Overview on Model-based Testing.
Dieser Ansatz erweitert den Cow_Suite-Ansatz indem neben der Sequenzdiagrammen und der UIT-Technik auch noch Zustandsdiagramme als Input für die Ableitung der Testfälle berücksichtigt werden. Es erfolgt mehrfache automatische Synthese der Sequenzdiagramme aus den Zustandsdiagrammen und umgekehrt. Die resultierenden 'augepeppten' Sequenzdiagramme dienen als Input für die UIT-Technik.
Für IST-SPL interessant, wenn Zustandsdiagramme involviert werden sollten..
H. Gross. Springer, 1 edition, (2004)MR: am meisten interessant ist der Kapitel: Model-Based Testing with UML und dadrin der Abschnitt über das Testen mit Aktivitätsdiagrammen (in Bezug auf ScenTED).