Enabling Proactive Adaptation through Just-in-time Testing of Conversational Services
The SXM testing method is summarized here: PDF.
The complete SXM model of a Shipment service and its test set for k=2:
The reduced SXM model resulting after performing the reduction to the composition context and its test set for k=2:
SXM specifications are represented in JSXM syntax which based on XML and inline Java code. The Document Type Definition (DTD) for the specifications is here: DTD for JSXM specifications
Test sets are automatically generated via the JSXM suite. The test file generated is in XML format and follows this DTD: DTD for test set files
The theoretical maximums for number of test cases and cumulative length of test cases (according to Ipate & Holcomb) can be found here: XLS