Automotive embedded applications are gaining widespread importance worldwide. Almost every car is equipped with hundreds of software-enabled technologies which are expected to have a drastic spike in the coming years ahead. With the advent of more and more automatic and autonomous techniques, there arises an extensive requirement of applying latest development and testing strategies. Apart from using single traditional V-Model, the design and test cases are generated based on more advanced double and triple V-models. The front panel of one of the autonomous car systems is designed and more refinement is obtained for optimum test path generation using prefix graph algorithm and edge-pair coverage criteria.
GuanJ. and OffuttJ., A model-based testing technique for component-based real-time embedded systems, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) (2015), pp. 1–10.
2.
AwedikianR. and YannouB., A practical model-based statistical approach for generating functional test cases: Application in the automotive industry, Software Testing Verification and Reliability24(2) (2014), 85–123.
ZhivichM. and CunninghamR.K., The Real Cost of software Errors, no. April, 2009, pp. (87–90.
5.
KonkaB.B., A case study on Software Testing Methods and Tools, University of Gothenburg July, (2011),, pp. 1–46.
6.
RöschS., UlewiczS., ProvostJ. and Vogel-HeuserB., Review of model-based testing approaches in production automation and adjacent domains-current challenges and research gaps, Journal of Software Engineering and Applications8(9) (2015), 499–519.
7.
UttingM., LegeardB., BouquetF., FourneretE., PeureuxF. and VernotteA., Recent Advances in Model-Based Testing, 1st ed. Elsevier Inc., 2016.
8.
FerreiraR.D.F., FariaJ.P. and PaivaA.C.R., Test Coverage Analysis of UML State Machines, Software Testing, Verification, and Validation Workshops (ICSTW), 2010 Third International Conference on Software Testing, Verification, and Validation WorkshopsParis (2010), pp 284–289.
9.
SeceleanuC., JohanssonM., SuryadevaraJ., SapienzaG., SeceleanuT., EllevsethS.E. and PetterssonP., Analyzing a wind turbine system: From simulation to formal verification, Science of Computer Programming133 (2017), 216–242.
10.
WeisslederS. and SchlingloffH., An evaluation of model-based testing in embedded applications, Proceedings - IEEE 7th International Conference on Software Testing, Verification and Validation, ICST 2014 (2014), art. no. 6823884, pp. 223–232.
11.
FeilerP.H., GoodenoughJ.B., GurfinkelA., WeinstockC.B. and WrageL., Reliability Validation and Improvement Framework, Research, Technology, and System Solutions Program Special Report CMU/SEI–SR-013, (2012), 2012.
12.
SkruchP. and BuchalaG., Model-based real-time testing of embedded automotive systems, SAE Int J Passeng Cars —Electron Electr Syst7(2) (2014) doi: 10.4271/2014-01-0188
13.
DonaldF.G., Common System and Software Testing Pitfalls: How to Prevent and Mitigate Them: Descriptions, Symptoms, Consequences, Causes, and Recommendations, 1st ed. USA (2014), p 320–Addison-Wesley.
14.
MarinescuR., SaadatmandM., BucaioniA., SeceleanuC. and PetterssonP., A Model Based Testing Framework for Automotive Embedded Systems, 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications (2014), pp. 38–47.
15.
BringmannE. and KrA., Model-Based Testing of Automotive Systems, 2008 International Conference on Software Testing, Verification, and Validation (2008), pp. 485–493.
16.
FeyI., GmbhC., ConradM., FeyI., GmbhC. and ConradM., Model-Based Design for Safety-Related Applications, SAE Technical Paper 2008-21-0033, (2008).
17.
MunizL.L., NettoU.S.C. and MaiaP.H.M., TCG: A model-based testing tool for functional and statistical testing, ICEIS 2015 - 17th International Conference on Enterprise Information Systems, Proceedings, vol. 2, no. APRIL 2015 (2015), pp. 404–411.
18.
VenkateshR., ShrotriU., DarkeP. and BokilP., Test generation for large automotive models, 2012 IEEE International Conference on Industrial Technology, ICIT 2012, Proceedings, (2012), pp. 662–667.
19.
AmmannP., OffuttJ. and XuW., Coverage criteria for state based specifications, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4949 LNCS, (2008), pp 118–156.
20.
LeeC. and FriedmanJ., Requirements modeling and automated requirements-based test generation, SAE Int J Aerosp6(2) (2013), 607–615. doi: 10.4271/2013-01-2237
21.
HabliI., IbarraI., RivettR. and KellyT., Model-Based Assurance for Justifying Automotive Functional Safety, SAE Technical Paper 2010-01-0209, (2010).doi: 10.4271/2010-01-0209
22.
Reactive Systems, Inc. Testing and Validation of Simulink Models with Reactis., Reactive Systems, Inc., Cary, NC2013.
23.
SwainN., Mathematical Modeling and Simulation using LabVIEW and LabVIEW MathScript, American Society for Engineering Education, 2012.
