Testability analysis method for hardware and software based on assertion libraries

Autor:	Maryna Kaminska, Roman Prikhodchenko, Pavel Mocar, Artem Kubirya
Rok vydání:	2008
Předmět:	Selection (relational algebra) business.industry Computer science Programming language Design for testing Control (management) Assertion computer.software_genre Automaton Controllability Software Observability business computer Computer hardware
Zdroj:	EWDTS
Popis:	Testability analysis method for software and hardware products, which represented by system level as a composition of control and operational automata is offered. Methodology of bottlenecks selection for assertions implementation in program code is proposed.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::99239583f68539f34c358894ec8ae458 https://doi.org/10.1109/ewdts.2008.5580146 Zobrazit plný text záznamu