Coverage-Based Testing with Symbolic Transition Systems: Code and Case Study Results

DOI

The data set contains source code written in the Maude language for generation of coverage-based tests, and source code written in python, for test case execution. Also, it contains all test execution results, and aggregated data based on these results. The dataset is part of the research from Chapter 4 of the PhD thesis "Coverage and Games in Model-Based Testing" by Petra van den Bos. The chapter is based on the paper "Coverage-Based Testing with Symbolic Transition Systems" by Petra van den Bos and Jan Tretmans. For reproducing results, one also needs the software tools Maude and TorXakis, which are not included in this data set.

Identifier
DOI https://doi.org/10.17026/dans-xm5-vpdk
Metadata Access https://phys-techsciences.datastations.nl/oai?verb=GetRecord&metadataPrefix=oai_datacite&identifier=doi:10.17026/dans-xm5-vpdk
Provenance
Creator P. van den Bos
Publisher DANS Data Station Phys-Tech Sciences
Contributor RU Radboud University
Publication Year 2020
Rights CC BY 4.0; info:eu-repo/semantics/openAccess; http://creativecommons.org/licenses/by/4.0
OpenAccess true
Contact RU Radboud University
Representation
Resource Type Dataset
Format text/x-java-source; text/xml; text/x-python; application/octet-stream; text/html; text/plain; text/x-c; application/zip; application/xml-dtd; application/msword; application/java-archive; text/x-fortran; text/troff; image/png; application/x-sh; text/plain; charset=US-ASCII; text/markdown; application/x-msdownload
Size 194; 3403; 996; 9803; 3653; 10623; 1304; 26; 1698; 4517; 4585; 4650; 4388; 4907; 4796; 4584; 5979; 4803; 1312; 605; 2907; 351; 15194; 3871; 4597; 61899; 4921; 832; 726; 4795; 1626; 25145; 10914; 3290; 3102; 470; 11028; 2005; 1449; 974; 905; 8240; 2719; 433826; 43298; 44067; 3284; 302; 2559; 2445; 4530; 23910; 17664; 779; 13236; 24409; 1275; 304; 5331; 7682; 0; 2758; 9776; 2268; 7749; 434; 74; 10149; 9922; 9929; 2340; 13073; 26111; 14110; 6788; 1132; 16262; 489883; 5081; 5886; 30; 350; 1494; 4144; 33; 16162; 16754; 44; 545; 13907; 7111; 1767; 13756; 13755; 17453; 1688; 7519; 1350; 13751; 13750; 7499; 1513; 13698; 13699; 14873; 1773; 13935; 13933; 327; 13475; 500; 1617; 290; 1618; 1155; 8258; 6468; 1156; 2483; 2484; 5139; 4273; 289; 5602; 13109; 5601; 2946; 13572; 7795; 6929; 3811; 6467; 2945; 6930; 3812; 4274; 1148; 28750; 1440; 5781; 2302; 79; 446; 118; 1172; 25542; 35218; 1515; 6593; 677; 4599; 18083; 6746; 5011; 13754; 961; 1529; 2052; 7460; 3061; 22724; 7583; 5; 17642; 8972; 432; 505; 547; 634; 462; 3372; 2845; 3127; 18790; 13114; 52630; 9493; 6157; 4171; 6286; 4573; 4407; 262; 404256; 660; 1701; 3089; 56; 63; 808; 260; 216; 5552; 2316; 453; 60; 47; 1136; 1109; 1364; 1677; 1055; 2629; 829; 1182; 772; 802; 768; 1102; 2707; 3463; 1762; 1888; 4; 2626; 2865; 3675; 2573; 523; 137566; 1218; 1862; 1644; 2244; 11263; 29332; 3560; 900; 2487; 1223; 1599; 1231; 2428; 20391; 3703; 1670; 3764; 31135; 1252; 1332; 7271; 1253; 16753; 7956; 2216; 1492; 786; 61326; 1491; 1022; 2117; 81681; 1988; 4912; 1710; 3189; 913; 364677; 1331; 1459; 3561; 790; 4469; 23653; 93956; 1357; 1929; 2688; 1213; 19887; 902; 33750; 12681; 2285; 2116; 8483; 4719; 2144; 1317; 1746; 120652; 1573; 7645; 4020; 1142; 26890; 17899; 2414; 1362; 1843; 1441; 1908; 8715; 1235; 15062; 25248; 3331; 42224; 2093; 1963; 1228; 1118; 24328; 5480; 2162; 7138; 1277; 13609; 12603; 2036; 210687; 1702; 1990; 1909; 1748; 138821; 9021; 19270; 10907; 42692; 1584; 1905; 791; 15859; 1035; 8395; 9144; 182843; 1719; 1436; 919; 28618; 1881; 12937; 1011; 8966; 19372; 68346; 1039; 1245; 1744; 1745; 1516; 7338; 1671; 39153; 32944; 1445; 896; 5240; 9938; 1501; 2269; 1334; 1461; 155203; 12212; 9392; 1224; 2108; 3069; 1664; 57512; 6666; 45108; 1841; 1376; 7500; 11850; 1391; 2096; 43261; 2900; 193872; 2462; 4200; 1986; 12263; 1591; 3934; 79891; 1883; 1623; 1120; 52649; 16134; 787; 1129; 2326; 63841; 911; 33535; 1920; 147299; 3183; 1438; 1349; 2001; 45342; 1578; 3321; 2725; 9146; 1481; 12466; 998; 1008; 4101; 2581; 7399; 9438; 892; 1567; 1953; 4456; 1239; 28516; 1347; 3499; 2344; 3188; 1038; 1361; 70160; 1554; 2243; 112430; 2078; 28572; 12403; 29474; 1372; 22055; 1737; 6134; 1726; 1233; 1229; 213704; 10115; 789; 87437; 3566; 1119; 44510; 8894; 4117; 2105; 1135; 325771; 2457; 43317; 2532; 912; 8344; 997; 1238; 3201; 188126; 1336; 1020; 2229; 19595; 1730; 8616; 1546; 1829; 3906; 51199; 1006; 37203; 23320; 2089; 27886; 1996; 2293; 1117; 6186; 76024; 40896; 1683; 1227; 31343; 7528; 18763; 130844; 1241; 9023; 2322; 11174; 1620; 121875; 14501; 1496; 3437; 1729; 9314; 3041; 1365; 189339; 36144; 21761; 1865; 1157; 34740; 9653; 2147; 33528; 1673; 188992; 1456; 1128; 1442; 1225; 88713; 1607; 6256; 1614; 2714; 1628; 6615; 1854; 51663; 40853; 4133; 1470; 1281; 7083; 31365; 1586; 1579; 171422; 4386; 8602; 897; 1116; 7303; 2552; 1366; 98034; 12313; 2651; 16881; 70891; 1242; 2333; 7685; 40425; 2794; 14858; 1708; 1668; 388057; 8090; 2115; 10740; 2038; 3420; 119171; 22425; 8084; 2341; 1439; 795; 9819; 348521; 1333; 2442; 1480; 3273; 1127; 104037; 14026; 2194; 895; 1237; 30436; 3788; 8452; 1122; 204855; 18008; 3426; 1665; 2609; 1849; 6359; 187211; 1965; 8030; 35325; 1571; 1450; 1738; 6731; 29180; 1315; 1530; 127747; 1370; 11826; 168178; 7059; 1736; 87056; 1323; 139194; 1162; 1595; 9967; 8989; 343298; 1453; 1878; 243739; 1123; 5961; 3748; 1121; 171999; 1343; 1319; 8242; 1982; 793; 138827; 2020; 1957; 27199; 8799; 21856; 1390; 1690; 4681; 5895; 1873; 18923; 2067; 1375; 6404; 25098; 18907; 1145; 1243; 1503; 1371; 3835; 72740; 1408; 4590; 1240; 1369; 117449; 5269; 55277; 1265; 1728; 1161; 2449; 5597; 1342; 318402; 138436; 7421; 1972; 2371; 1739; 1775; 2200; 2142; 158155; 9902; 64895; 2228; 33339; 2706; 3538; 1992; 2963; 1457; 22827; 1150; 33230; 8211; 2027; 25722; 1367; 4470; 1973; 1141; 2529; 3384; 122838; 5472; 1632; 1250; 91005; 12705; 1153; 3096; 1254; 24888; 117145; 8475; 1871; 1163; 2364; 1484; 50845; 1029; 5218; 13747; 76196; 1105; 1577; 22450; 1552; 3091; 9164; 1137; 1473; 7966; 9426; 67468; 16428; 1353; 35490; 6968; 48765; 1649; 20733; 4289; 1483; 1007; 179081; 104489; 10064; 2362; 3235; 4346; 1027; 10366; 1096; 73836; 6607; 2381; 4802; 6366; 14102; 1694; 133; 75; 81; 10104; 18640; 2237; 3316; 6332; 287
Version 2.0
Discipline Other