Package: CAs 0.24-3

Ulrike Groemping

CAs: Creating Covering Arrays

Implements covering arrays, as proposed in Groemping (2025) <doi:10.1109/ICSTW64639.2025.10962463>. Uniform and mixed-level covering arrays are created and can be assessed for their coverage properties. The mathematical background of the constructions is provided in the technical reports Groemping (2026) <https://www1.bht-berlin.de/FB_II/reports/Report-2026-001.pdf> for the uniform arrays and Groemping (2025) <https://www1.bht-berlin.de/FB_II/reports/Report-2025-001.pdf> for the mixed-level constructions. The post-processing method by Nayeri, Colbourn, and Konjevod (2013) <doi:10.1016/j.ejc.2012.07.017> is also provided. In addition, there are preliminary tools for the creation of sequence covering arrays.

Authors:Ulrike Groemping [aut, cre]

CAs_0.24-3.tar.gz
CAs_0.24-3.zip(r-4.7-any)CAs_0.24-3.zip(r-4.6-any)
CAs_0.24-3.tar.gz(r-4.7-any)CAs_0.24-3.tar.gz(r-4.6-any)
CAs_0.24-3.tgz(r-4.6-emscripten)
manual.pdf |manual.html✨
DESCRIPTION
card.svg |card.png
CAs/json (API)

# Install 'CAs' in R:
install.packages('CAs', repos = c('https://cran.r-universe.dev', 'https://cloud.r-project.org'))

Bug tracker:https://github.com/ugroempi/cas/issues

Datasets:
  • ca12.2.8 - Useful arrays for covering array constructions
  • ca23.4.8 - Useful arrays for covering array constructions
  • ca26.4.15 - Useful arrays for covering array constructions
  • ca30.5.7 - Useful arrays for covering array constructions
  • ca41.6.6 - Useful arrays for covering array constructions
  • CAEX_CAs - Data for function CAEX
  • CAEX_lineages - Data for function CAEX
  • CKRS_CAs - Data for function ckrsCA
  • CKRScat - Data for function ckrsCA
  • CL_SCPHFs - Data for the SCPHF-based (permutation vector) constructions
  • CMMSSYCombis - Data for cover starter constructions
  • CMMSSYStarters - Data for cover starter constructions
  • CohenSA - Useful arrays for covering array constructions
  • colbournBigFrame - Colbourn tables for upper bounds on CAN / lower bounds on CAK
  • ColbournKeriCombis - Data for cover starter constructions
  • ColbournKeriStarters - Data for cover starter constructions
  • CPHFcat - Data for the CPHF-based (permutation vector) constructions
  • CYCLOTOMYcat - Data for function mathematical constructions
  • DPcat - Data for productPCA and productCA constructions
  • DWYERcat - Data for function dwyerCA
  • LCDSTCombis - Data for cover starter constructions
  • LCDSTStarters - Data for cover starter constructions
  • MeagherStevensCombis - Data for cover starter constructions
  • MeagherStevensStarters - Data for cover starter constructions
  • miscCAcat - Useful arrays for covering array constructions
  • NISTcat - Data for function nistCA
  • oa1728.12.6 - Useful arrays for covering array constructions
  • oa3375.15.6 - Useful arrays for covering array constructions
  • oa9261.21.6 - Useful arrays for covering array constructions
  • PALEYcat - Data for function mathematical constructions
  • PCAcat - Data for productPCA and productCA constructions
  • powerCTcat - Data for function powerCA
  • SCPHFcat - Data for the SCPHF-based (permutation vector) constructions
  • SMC_SCPHFs - Data for the SCPHF-based (permutation vector) constructions
  • TJ2level_CAs - Data for function tjCA
  • TJcat - Data for function tjCA
  • WC_SCPHFs - Data for the SCPHF-based (permutation vector) constructions
  • WCS_CPHFs - Data for the CPHF-based (permutation vector) constructions
  • WKS_CAs - Data for function wksCA
  • WKScat - Data for function wksCA

On CRAN:

Conda:

1.11 score 13 scripts 191 exports 49 dependencies

Last updated from:8e4c1a4ce5. Checks:6 OK. Indexed: no.

TargetResultTimeFilesSyslog
linux-develOK212
source / vignettesOK214
linux-releaseOK261
windows-develOK214
windows-releaseOK222
wasm-releaseOK135

Exports:add1CAadd1ColumnbestCAbestNCA_to_MCACA_to_PCACAEXcheckcond1checkcond2checkcond3checkcond3acheckcond3bcheckcond4checkcond4acheckcond4bCK_constrDCK_constrDCACK_doublingCK_doublingCACK_NRBCKRS_augmentCKRS_augmentCAckrsCAcompositCAconference_paleycoveragecoverage_itercoverageSeqCAcoverplotcphfCAcreateDHFcrossCAscrossSumCS_CKCS_CMMSSYCS_LCDSTCS_MScyccyclotomyCADdderivederivefromderivetoDHF2CADHHF2CAdirectSumdpCAdwyerCAeCAKeCANflexposflexprofilefusefuseBosefuseBoseCAfuseBushtCAgreedySeqCA_KuhngreedySeqCA_naivegreedySeqCA_TJHartman74identify_neededis.PCAiter_greedySeqCA_Kuhniter_greedySeqCA_naiveiter_greedySeqCA_TJjuxtaposek_CAEXk_CK_NRBk_CKRScatk_cphfCAk_CS_CKk_CS_CMMSSYk_CS_LCDSTk_CS_MSk_cyck_CYCLOTOMYcatk_detail_CAEXk_dpCAk_DWYERcatk_fuseBosek_fuseBoseCAk_fuseBushtk_fuseBushtCAk_Hartman74k_KSKk_miscCAcatk_NISTcatk_ODbasedCAk_PALEYcatk_pcaCAk_powerCTk_projectionBosek_recBoseCAk_SCA_Bushtk_scphfCAk_TJcatk_WKScatkdksks_productCAKSKlower_bound_CAmarkflexmaxconstantMCA2MCAtmiscCAMTVTRouxtypeCAN_add1CAN_CAEXN_CK_constrDCAN_CK_doublingCAN_CK_NRBN_CKRS_augmentCAN_CKRScatN_compositCAN_cphfCAN_CS_CKN_CS_CMMSSYN_CS_LCDSTN_CS_MSN_cycN_CYCLOTOMYcatN_d_recursiveBoseN_d_recursiveBoseHartmanN_dpCAN_DWYERcatN_fuseBoseN_fuseBoseCAN_fuseBushtN_fuseBushtCAN_Hartman74N_k_recursiveBoseN_k_recursiveBoseHartman_AN_k_recursiveBoseHartman_dN_KSKN_miscCAcatN_NISTcatN_ODbasedCAN_PALEYcatN_pcaCAN_powerCTN_projBoseCAN_projectionBoseN_recBoseCAN_SCA_BushtN_scphfCAN_TJcatN_upper_MCAN_upper_MTVTRouxtypeCAN_WKScatnistCANsNs_CK_doublingNs_deriveNs_fuseNs_productCAODbasedCAoptimize_SeqCApaley_matpaleyCApaleyHadpcaCApostopNCKpowerCAproductCAproductCA_rawproductPCAprojBoseCAprojBoseMCAprojectionBosereadCArecBoseCArecursiveBoserecursiveBoseHartmanreduce_rows_completereduce_rows_iterative_completeSCA_BoseSCA_BushtSCA_LCDSTSCA_MSscphfCASeqCA_Levenshteinshow_paleyHadsimulated_annealing_scaSMCtjCATredTuranuniquecountWCS

Dependencies:abindcaverifyclicolorspacecombinatconf.designcpp11curldigestdisordRDoE.basedplyrfreealggenericsgluegmpigraphlatticelhslifecyclelmtestmagicmagrittrMASSMatrixnumberspartitionspermutationspillarpkgconfigplotrixpolynomprepplotprimesR6rbibutilsRcppRdpackrlangsetssfsmiscshapetibbletidyselectutf8vcdvctrswithrzoo

Readme and manuals

Help Manual

Help pageTopics
Overview of Package CAs'CAs-package' CAs-package CAs
function to add a columnsadd1CA add1Column N_add1CA
Function to obtain the best uniform CA for a combination of t, k and vbestCA bestN ckrsCA dwyerCA nistCA tjCA
Useful arrays for covering array constructionsca12.2.8 ca23.4.8 ca26.4.15 ca30.5.7 ca41.6.6 CohenSA miscCAcat oa1728.12.6 oa3375.15.6 oa9261.21.6
CAEX: current optimal CAs of strength 2 with v=3CAEX k_detail_CAEX
Data for function CAEXCAEX_CAs CAEX_lineages
Functions for checking the Cyclotomy conditionscheckcond1 checkcond2 checkcond3 checkcond3a checkcond3b checkcond4 checkcond4a checkcond4b
Function to augment a design with Chateauneuf-Kreher construction DCK_constrD CK_constrDCA N_CK_constrDCA
Function to create a strength 3 CA with Chateauneuf-Kreher doublingCK_doubling CK_doublingCA N_CK_doublingCA
Construction Chateauneuf-Kreher NRB of strength 3 for v=3,4,5 with k=2*vCK_NRB k_CK_NRB N_CK_NRB
Function to augment a CA with Eqn (5) of CKRSCKRS_augment CKRS_augmentCA N_CKRS_augmentCA
Data for function ckrsCACKRScat CKRS_CAs
Colbourn tables for upper bounds on CAN / lower bounds on CAKcolbournBigFrame
Obtain a CA for non-prime number of levels by compositioncompositCA N_compositCA
Paley constructionsconference_paley paleyCA paleyHad paley_mat show_paleyHad
coverage and diagnostic plot functionscoverage coverage_iter coverplot prepcoverplot
Checking coverage for SeqCAscoverageSeqCA
Making CA from CPHFcphfCA k_cphfCA N_cphfCA WCS
Auxiliary functions for Colbourn Torres-Jimenez Power constructioncreateDHF Tred
Cross two strength t CAs with k columns to yield strength t in v*w levelscrossCAs
Cross-sum two codes with k columns in v levelscrossSum directSum
Function to create a strength 4, 5, or 6 CA for 2-level columns based on Colbourn-Keri cover startersCS_CK k_CS_CK N_CS_CK
Strength 2 CAs constructed by cover starters (CMMSSY)CS_CMMSSY k_CS_CMMSSY N_CS_CMMSSY
Strength 2 CAs constructed by cover starters (LCDST)CS_LCDST k_CS_LCDST N_CS_LCDST SCA_LCDST
Strength 2 CAs constructed by cover starters (Meagher and Stevens)CS_MS k_CS_MS N_CS_MS SCA_MS
functions for cyclotomy constructionscyc cyclotomyCA k_cyc N_cyc
Function to derive a strength t+1 CA into a smaller strength t arrayderive derivefrom deriveto
Make a larger CA from a DHF and a smaller CADHF2CA
Make a larger uniform CA from a DHHF and smaller CAsDHHF2CA
Direct product and generalized direct product for two CAsdpCA productCA productCA_raw
Data for function dwyerCADWYERcat
Function to create a strength 2 CA by fusion applied to a Bose OAfuseBose fuseBoseCA fuseBushtCA k_fuseBose k_fuseBusht N_fuseBose N_fuseBusht
auxiliary functionsgen.next.cbn
Greedy random creation of an SeqCAgreedySeqCA_Kuhn iter_greedySeqCA_Kuhn
Greedy random creation of an SeqCAgreedySeqCA_naive iter_greedySeqCA_naive
Greedy random creation of an SeqCAgreedySeqCA_TJ iter_greedySeqCA_TJ
Identifying needed and redundant elements of SeqCAsidentify_needed
auxiliary functions for Galois field arithmeticsint2poly
Function to juxtapose two strength t CAsjuxtapose
functions for bounds for CA sizeslower_bound_CA
Redundancy checks and profileflexpos flexprofile markflex postopNCK uniquecount
Making mixed-level CAsCA_to_MCA MCA2 MCAt N_upper_MCA projBoseMCA
Data for cover starter constructionsCMMSSYCombis CMMSSYStarters ColbournKeriCombis ColbournKeriStarters LCDSTCombis LCDSTStarters MeagherStevensCombis MeagherStevensStarters
Incorporate miscellaneous arraysmiscCA
Functions to construct a strength 4 or strength 5 CA from several input CAsMTVTRouxtypeCA N_upper_MTVTRouxtypeCA
Construction in Hartman Theorem 7.4Hartman74 k_Hartman74 N_Hartman74 Turan
function for optimal 2-level CAs of strength 2KSK k_KSK N_KSK
Data for function nistCANISTcat
Functions for N and k from Colbourn tables, other libraries, and implemented constructionseCAK eCAN ks ks_productCA k_CAEX k_CKRScat k_CYCLOTOMYcat k_dpCA k_DWYERcat k_fuseBoseCA k_fuseBushtCA k_miscCAcat k_NISTcat k_PALEYcat k_pcaCA k_recBoseCA k_SCA_Busht k_TJcat k_WKScat Ns Ns_CK_doubling Ns_derive Ns_fuse Ns_productCA N_CAEX N_CKRScat N_CYCLOTOMYcat N_dpCA N_DWYERcat N_fuseBoseCA N_fuseBushtCA N_miscCAcat N_NISTcat N_PALEYcat N_pcaCA N_projBoseCA N_recBoseCA N_SCA_Busht N_TJcat N_WKScat
auxiliary ingredientsOD2
Ordered design based constructions by Cohen Colbourn and Ling (CCL)k_ODbasedCA N_ODbasedCA ODbasedCA
auxiliary functions for mixed level CAsone_to_howmany
Data for function mathematical constructionsCYCLOTOMYcat PALEYcat
Functions for partitioned CAs and their productsCA_to_PCA is.PCA pcaCA productPCA
Data for productPCA and productCA constructionsDPcat PCAcat
Function to make the maximum possible number of rows constantmaxconstant permvals
Power constructionsk_powerCT N_powerCT powerCA
Data for function powerCApowerCTcat
Class ca and its methodsprint.ca
Methods for class CAcoverageprint.CAcoverage
Function to create a strength 2 CA by projection of a Bose OAk_projectionBose N_projectionBose projBoseCA projectionBose
Function for reading a covering array from a text filereadCA
function to create a strength 2 CA based on recursive multiplication of Bose CAsDd kd N_d_recursiveBose N_k_recursiveBose recBoseCA recursiveBose
function to increase numbers of columns for strength 2 CA in q levels (q prime power) from k to kq+1N_d_recursiveBoseHartman N_k_recursiveBoseHartman_A N_k_recursiveBoseHartman_d recursiveBoseHartman
Reducing the number of rows for an SeqCAreduce_rows_complete reduce_rows_iterative_complete
Functions for regular orthogonal arrays with prime power numbers of levelsSCA_Bose SCA_Busht
Making CA from SCPHFk_scphfCA N_scphfCA scphfCA SMC
Levenshtein creation of an optimal strength t SCA for k = t + 1 columnsSeqCA_Levenshtein
Simulated Annealing for improving an SeqCAoptimize_SeqCA simulated_annealing_sca
Data for the SCPHF-based (permutation vector) constructionsCL_SCPHFs SCPHFcat SMC_SCPHFs WC_SCPHFs
function to reduce the number of levels by 1fuse swapvals
Data for function tjCATJ2level_CAs TJcat
Data for the CPHF-based (permutation vector) constructionsCPHFcat WCS_CPHFs
Data for function wksCAWKScat WKS_CAs