Searching for just a few words should be enough to get started. If you need to make more complex queries, use the tips below to guide you.
Issue title: Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2003
Article type: Research Article
Authors: Pheanis, David C.; * | Jackson, John A. | Johnson, Lance G.
Affiliations: Computer Science and Engineering, Ira A. Fulton School of Engineering, Arizona State University, Tempe, Arizona 85287-8809, USA
Correspondence: [*] Corresponding author. E-mail: David.Pheanis@asu.edu
Abstract: DynaTest, which stands for Dynamic Tester, is a macro-language software-testing and validation system that verifies programs, subroutines, and interrupt-handler routines written in assembly language. A scriptwriter writes a DynaTest test driver in a test-script language that specifically supports the development of test scripts. DynaTest uses comparative analysis of a combination of automatically generated pseudo-random test cases and handpicked test cases against a known, working solution. The current version of DynaTest executes on specific hardware platforms. The documented results speak for themselves. Using DynaTest has improved error detection tremendously while dramatically decreasing test-preparation time. Unfortunately, no matter how impressive DynaTest is, it always faces the limited-resource constraints of small microprocessors in embedded systems. With the ever-increasing performance of today's personal computers, a simulated embedded-processor environment opens the way for numerous possible error-prevention and error-detection tools. By wrapping these tools around a simulated embedded-processor environment, we can completely control and analyze the execution phase of a software system. Many tools for high-level languages work by incorporating themselves into the target program, affecting the memory layout and timing of the code. With our tools, we do not modify the target program, and the simulated environment keeps the timing and the memory map unchanged.
Keywords: Software testing, embedded systems, assembly language, simulated environment, error-detection tools, error-prevention tools
DOI: 10.3233/JCM-2005-5S101
Journal: Journal of Computational Methods in Sciences and Engineering, vol. 5, no. s1, pp. S1-S12, 2005
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
USA
Tel: +1 703 830 6300
Fax: +1 703 830 2300
sales@iospress.com
For editorial issues, like the status of your submitted paper or proposals, write to editorial@iospress.nl
IOS Press
Nieuwe Hemweg 6B
1013 BG Amsterdam
The Netherlands
Tel: +31 20 688 3355
Fax: +31 20 687 0091
info@iospress.nl
For editorial issues, permissions, book requests, submissions and proceedings, contact the Amsterdam office info@iospress.nl
Inspirees International (China Office)
Ciyunsi Beili 207(CapitaLand), Bld 1, 7-901
100025, Beijing
China
Free service line: 400 661 8717
Fax: +86 10 8446 7947
china@iospress.cn
For editorial issues, like the status of your submitted paper or proposals, write to editorial@iospress.nl
如果您在出版方面需要帮助或有任何建, 件至: editorial@iospress.nl