Výsledky vyhledávání - D.2.5 [Software Engineering]: Testing and Debugging - test data generators

In black and white: an integrated approach to class-level testing of object-oriented programs

Autoři: Chan, FT Tse, TH Chen, TY a další

Zdroj: ACM Transactions on Software Engineering and Methodology. 7:250-295

Témata: 4. Education, Languages, 0202 electrical engineering, electronic engineering, information engineering, D.3.2 [Programming Languages]: Language Classifications - object-oriented languages, 02 engineering and technology, D.2.5 [Software Engineering]: Testing and Debugging - test data generators, D.2.1 [Software Engineering]: Requirements/Specifications-languages, Algorithms

Přístupová URL adresa: http://hub.hku.hk/bitstream/10722/48420/1/29731.pdf
https://core.ac.uk/display/24391879
https://doi.org/10.1145/287000.287004
https://doi.acm.org/10.1145/287000.287004
http://www.cs.hku.hk/research/techreps/document/TR-96-07.pdf
https://hub.hku.hk/handle/10722/48420
https://dl.acm.org/doi/abs/10.1145/287000.287004
http://hdl.handle.net/10722/48420

TACCLE: a methodology for object-oriented software testing at the class and cluster levels

Autoři: Tse, TH Chen, TY Chen, HY a další

Přispěvatelé: Tse, TH Chen, TY Chen, HY a další

Zdroj: ACM Transactions on Software Engineering and Methodology. 10:56-109

Témata: data generators, D.2.5 [Software Engineering]: Testing and Debugging - Testing tools (e.g, 0202 electrical engineering, electronic engineering, information engineering, D.2.1 [Software Engineering]: Requirements/Specifications - Languages, 02 engineering and technology, coverage testing), D.2.5 [Software Engineering]: Testing and Debugging - Testing tools (e.g., data generators, coverage testing)

Popis souboru: 388599 bytes; 44544 bytes; 783 bytes; text/plain; application/pdf; application/msword

Přístupová URL adresa: http://hub.hku.hk/bitstream/10722/48422/1/57857.pdf
http://hub.hku.hk/bitstream/10722/48422/1/57857.pdf
http://www.csis.hku.hk/research/techreps/document/TR-97-07.pdf
https://dblp.uni-trier.de/db/journals/tosem/tosem10.html#ChenTC01
https://www.cs.hku.hk/research/techreps/document/TR-97-07.pdf
http://www.cs.hku.hk/research/techreps/document/TR-97-07.pdf
https://researchbank.swinburne.edu.au/items/3c140ca4-c8c8-4235-a76e-b28a798c0d68/1/
http://hdl.handle.net/10722/48422

In black and white: an integrated approach to class-level testing of object-oriented programs

Autoři: Huo Yan Chen T. H. Tse F. T. Chan a další

Přispěvatelé: Huo Yan Chen T. H. Tse F. T. Chan a další

Zdroj: http://www.cs.hku.hk/research/techreps/document/TR-96-07.pdf.

Témata: Categories and Subject Descriptors, D.2.1 [Software Engineering, Requirements/Specifications ⎯languages, D.2.5 [Software Engineering, Testing and Debugging⎯test data generators, D.3.2 [Programming Languages, Language Classifications⎯object-oriented languages

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.2724

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.2724
http://www.cs.hku.hk/research/techreps/document/TR-96-07.pdf

Automated Performance Test Generation and Comparison for Complex Data Structures - Exemplified on High-Dimensional Spatio-Temporal Indices

Autoři: Menninghaus, Mathias

Thesis Advisors: Prof. Dr. Elke Pulvermüller, Prof. Dr. Martin Breunig

Témata: performance tests, test case generation, benchmark generation, workload generation, indexing, access methods, high-dimensional, spatio-temporal, subway-track planning, performance comparison, algorithm engineering, performance measurement, java, software engineering, 54.62 - Datenstrukturen, 54.52 - Software engineering, D.2.5 - Testing and Debugging, D.2.8 - Metrics, E.1 - DATA STRUCTURES, D.2.2 - Design Tools and Techniques, ddc:004

Popis souboru: application/pdf; application/zip

Dostupnost: https://repositorium.ub.uni-osnabrueck.de/handle/urn:nbn:de:gbv:700-20180823528

The Use of Application Domain Knowledge (and Other Techniques) for Facilitating Requirements Capture

Autoři: Stewart Green The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Stewart Green The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.soi.city.ac.uk/homes/till/wp31.ps.

Témata: Program Verification- Validation, D.2.5 [Software Engineering, Testing and debugging- Test data generators, I.2.0 [Artificial Intelligence, General- Cognitive simulation, I.2.2 [Artificial Intelligence, Automatic Programming- Program verification, I.2.4 [Artificial Intelligence, Knowledge Representations Formalisms and methods- Frames and scripts, Representation languages, RML, I.2.5 [Artificial Intelligence, Programming Languages and Software- Expert system tools and techniques, I.2.6 [Artificial Intelligence, Learning- Knowledge acquisition, I.2.7 [Artificial Intelligence, Natural Language Processing- Text analysis, I.6.8 [Simulation and Modelling, Types of Simu

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.3989; http://www.soi.city.ac.uk/homes/till/wp31.ps

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.3989
http://www.soi.city.ac.uk/homes/till/wp31.ps

A complete automation of unit testing for Java programs

Autoři: Yoonsik Cheon Myoung Yee Kim Ashaveena Perum a další

Přispěvatelé: Yoonsik Cheon Myoung Yee Kim Ashaveena Perum a další

Zdroj: http://www.cs.utep.edu/~cheon/techreport/tr05-05.pdf.

Témata: Software Engineering] Software/Program Verification — Assertion checkers, class invariants, formal methods, programming by contract, reliability, tools, validation, JML, D.2.5 [Software Engineering] Testing and Debugging — Debugging aids, design, monitors, test data generators, testing tools, theory, D.3.2 [Programming Languages] Language Classifications — Object-oriented languages, F.3.1 [Logics and Meanings of Programs] Specifying and

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.6030

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.6030
http://www.cs.utep.edu/~cheon/techreport/tr05-05.pdf

A contextual interpretation of undefinedness for runtime assertion checking

Autoři: Gary T. Leavens Yoonsik Cheon The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Gary T. Leavens Yoonsik Cheon The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.utep.edu/~cheon/techreport/tr05-10.pdf.

Témata: formal methods, programming by contract, reliability, tools, validation, JML, D.2.5 [Software Engineering] Testing and Debugging — Debugging aids, design, monitors, test data generators, testing tools, theory, D.3.2 [Programming Languages] Language Classifications — Object-oriented languages, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Asse, invariants

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.8549

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.8549
http://www.cs.utep.edu/~cheon/techreport/tr05-10.pdf

Experimental Results from an Automatic Test Case Generator

Autoři: Richard A. Demill The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Richard A. Demill The Pennsylvania State University CiteSeerX Archives

Zdroj: http://tc1.googlecode.com/svn/tc1/Artigos/!!__Demi93.pdf.

Témata: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging-test data generation General Terms, Design, Experimentation, Measurement, Performance Additional Key Words and Phrases, Adequacy, constraints, mutation analysm

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.475.6182; http://tc1.googlecode.com/svn/tc1/Artigos/!!__Demi93.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.475.6182
http://tc1.googlecode.com/svn/tc1/Artigos/!!__Demi93.pdf

FlagRemover: A Testability Transformation for Transforming Loop-Assigned Flags.

Autoři: BINKLEY, DAVID W. HARMAN, MARK LAKHOTIA, KIRAN

Zdroj: ACM Transactions on Software Engineering & Methodology; Aug2011, Vol. 20 Issue 3, p12.1-12.33, 33p

Témata: SEARCH algorithms, DATABASE searching, SOFTWARE engineering, DATABASE management, SEARCH engines, DEBUGGING

A Strategy for Evaluating Feasible and Unfeasible Test Cases for the Evolutionary Testing of Object-Oriented Software.

Autoři: Carlos, José Bregieiro Ribeiro Zenha-Rela, MarioAlberta a další

Zdroj: ICSE: International Conference on Software Engineering; 2008, p85-92, 8p, 3 Diagrams, 3 Charts

Témata: COMPUTER software, ELECTRONIC data processing, JAVA programming language, COMPUTER software industry, COMPUTER programmers

Sufficient Mutation Operators for Measuring Test Effectiveness.

Autoři: Namin, Akbar Siami Andrews, James H. Murdoch, Duncan J.

Zdroj: ICSE: International Conference on Software Engineering; 2008, p351-360, 10p, 4 Charts, 4 Graphs

Témata: COMPUTER software, MUTATION testing of computer software, SOFTWARE engineering, INFORMATION technology, MATHEMATICAL models

Test Generation for Graphical User Interfaces Based on Symbolic Execution.

Autoři: Ganov, Svetoslav Killmar, Chip Khurshid, Sarfraz a další

Zdroj: ICSE: International Conference on Software Engineering; 2008, p33-40, 8p, 2 Color Photographs, 2 Diagrams, 9 Charts, 1 Graph

Témata: GRAPHICAL user interfaces, COMPUTER software, COMPUTER programming, COMPUTER software development, SOFTWARE engineering

Test Generation through Programming in UDITA.

Autoři: Gligoric, Milos Gvero, Tihomir Jagannath, Vilas a další

Zdroj: ICSE: International Conference on Software Engineering; 2010, p225-234, 10p, 11 Diagrams, 5 Charts

Témata: JAVA programming language, ELECTRONIC file management, DATA structures, COMPUTER programming, PROGRAMMING languages

DSD-Crasher: A Hybrid Analysis Tool for Bug Finding.

Autoři: Csallner, Christoph Smaragdakis, Yannis Xie, Tao

Zdroj: ACM Transactions on Software Engineering & Methodology; Apr2008, Vol. 17 Issue 2, p1-37, 37p, 3 Diagrams, 4 Charts

Témata: DEBUGGING, SOFTWARE verification, COMPUTER software testing, AUTOMATIC programming (Computer science), SOFTWARE engineering management

Integrating Automated Test Generation into the WYSIWYT Spreadsheet Testing Methodology.

Autoři: Fisher II, Marc Rothermel, Gregg Brown, Darren a další

Zdroj: ACM Transactions on Software Engineering & Methodology; Apr2006, Vol. 15 Issue 2, p150-194, 45p

Témata: ELECTRONIC spreadsheets, END-user computing, METHODOLOGY, ELECTRONIC data processing, WORD processing

Using Model Transformation to Support Model-Based Test Coverage Measurement.

Autoři: Naslavsky, Leila Ziv, Hadar Richardson, Debra J.

Zdroj: ICSE: International Conference on Software Engineering; 2008, p1-6, 6p, 4 Diagrams, 2 Charts

Témata: COMPUTER software development, SOFTWARE engineering, COMPUTER files, TEXT processing (Computer science), COMPUTER software industry

Tools and Experiments Supporting a Testing-Based Theory of Component Composition.

Autoři: HAMLET, DICK

Zdroj: ACM Transactions on Software Engineering & Methodology; May2009, Vol. 18 Issue 3, p12:1-12:41, 41p, 3 Diagrams, 5 Charts, 16 Graphs

Témata: COMPUTER software development, COMPUTER system design & construction, COMPUTER-aided design, SOFTWARE engineering, DEBUGGING, COMPUTER software correctness

A Survey of Combinatorial Testing.

Autoři: Changhai Nie Leung, Hareton

Zdroj: ACM Computing Surveys; Jan2011, Vol. 43 Issue 2, p11:1-11:29, 29p, 3 Diagrams, 7 Charts, 1 Graph

Témata: SURVEYS, COMPUTER software testing, SOFTWARE verification, SYSTEM failures, SOFTWARE engineering, COMPUTER engineering, ALGORITHMS

An EFSM-based Test Generation for Validation of SDL Specifications.

Autoři: Wong, W. Eric Restrepo, Andy Yu Qi a další

Zdroj: ICSE: International Conference on Software Engineering; 2008, p25-32, 8p, 4 Color Photographs, 5 Diagrams, 1 Chart, 2 Graphs

Témata: SDL (Computer program language), PROGRAMMING languages, COMPUTER programming, COMPUTER software development, SOFTWARE engineering

Using JULE to Generate a Compliance Test Suite for the UML Standard.

Autoři: Bunyakiati, Panuchart Finkeistein, Anthony Skene, James a další

Zdroj: ICSE: International Conference on Software Engineering; 2008, p827-830, 4p, 5 Diagrams, 5 Charts

Témata: JAVA programming language, ELIGIBILITY (Social aspects), GRAPHIC methods, SOFTWARE engineering, INFORMATION services