Back to Search
Start Over
Test Program Generation for a Microprocessor -- A Case-Study
- Source :
- Proceedings of the 6th Intl. Conf. on Test and Proof (TAP '13), Proceedings of the 6th Intl. Conf. on Test and Proof (TAP '13), 2013, Budapest, France, Tests and Proofs ISBN: 9783642389153, TAP@STAF
- Publication Year :
- 2013
- Publisher :
- HAL CCSD, 2013.
-
Abstract
- Certifications of critical security or safety system properties are becoming increasingly important for a wide range of products. Certifying large systems like operating systems up to Common Criteria EAL 4 is common practice today, and higher certification levels are at the brink of becoming reality.
- Subjects :
- ComputingMilieux_THECOMPUTINGPROFESSION
business.industry
Computer science
White-box testing
[SCCO.COMP]Cognitive science/Computer science
020207 software engineering
02 engineering and technology
Certification
law.invention
Microprocessor
Engineering management
Common Criteria
law
Test program
Interactive testing
0202 electrical engineering, electronic engineering, information engineering
Test suite
020201 artificial intelligence & image processing
Test Management Approach
Software engineering
business
ComputingMilieux_MISCELLANEOUS
Subjects
Details
- Language :
- English
- ISBN :
- 978-3-642-38915-3
- ISBNs :
- 9783642389153
- Database :
- OpenAIRE
- Journal :
- Proceedings of the 6th Intl. Conf. on Test and Proof (TAP '13), Proceedings of the 6th Intl. Conf. on Test and Proof (TAP '13), 2013, Budapest, France, Tests and Proofs ISBN: 9783642389153, TAP@STAF
- Accession number :
- edsair.doi.dedup.....fbb1b85718e96cea6d5ce67968b4bd12