Proactive model based testing and evaluation for component-based systems

 
 
 
  • Abstract
  • Keywords
  • References
  • PDF
  • Abstract


    Embedded software systems are getting more and more complex. The demand for new features and functions led to an increasing complexity in the design and development of these systems. There are frequent reports in the media about software systems crashing and damages occurring due to software errors. One reason for this is that there are many software testing methods and techniques but they are often non-practical and difficult to use. The aim of the study was to improve existing testing methods and their practicality especially from the integrator viewpoint. Component-based system development, components of different granularities must be tested. Furthermore, an optimization approach based on simulated annealing is presented which is used to derive an integration order with respect to the proposed parameters in a powerful and reliable manner. The paper discusses explicit properties and the requirements that are to be verified, imposed upon software-intensive systems by their environment and by their users.


  • Keywords


    Embedded Systems, Component Based Systems.

  • References


      [1] Panchumarthi GP & Surendar A, “A review article on Fin-FET based self-checking full adders”, Journal of Advanced Research in Dynamical and Control Systems, Vol.9, No.4, (2017).

      [2] Garlan D, “Formal modeling and analysis of software architecture: Components, connectors, and events”, Formal Methods for Software Architectures, (2003), pp.1-24.

      [3] Marijan S, “Control electronics of TMK2200 type tramcar for the City of Zagreb”, Proc. International Symposium on Industrial Electronics, ISIE, (2005), pp.1617–1622

      [4] Fredriksson J & Land R, “Reusable component analysis for component-based embedded real-time systems”, 29th International Conference on Information Technology Interfaces, (2007), pp.615– 620.

      [5] Gallagher L & Offutt J, “Test Sequence Generation For Integration Testing Of Component Software 1”, The Computer Journal, Vol.52, No.5, (2007), pp.514-529.

      [6] Ganesan S, Alladi V, Wei J & Alladi K, “Designing embedded real-time systems (ERTS) with model driven architecture (MDA)”, SAE Technical Paper, (2004).

      [7] Lamport L, “The Temporal Logic of Actions”, ACM Transactions on Programming Languages and Systems, Vol.16, (1994), pp.872–923.

      [8] Markey N, Larsen KG & Bouyer P, “Model Checking One-clock Priced Timed Automata”, Logical Methods in Computer Science, Vol.4, No.2:9, (2008), pp.1–28.

      [9] Vimalkumar MN, Helenprabha K & Surendar A, “Classification of mammographic image abnormalities based on emo and LS-SVM techniques”, Research Journal of Biotechnology, Vol.12, No.1, (2017), pp.35-40.

      [10] Manju K, Sabeenian RS & Surendar A, “A review on optic disc and cup segmentation”, Biomedical and Pharmacology Journal, Vol.10, No.1, (2017), pp.373-379.


 

View

Download

Article ID: 8927
 
DOI: 10.14419/ijet.v7i1.1.8927




Copyright © 2012-2015 Science Publishing Corporation Inc. All rights reserved.