pTest: an adaptive testing tool for concurrent software on embedded multicore processors
Abstract
More and more processor manufacturers have launched embedded multicore processors for consumer electronics products because such processors provide high performance and low power consumption to meet the requirements of mobile computing and multimedia applications. To effectively utilize computing power of multicore processors, software designers interest in using concurrent processing for such architecture. The master-slave model is one of the popular programming models for concurrent processing. Even if it is a simple model, the potential concurrency faults and unreliable slave systems still lead to anomalies of entire system. In this paper, we present an adaptive testing tool called pTest to stress test a slave system and to detect the synchronization anomalies of concurrent software in the master-slave systems on embedded multicore processors. We use a probabilistic finite-state automaton(PFA) to model the test patterns for stress testing and shows how a PFA can be applied to pTest in practice.
References
[1]
OMAP5912 Application Processor, Texas Instuments.
[2]
S. L. Shee, A. Erdos, and S. Parameswara, "Heterogeneous multiprocessor implementations for jpeg: a case study," in Proceedings of the 4th international conference on Hardware/software codesign and system synthesis, 2006, pp. 217--222.
[3]
O. Edelstein, E. Farchi, E. Goldin, Y. Nir, G. Ratsaby, and S. Ur, "Framework for testing multi-threaded java programs," Concurrency and Computation: Practice and Experience, vol. 15, no. 3--5, pp. 485--499, Feb. 2003.
[4]
M. Musuvathi and S. Qadeer, "Fair stateless model checking," in Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation, 2008, pp. 362--371.
[5]
E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking. MIT Press, 2000.
[6]
A. Groce and R. Joshi, "Random testing and model checking: building a common framework for nondeterministic exploration," in Proceedings of the 2008 international workshop on dynamic analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'08), 2008, pp. 22--28.
[7]
E. Vidal, F. Thollard, C. de la Higuera, F. Casacuberta, and R. C. Carrasco, "Probabilistic finite-state machines-part i," IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 27, no. 7, pp. 1013--1025, Jul. 2005.
[8]
E. Vidal, F. Thollard, C. de la Higuera, F. Casacuberta, and R. C. Carrasco, "Probabilistic finite-state machines-part ii," IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 27, no. 7, pp. 1026--1039, Jul. 2005.
[9]
K.-Y. Hsieh, Y.-C. Lin, C.-C. Huang, and J.-K. Lee, "Enhancing microkernel performance on vliw dsp processors via multiset context switch," Journal of Signal Processing Systems, vol. 51, no. 3, pp. 257--268, Jun. 2008.
[10]
R. V. Binder, Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley Professional, 1999.
[11]
J. E. Forrester and B. P. Miller, "An empirical study of the robustness of windows nt applications using random testing," in Proceedings of the 4th conference on USENIX Windows Systems Symposium, 2000, pp. 59--68.
[12]
R. M. Hierons and M. G. Merayo, "Mutation testing from probabilistic finite state machines," in Proceedings of the Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION'07), 2007, pp. 141--150.
[13]
S. Bangalore and G. Riccardi, "Stochastic finite-state models for spoken language machine translation," in Proceedings of the NAACL-ANLPWorkshop on Embedded Machine Translation Systems, 2000, pp. 52--59.
[14]
E. L. L. Sonnhammer, G. von Heijne, and A. Krogh, "A hidden markov model for predicting transmembrane helices in protein sequences," in Proceedings of the Sixth International Conference on Intelligent Systems for Molecular Biology (ISMB), 1998, pp. 175--182.
[15]
L. R. Rabiner and B. H. Juang, "An introduction to hidden markov models," IEEE ASSP Magazine, vol. 3, no. 1, pp. 4--16, Jan. 1986.
[16]
K.-Y. Hsieh, Y.-C. Liu, P.-W. Wu, S.-W. Chang, and J. K. Lee, "Enabling streaming remoting on embedded dual-core processors," in Proceedings of the 37th International Conference on Parallel Processing (ICPP'08), 2008, pp. 35--42.
[17]
IEEE Standard, IEEE Standard POSIX 1003.1c-1995 thread extensions. IEEE, 1995, iSO/IEC 9945-1:1996.
- pTest: an adaptive testing tool for concurrent software on embedded multicore processors
Recommendations
An evaluation of speculative instruction execution on simultaneous multithreaded processors
Modern superscalar processors rely heavily on speculative execution for performance. For example, our measurements show that on a 6-issue superscalar, 93% of committed instructions for SPECINT95 are speculative. Without speculation, processor resources ...
Converting thread-level parallelism to instruction-level parallelism via simultaneous multithreading
To achieve high performance, contemporary computer systems rely on two forms of parallelism: instruction-level parallelism (ILP) and thread-level parallelism (TLP). Wide-issue super-scalar processors exploit ILP by executing multiple instructions from a ...
Comments
Information & Contributors
Information
Published In
April 2009
1776 pages
ISBN:9783981080155
- General Chairs:
- Luca Benini,
- Giovanni De Micheli,
- Program Chairs:
- Bashir Al-Hashimi,
- Wolfgang Mueller
Sponsors
- EDAA: European Design Automation Association
- ECSI
- EDAC: Electronic Design Automation Consortium
- SIGDA: ACM Special Interest Group on Design Automation
- The IEEE Computer Society TTTC
- The IEEE Computer Society DATC
- The Russian Academy of Sciences: The Russian Academy of Sciences
Publisher
European Design and Automation Association
Leuven, Belgium
Publication History
Published: 20 April 2009
Check for updates
Qualifiers
- Research-article
Conference
DATE '09
Sponsor:
- EDAA
- EDAC
- SIGDA
- The Russian Academy of Sciences
Acceptance Rates
Overall Acceptance Rate 518 of 1,794 submissions, 29%
Upcoming Conference
DATE '25
- Sponsor:
- sigda
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 83Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Reflects downloads up to 09 Nov 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in