CAT-LM Training Language Models on Aligned Code And Tests
Authors:
- 11 September 2023
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 409-420
Abstract
Testing is an integral but often neglected part of the software development process. Classical test generation tools such as EvoSuite generate behavioral test suites by optimizing for coverage, but tend to produce tests that are hard to understand. Language models trained on code can generate code that is highly similar to that written by humans, but current models are trained to generate each file separately, as is standard practice in natural language processing, and thus fail to consider the code-under-test context when producing a test file. In this work, we propose the Aligned Code And Tests Language Model (CAT-LM), a GPT-style language model with 2.7 Billion parameters, trained on a corpus of Python and Java projects. We utilize a novel pretraining signal that explicitly considers the mapping between code and test files when available. We also drastically increase the maximum sequence length of inputs to 8,192 tokens, 4x more than typical code generation models, to ensure that the code context is available to the model when generating test code. We analyze its usefulness for realistic applications, showing that sampling with filtering (e.g., by compilability, coverage) allows it to efficiently produce tests that achieve coverage similar to ones written by developers while resembling their writing style. By utilizing the code context, CAT-LM generates more valid tests than even much larger language models trained with more data (CodeGen 16B and StarCoder) and substantially outperforms a recent test-specific model (TeCo) at test completion. Overall, our work highlights the importance of incorporating software-specific insights when training language models for code and paves the way to more powerful automated test generation.Keywords
All Related Versions
This publication has 27 references indexed in Scilit:
- DéjàVu: a map of code duplicates on GitHubProceedings of the ACM on Programming Languages, 2017
- Generating unit tests with descriptive names or: would you name your children thing1 and thing2?2017
- When, how, and why developers (do not) test in their IDEs2015
- How (Much) Do Developers Test?2015
- Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs2011
- EvoSuite2011
- Pex–White Box Test Generation for .NET2008
- Randoop2007
- KoratACM SIGSOFT Software Engineering Notes, 2002
- QuickCheck2000