Assuring the model evolution of protocol software specifications by regression testing process improvement

A preliminary version of this paper has been presented at the 10th International Conference on Quality Software (QSIC 2010).Model-based testing helps test engineers automate their testing tasks so that they are more cost-effective. When the model is changed because of the evolution of the specification, it is important to maintain the test suites up to date for regression testing. A complete regeneration of the whole test suite from the new model, although inefficient, is still frequently used in the industry, including Microsoft. To handle specification evolution effectively, we propose a test case reusability analysis technique to identify reusable test cases of the original test suite based on graph analysis. We also develop a test suite augmentation technique to generate new test cases to cover the change-related parts of the new model. The experiment on four large protocol document testing projects shows that our technique can successfully identify a high percentage of reusable test cases and generate low-redundancy new test cases. When compared with a complete regeneration of the whole test suite, our technique significantly reduces regression testing time while maintaining the stability of requirement coverage over the evolution of requirements specifications. Copyright © 2011 John Wiley & Sons, Ltd.link_to_subscribed_fulltex

Service-oriented models for audiovisual content storage

What are the important topics to understand if involved with storage services to hold digital audiovisual content? This report takes a look at how content is created and moves into and out of storage; the storage service value networks and architectures found now and expected in the future; what sort of data transfer is expected to and from an audiovisual archive; what transfer protocols to use; and a summary of security and interface issues

Talent Management Practices of Small and Medium-Size Businesses in the Cayman Islands

Talent management strategies to acquire, develop, and retain employees are essential, as 73% of business leaders in the United States identified that good human resources practices favorably impact the efficiency and effectiveness of business operations. Based on the people capability maturity model and transformational leadership theory, the purpose of this qualitative multiple case study was to explore the strategies that small and medium-size business (SMB) leaders used to acquire, develop, and retain employees in the Cayman Islands. The participants comprised five SMB leaders in the Cayman Islands who successfully used talent management strategies to acquire, develop, and retain employees for more than 5 years and four employees who worked with the SMBs for more than 5 years. The selected leaders participated in face-to-face semistructured interviews while the employees participated in a focus group. The data were analyzed using Yin’s five-phase analysis cycle. Four themes emerged from the data analysis: conducting management assessments, following recruitment and selection guidelines, empowering and enabling employees, and fostering workplace loyalty. A recommendation is that SMB leaders prepare training manuals from their successful procedures for internal use and benchmarking with other SMBs. The implications for positive social change include the potential for leaders to improve employee development and retention. Further social change potentials include higher revenues to benefit society through employees becoming mentors and volunteers in local communities

Analysis of error functions in speckle shearing interferometry

Electronic Speckle Pattern Shearing Interferometry (ESPSI) or shearography has successfully been used in NDT for slope (δw/δx and/or δw/δy) measurement while strain measurement (δu/δx, δv/δy, δu/δy and δv/δx) is still under investigation This method is well accepted in industrial applications especially in the aerospace industry. Demand of this method is increasing due to complexity of the test materials and objects. ESPSI has successfully performed in NOT only for qualitative measurement whilst quantitative measurement is the current aim of many manufacturers. Industrial use of such equipment is being completed without considering the errors arising from numerous sources, including wavefront divergence. The majority of commercial systems are operated with diverging object illumination wavefronts without considering the curvature of the object illumination wavefront or the object geometry, when calculating the interferometer fringe function and quantifying data. This thesis reports the novel approach in quantified maximum phase change difference analysis for derivative out-of-plane (OOP) and in-plane (IP) cases that propagate from the divergent illumination wavefront compared to collimated illumination. [Continues.

Paratextualizing Games

Gaming no longer only takes place as a ›closed interactive experience‹ in front of TV screens, but also as broadcast on streaming platforms or as cultural events in exhibition centers and e-sport arenas. The popularization of new technologies, forms of expression, and online services has had a considerable influence on the academic and journalistic discourse about games. This anthology examines which paratexts gaming cultures have produced - i.e., in which forms and formats and through which channels we talk (and write) about games - as well as the way in which paratexts influence the development of games. How is knowledge about games generated and shaped today and how do boundaries between (popular) criticism, journalism, and scholarship have started to blur? In short: How does the paratext change the text

Paratextualizing Games

Gaming no longer only takes place as a ›closed interactive experience‹ in front of TV screens, but also as broadcast on streaming platforms or as cultural events in exhibition centers and e-sport arenas. The popularization of new technologies, forms of expression, and online services has had a considerable influence on the academic and journalistic discourse about games. This anthology examines which paratexts gaming cultures have produced - i.e., in which forms and formats and through which channels we talk (and write) about games - as well as the way in which paratexts influence the development of games. How is knowledge about games generated and shaped today and how do boundaries between (popular) criticism, journalism, and scholarship have started to blur? In short: How does the paratext change the text

XIII Jornadas de ingeniería telemática (JITEL 2017)

Las Jornadas de Ingeniería Telemática (JITEL), organizadas por la Asociación de Telemática (ATEL), constituyen un foro propicio de reunión, debate y divulgación para los grupos que imparten docencia e investigan en temas relacionados con las redes y los servicios telemáticos. Con la organización de este evento se pretende fomentar, por un lado el intercambio de experiencias y resultados, además de la comunicación y cooperación entre los grupos de investigación que trabajan en temas relacionados con la telemática. En paralelo a las tradicionales sesiones que caracterizan los congresos científicos, se desea potenciar actividades más abiertas, que estimulen el intercambio de ideas entre los investigadores experimentados y los noveles, así como la creación de vínculos y puntos de encuentro entre los diferentes grupos o equipos de investigación. Para ello, además de invitar a personas relevantes en los campos correspondientes, se van a incluir sesiones de presentación y debate de las líneas y proyectos activos de los mencionados equiposLloret Mauri, J.; Casares Giner, V. (2018). XIII Jornadas de ingeniería telemática (JITEL 2017). Editorial Universitat Politècnica de València. http://hdl.handle.net/10251/97612EDITORIA