Show simple item record

Specification-based Testing of Reactive Software: A Case Study in Technology Transfer

dc.contributor.authorJangadeesan, Lalitaen_US
dc.contributor.authorPorter, Adam A.en_US
dc.contributor.authorPuchol, Carlosen_US
dc.contributor.authorRamming, J. Christopheren_US
dc.contributor.authorVotta, Lawrence G.en_US
dc.description.abstractWe describe a case study in which we tried to transfer a specification-based testing system from research to practice. We did the case study in two steps: First we conducted a feasibility study in a laboratory setting to estimate the potential costs and benefits of using the system. Next we conducted a usability study, in an industrial setting, to determine whether it would be effective in practice. The case study illustrates that technology transfer efforts can benefit from a greater focus on practitioners' needs, and that this focus helps identify some of the open problems that limit formal methods technology transfer. We also found that there is often a tension between the scope of the problem to be solved and the specificity of the solution. The greater the scope of the problem, the more general the formal method solution and, thus, the more customization that must be done to use it in a particular environment. We suggest that researchers limit the scope of the problems they try to solve to minimize the risk of technology transfer failure. (Also cross-referenced as UMIACS-TR-97-16)en_US
dc.format.extent231390 bytes
dc.relation.ispartofseriesUM Computer Science Department; CS-TR-3756en_US
dc.relation.ispartofseriesUMIACS; UMIACS-TR-97-16en_US
dc.titleSpecification-based Testing of Reactive Software: A Case Study in Technology Transferen_US
dc.typeTechnical Reporten_US
dc.relation.isAvailableAtDigital Repository at the University of Marylanden_US
dc.relation.isAvailableAtUniversity of Maryland (College Park, Md.)en_US
dc.relation.isAvailableAtTech Reports in Computer Science and Engineeringen_US
dc.relation.isAvailableAtUMIACS Technical Reportsen_US

Files in this item


This item appears in the following Collection(s)

Show simple item record