Proactive model based testing and evaluation for component-based systems
Keywords:Embedded Systems, Component Based Systems.
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.
 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).
 Garlan D, â€œFormal modeling and analysis of software architecture: Components, connectors, and eventsâ€, Formal Methods for Software Architectures, (2003), pp.1-24.
 Marijan S, â€œControl electronics of TMK2200 type tramcar for the City of Zagrebâ€, Proc. International Symposium on Industrial Electronics, ISIE, (2005), pp.1617â€“1622
 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.
 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.
 Ganesan S, Alladi V, Wei J & Alladi K, â€œDesigning embedded real-time systems (ERTS) with model driven architecture (MDA)â€, SAE Technical Paper, (2004).
 Lamport L, â€œThe Temporal Logic of Actionsâ€, ACM Transactions on Programming Languages and Systems, Vol.16, (1994), pp.872â€“923.
 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.
 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.
 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.