Automated test case generation for reactive software systems based on environment models
Imanian, James A.
Michael, James B.
MetadataShow full item record
The goal of software testing is to expose as many faults as possible. Often one can increase the number of faults detected by running large amounts of test cases, therefore the ability to automatically generate applicable test cases for a System Under Test (SUT), would be a valuable tool. In this thesis an attributed event grammar is designed and used to build a model that describes the environment a SUT must operate in. This event grammar captures events, their precedence or inclusion relation to other events, and attributes of the events. An event is defined as an observable action that has a distinct beginning and end. The high level environment model is then used by a test generator to produce an event trace from which input for the SUT is extracted. Thousands of event traces can be generated. For reactive systems the event trace will have the appropriate time delays between inputs. The feasibility of this approach is proven by implementing a prototype of an automated test generator based on environment models.
Showing items related by title, author, creator and subject.
Hildebrand, Paula E. (Monterey, California. Naval Postgraduate School, 2001-03);We have examined the impacts of El Nino (EN) and La Nina (LN) events on North Atlantic tropical cyclones (TCs), and the physical mechanisms that produce these impacts. We constructed composites of best- track data from the ...
Dempere, Jose; Papakonstantinou, Nikolaos; O'Halloran, Bryan; Van Bossuyt, Douglas L. (2017);As Components engineering has progressively advanced over the past 20 years to encompass a robust element of reliability, a paradigm shift has occurred in how complex systems fail. While failures used to be dominated ...
Hahn, James K.; Gritz, Larry; Darken, Rudolph; Geigel, Joseph; Lee, Jong Won (Washington, DC, Naval Research Laboratory, 1993);Virtual environment research involves a number of related problems from a variety of domains. A joint research at the George Washington University and the Naval Research Laboratory is bringing together issues from these ...