<  Back to the Polytechnique Montréal portal

Verification of software-hardware hybrid systems

Neelesh Bhattacharya

Technical Report (2010)

Open Acess document in PolyPublie and at official publisher
[img]
Preview
Open Access to the full text of this document
Published Version
Terms of Use: Tous droits réservés
Download (892kB)
Show abstract
Hide abstract

Abstract

Verification of complex systems with multiple processors is difficult. The reason beingthat the generation of test cases for the whole system is quite complex. So, the systemmust be verified in parts and sequentially, i.e., verifying the software, hardware platformseparately and the finally software running on the hardware platform. As verification ofthe MPSoC (Multiple-Systems-on-Chip) platform is beyond the scope of our research,we assume that the MPSoC hardware platform is already verified. Thus, we focus ourresearch on the verification of the MPSoC software (application software running on theMPSoC platform) and the system consisting of the MPSOC software running on theMPSoC platform. Researchers have tried to verify the software portion by generatingtest cases using metaheutistics, constraint programming and combined metaheuristic-constraint programming approaches. But metaheuristic approaches are not capable of finding good solution as they may get blocked in local optima, whereas constraint programming approaches are not able to generate good test cases when the problem islarge and complex. The combined metaheuristic-constraint programming approachessolve these limitations but lose many good test cases when they reduce the domain ofthe input variables. We want to generate test cases for software while overcoming thelimitations mentioned. For this, we propose to combine metaheuristic and constraintprogramming approaches. In our approach, constraint programming solver will split theinput variable domains before reducing them further to be fed into the metaheuristicsolver that will generate test cases. Finally, at a later stage of our research, we want toverify the whole system consisting of an application software (DEMOSAIK or FFMPEG4) running on an MPSoC architecture simulator, the ReSP platform. We propose to generate the test cases from the functional test objectives to check the proper functioning ofthe software running on the hardware platform. So, we frame the two research questionsas: Verification of software by generating test cases so as to satisfy certain coveragecriterion and cause the software to fail, and verification of the functional and structuralcoverage criteria(s) of the system as a whole. We report the results of the preliminaryexperiments conducted, which helps us to provide a path for the subsequent steps.
Subjects: 2700 Information technology > 2700 Information technology
2700 Information technology > 2705 Software and development
2700 Information technology > 2706 Software engineering
2700 Information technology > 2720 Computer systems software
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/2659/
Report number: EPM-RT-2010-10
Date Deposited: 06 Oct 2017 14:09
Last Modified: 11 Nov 2022 14:19
Cite in APA 7: Bhattacharya, N. (2010). Verification of software-hardware hybrid systems (Technical Report n° EPM-RT-2010-10). https://publications.polymtl.ca/2659/

Statistics

Total downloads

Downloads per month in the last year

Origin of downloads

Repository Staff Only

View Item View Item