Modelling and test generation using SAL for interoperability testing in consumer electronics
Srikanth Mujjiga, Srihari Sukumaran · 2007
Testing of consumer electronics (CE) devices for interoperability with respect to standards is an important validation activity. We have developed a model-based approach for producing interoperability tests based on a standards specification. This involves manually constructing individual device models in SAL, based on the standards, and using the sal-atg tool to generate tests from the composed system model. We describe this approach using an example standard. We also point out a problem with this approach, that has to do with variability in the devices due to optional and vendor-specific features. We propose an extension to the SAL language that addresses this problem. The extension is designed to enable the continued use of SAL tools for analysis purposes.