Proactive model based testing and evaluation for component-based systems

Authors

  • A. Surendar
  • M. Kavitha
  • V. Saravanakumar

DOI:

https://doi.org/10.14419/ijet.v7i1.1.8927

Published:

2017-12-21

Keywords:

Embedded Systems, Component Based Systems.

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.

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 Full Article: