DocumentCode :
2250488
Title :
Simulation-based requirements testing
Author :
Myers, Douglas ; Vincent, Nicole ; O´Loughlin, K. ; Marks, Dustin ; Snyder, Christopher ; White, K. Preston ; Fairbrother, Richard ; Terry, William
Author_Institution :
Dept. of Syst. & Inf. Eng., Virginia Univ., Charlottesville, VA, USA
fYear :
2003
fDate :
24-25 April 2003
Firstpage :
189
Lastpage :
194
Abstract :
Lockheed Martin Distribution Technologies (LMDT) develops mail-sorting systems for the United States Postal Service. LMDT´s development process is extensive and typically several prototypes are implemented before the best solution is found. This process can be both time consuming and costly to the company. Our Capstone team developed a program to help alleviate some design inefficiencies. Specifically we automated the requirements tracking between a simulation program and the company´s contracts (Statements of Work, or SOW). In the past at LMDT, simulations have been used after the final system was designed to show the customer the functionality of the ultimate product. Our goal was to increase the usefulness of simulations by utilizing them before physical prototyping. Our product consists of three separate parts. First, a simulation must be built. Next, system requirements must be extracted from the SOW. Finally, an interface must be designed that will automatically check how the simulation results compare to the actual requirements.
Keywords :
digital simulation; formal specification; formal verification; program testing; software prototyping; software tools; statistical testing; formal verification; interface designing; mail-sorting systems; probability distributions; simulation-based requirements testing; software prototyping; software tools; system requirements; Analytical models; Contracts; Databases; Design engineering; Job design; Postal services; Project management; Prototypes; Testing; Virtual prototyping;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Systems and Information Engineering Design Symposium, 2003 IEEE
Print_ISBN :
0-9744559-0-3
Type :
conf
DOI :
10.1109/SIEDS.2003.158023
Filename :
1242418
Link To Document :
بازگشت