Systematically covering input structure
WebNov 12, 2024 · Abstract Grammar-based testing uses a given grammar to produce syntactically valid inputs. To cover program features, it is necessary to also cover input … WebThe IEEE/ACM Automated Software Engineering (ASE) Conference series is the premier research forum for automated software engineering. Each year, it brings together …
Systematically covering input structure
Did you know?
WebNov 11, 2024 · To cover program features, it is necessary to also cover input features - say, all URL variants for a URL parser. Our k-path algorithm for grammar production systematically covers syntactic elements as well as their combinations. In our evaluation, we show that this results in a significantly higher code coverage than state of the art. WebSystematically Covering Input Structure [pdf] Abstract: Grammar-based testing uses a given grammar to produce syntactically valid inputs. To cover program features, it is necessary …
Webinput coverage. Intuitively, a high variation in the inputs (say, operators) induces a high variation in program behavior. Conversely, if some input element is not present in the … WebApr 10, 2024 · Input variables—This study takes the province as an independent decision-making unit. The input factors are defined based on the theory of agricultural production factors, and the consumption of land, water, labor, and other intermediate materials is selected as the input variable, reflecting the necessary material conditions for agricultural ...
Webspeed, systematically covering input features. be used for activities such as input understanding, program understanding, parsing and translating inputs, or debugging. The remainder of this paper is organized as follows. Sec-tion 2 illustrates our approach using arithmetic expressions WebNov 15, 2024 · Systematically Covering Input Structure Abstract: Grammar-based testing uses a given grammar to produce syntactically valid inputs. To cover program features, it is necessary to also cover input features-say, all URL variants for a URL parser.
WebNov 12, 2024 · Given a function, EH-Miner mines its error-handling rules when the function is frequently checked by an equivalent condition, and handled by the same action. We applied EH-Miner to 117 mature applications across 15 software domains. EH-Miner mined error-handling rules with the precision rate of 91.1% and the recall rate of 46.9%.
tara belinWebGrammar-based testing uses a given grammar to produce syntactically valid inputs. To cover program features, it is necessary to also cover input features---say, all URL variants … tarabelWebNov 11, 2024 · Systematically Covering Input Structure 2024-11-11 Systematically Covering Input Structure Summary Grammar-based testing uses a given grammar to produce … tara belcherWebThis is a replication package for the paper "Systematically Covering Input Structure" published at ASE 2024 (preprint). You can download the entire dataset as reported in the … tara belcher alabamaWebThis is an exercise in critical review and analysis. Active participation is required (a presentation of a paper as well as participation in discussions). The aim of this seminar is to introduce students to recent research results in the area of programming languages and software engineering. tarabela teatroWebMar 23, 2024 · In its “classical” form, combinatorial coverage only applies to programs whose inputs have a very particular shape—essentially, a Cartesian product of finite sets. We generalize combinatorial coverage to the richer world of algebraic data types by formalizing a class of sparse test descriptions based on regular tree expressions. tarabelaWebFeb 7, 2024 · Grammar-based testing uses a given grammar to produce syntactically valid inputs. To cover program features, it is necessary to also cover input features---say, all … tarabelli angelica