Show simple item record

dc.contributor.advisorRozenblit, Jerzy Wen_US
dc.contributor.authorEwing, Tony
dc.creatorEwing, Tonyen_US
dc.date.accessioned2011-12-06T14:05:34Z
dc.date.available2011-12-06T14:05:34Z
dc.date.issued2008en_US
dc.identifier.urihttp://hdl.handle.net/10150/195744
dc.description.abstractAutomatic test case generation is a process that starts with text based functional requirements which are converted to a formal system requirements model. Once the formal system requirements model is created the automatic test case generation software creates a set of test scenarios that will verify that the requirements are all met. The automatic test case generation software accomplishes the conversion in a four step process: create base scenarios, identify unverified requirements, enhance scenarios to cover all requirements and allow black box testing, and then combine the scenarios into a single scenario tree. The automatic test case generation system outputs a set of scenarios by walking the final scenario tree. This dissertation expands on automatic test case generation for embedded systems in two major ways. The first is to extend functional automatic test case generation to allow for time based requirements as first class objects. The second is to use the automatic test case generation system to enable system partitioning decisions. The addition of time based requirements to the automatic test case generation system allows more complex systems to be developed. By providing a partitioning recommendation based on the test cases generated from the system requirements, the scope and capabilities of a single designer can be expanded to more complex systems. The resulting upgrades to the theory of automatic test case generation could be applied to the existing tools or incorporated in modern UML/SysML based design tools.
dc.language.isoENen_US
dc.publisherThe University of Arizona.en_US
dc.rightsCopyright © is held by the author. Digital access to this material is made possible by the University Libraries, University of Arizona. Further transmission, reproduction or presentation (such as public display or performance) of protected items is prohibited except with permission of the author.en_US
dc.subjecttemporal requirementsen_US
dc.subjectmodel-based designen_US
dc.titleTime Based Requirements and Partitioning of Systems with Automatic Test Case Generationen_US
dc.typetexten_US
dc.typeElectronic Dissertationen_US
dc.contributor.chairRozenblit, Jerzy Wen_US
thesis.degree.grantorUniversity of Arizonaen_US
thesis.degree.leveldoctoralen_US
dc.contributor.committeememberLysecky, Romanen_US
dc.contributor.committeememberLysecky, Susanen_US
dc.identifier.proquest2598en_US
thesis.degree.disciplineElectrical & Computer Engineeringen_US
thesis.degree.disciplineGraduate Collegeen_US
thesis.degree.namePhDen_US
refterms.dateFOA2018-08-25T10:30:17Z
html.description.abstractAutomatic test case generation is a process that starts with text based functional requirements which are converted to a formal system requirements model. Once the formal system requirements model is created the automatic test case generation software creates a set of test scenarios that will verify that the requirements are all met. The automatic test case generation software accomplishes the conversion in a four step process: create base scenarios, identify unverified requirements, enhance scenarios to cover all requirements and allow black box testing, and then combine the scenarios into a single scenario tree. The automatic test case generation system outputs a set of scenarios by walking the final scenario tree. This dissertation expands on automatic test case generation for embedded systems in two major ways. The first is to extend functional automatic test case generation to allow for time based requirements as first class objects. The second is to use the automatic test case generation system to enable system partitioning decisions. The addition of time based requirements to the automatic test case generation system allows more complex systems to be developed. By providing a partitioning recommendation based on the test cases generated from the system requirements, the scope and capabilities of a single designer can be expanded to more complex systems. The resulting upgrades to the theory of automatic test case generation could be applied to the existing tools or incorporated in modern UML/SysML based design tools.


Files in this item

Thumbnail
Name:
azu_etd_2598_sip1_m.pdf
Size:
562.2Kb
Format:
PDF
Description:
azu_etd_2598_sip1_m.pdf

This item appears in the following Collection(s)

Show simple item record