T. Hussain

Fraunhofer Institute for Experimental Software Engineering IESE, Kaiserlautern, Rheinland-Pfalz, Germany

Are you T. Hussain?

Claim your profile

Publications (9)0 Total impact

  • J. Kloos, T. Hussain, R. Eschbach
    [Show abstract] [Hide abstract]
    ABSTRACT: One important aspect of the quality assurance process of safety-critical embedded systems is verifying the appropriateness, correctness of the implementation and effectiveness of safety functions. Due to the rapid growth in complexity, manual verification activities are no longer feasible. This holds especially for testing. A popular method for testing such complex systems is model-based testing. Recent techniques for model-based testing do not sufficiently take into consideration the information derived from the safety analyses like Failure Mode and Effect Analysis and Fault Tree Analyses (FTA). In this paper, we describe an approach to use the results of FTA during the construction of test models, such that test cases can be derived, selected and prioritized according to the severity of the identified risks and the number of basic events that cause it. This approach is demonstrated on an example from the automation domain, namely a modular production system. We find that the method provides a significant increase in coverage of safety functions, compared to regular model based testing.
    Software Testing, Verification and Validation Workshops (ICSTW), 2011 IEEE Fourth International Conference on; 04/2011
  • [Show abstract] [Hide abstract]
    ABSTRACT: This article reports the results of an industrial case study demonstrating the efficacy of a model-based testing process in assuring the quality of highly configurable systems from the automation domain. Escalating demand for flexibility has made modern embedded software systems highly configurable. This configurability is often realized through parameters and a highly configurable system possesses a handful of those. Small changes in parameter values can account for significant changes in the system's behavior, whereas in other cases, changed parameters may not result in any perceivable reaction. This case study addresses the challenge of applying model-based testing to configurable embedded software systems to reduce development effort. As a result of the case study, a model-based testing process was developed and tailored toward the needs of the automation domain. This process integrates existing model-based testing methods and tools, such as combinatorial design and constraint processing. The testing process was applied as part of the case study and analyzed in terms of its actual saving potentials, which reduced the testing effort by more than a third.
    IJERTCS. 01/2011; 2:22-41.
  • T. Hussain, R. Eschbach
    [Show abstract] [Hide abstract]
    ABSTRACT: In manufacturing automation domain safety and availability are the most important factors to ensure productivity. In modern software intensive networked automation systems it became quite hard to ensure which non-functional requirements are related to these factors as well as whether these are satisfied or not. This is due to the prevalence of manual efforts in several analyses phases where complexity of the system often makes it hard to obtain comprehensive overview and thus makes it difficult to ascertain the presence of certain undesired consequences. Since design, development and following verification and validation activities are largely dependent upon the result of the analyses the product is largely affected. To address these problems automated fault tree generation is presented in this paper. It uses distinct modeling artifacts and information to automatically compose formal models of the system. Embedding hardware and network failures it is then ascertained through model checking whether the system satisfies certain safety and availability properties or not. This information is used to compose the fault tree. Proposed approach will improve completeness and correctness in fault trees and will consequently help in improving the quality of the system. Furthermore, it is also shown how the artifacts of this analysis can be used to produce test goals and test cases to validate the software constituents of the system and assure traceability between testing activity and safety requirements.
    Emerging Technologies and Factory Automation (ETFA), 2010 IEEE Conference on; 10/2010
  • Dr. Robert Eschbach, Dr. Tanvir Hussain
    [Show abstract] [Hide abstract]
    ABSTRACT: In model-based testing procedures, abstract test models are developed that describe the behavior of the system to be tested and that are used to generate and select test cases. However, a major difficulty exists when it comes to integrating model-based testing, particularly in the case of systems or interfaces exhibiting so-called hybrid behavior, meaning they include both event-discrete and time-continuous behavior. The Fraunhofer Institute for Experimental Software Engineering IESE has developed a software for this purpose. This software, which is called Simotest, enables model-based verification even of hybrid models using IEEE 1641. The advantages are illustrated by the authors using a light control system as an example. The models needed for the example were created using Matlab/Simulink.
    ATZelektronik worldwide. 10/2010; 5(5).
  • Dr. Robert Eschbach, Dr. Tanvir Hussain
    [Show abstract] [Hide abstract]
    ABSTRACT: Beim modellbasierten Testverfahren werden abstrakte Testmodelle entwickelt, die das Verhalten des zu testenden Systems beschreiben und mit deren Hilfe Testfälle erzeugt und ausgewählt werden. Es gibt jedoch eine wesentliche Schwierigkeit bei der Integration des modellbasierten Testens, insbesondere wenn es sich um Systeme beziehungsweise Schnittstellen handelt, die ein sogenanntes hybrides Verhalten aufweisen, das heißt sowohl ereignisdiskrete wie auch zeitkontinuierliches Verhalten beinhalten. Das Fraunhofer-Institut für Experimentelles Software Engineering IESE entwickelte hierfür eine Software namens Simotest, die eine modellbasierte Verifikation unter Anwendung der IEEE 1641 auch hybrider Modelle ermöglicht. Die Vorteile verdeutlichen die Autoren am Beispiel einer Lichtsteuerung. Die für das Beispiel benötigten Modelle wurden mit Matlab/Simulink erstellt.
    ATZelektronik. 10/2010; 5(5).
  • Tanvir Hussain, Robert Eschbach
    Preprints of the 13th IFAC Symposium on Information Control Problems in Manufacturing, Moscow, Russia; 01/2009
  • [Show abstract] [Hide abstract]
    ABSTRACT: Beim modellbasierten Testen komplexer Systeme stößt man häufig auf das Problem, dass die Modellierung des Benutzer- und Umgebungsverhaltens in einem einzigen Modell nur sehr umständlich durchzuführen ist und dass die Möglichkeiten zur Wiederverwendung und Modellevoluation sehr gering sind. Aus diesem Grund untersuchen wir, in welcher Form man Benutzungsmodelle mit Hilfe kompositionaler Methoden aus einfacheren Modellen zusammensetzen kann.
    Fraunhofer IESE.
  • Fraunhofer IESE.
  • [Show abstract] [Hide abstract]
    ABSTRACT: Beim modellbasierten Testen komplexer Systeme stößt man häufig auf das Problem, dass die Modellierung des Benutzer- und Umgebungsverhaltens in einem einzigen Modell nur sehr umständlich durchzuführen ist. Die Möglichkeiten zur Wiederverwendung und Modellevolution sind außerdem sehr gering. Aus diesem Grund wird untersucht, in welcher Form man Benutzungsmodelle mit Hilfe kompositionaler Methoden aus einfacheren Modellen zusammensetzen kann. Inhalt dieses Dokuments sind sowohl die mit Industriepartnern ermittelten Anforderungen an diese Technik als auch ein Konzept, wie man Modelle in einer für die Durchführung der Komposition zuträglichen Art darstellen kann. In den folgenden Dokumenten werden dann die entsprechenden Spezifikationstechniken, Auswertungsverfahren und Werkzeuge dokumentiert.