diff --git a/compiler/parser/src/parser/file.rs b/compiler/parser/src/parser/file.rs
index 2c2ff395b0..d20dd8b494 100644
--- a/compiler/parser/src/parser/file.rs
+++ b/compiler/parser/src/parser/file.rs
@@ -58,7 +58,7 @@ impl<N: Network> ParserContext<'_, N> {
         Ok(Program { imports, stubs: IndexMap::new(), program_scopes })
     }
 
-    fn unexpected_item(token: &SpannedToken, expected: &[Token]) -> ParserError {
+    pub(super) fn unexpected_item(token: &SpannedToken, expected: &[Token]) -> ParserError {
         ParserError::unexpected(
             &token.token,
             expected.iter().map(|x| format!("'{x}'")).collect::<Vec<_>>().join(", "),
@@ -324,7 +324,7 @@ impl<N: Network> ParserContext<'_, N> {
 
     /// Returns an [`(Identifier, Function)`] AST node if the next tokens represent a function name
     /// and function definition.
-    fn parse_function(&mut self) -> Result<(Symbol, Function)> {
+    pub(super) fn parse_function(&mut self) -> Result<(Symbol, Function)> {
         // TODO: Handle dangling annotations.
         // Parse annotations, if they exist.
         let mut annotations = Vec::new();
diff --git a/compiler/parser/src/parser/mod.rs b/compiler/parser/src/parser/mod.rs
index f39da3a305..5cadb6f9b7 100644
--- a/compiler/parser/src/parser/mod.rs
+++ b/compiler/parser/src/parser/mod.rs
@@ -36,6 +36,7 @@ pub(super) use context::ParserContext;
 mod expression;
 mod file;
 mod statement;
+mod test;
 pub(super) mod type_;
 
 /// Creates a new program from a given file path and source code text.
diff --git a/compiler/parser/src/parser/test.rs b/compiler/parser/src/parser/test.rs
new file mode 100644
index 0000000000..13520fea6b
--- /dev/null
+++ b/compiler/parser/src/parser/test.rs
@@ -0,0 +1,69 @@
+// Copyright (C) 2019-2024 Aleo Systems Inc.
+// This file is part of the Leo library.
+
+// The Leo library is free software: you can redistribute it and/or modify
+// it under the terms of the GNU General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+
+// The Leo library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
+
+use super::*;
+
+use leo_errors::{ParserError, Result};
+
+impl<N: Network> ParserContext<'_, N> {
+    /// Parses a test file.
+    fn parse_test(&mut self) -> Result<Test> {
+        // Initialize storage for the components of the test file
+        let mut consts: Vec<(Symbol, ConstDeclaration)> = Vec::new();
+        let mut functions = Vec::new();
+        let mut structs: Vec<(Symbol, Composite)> = Vec::new();
+        let mut mappings: Vec<(Symbol, Mapping)> = Vec::new();
+        // Parse the components of the test file.
+        while self.has_next() {
+            match &self.token.token {
+                Token::Const => {
+                    let declaration = self.parse_const_declaration_statement()?;
+                    consts.push((Symbol::intern(&declaration.place.to_string()), declaration));
+                }
+                Token::Struct | Token::Record => {
+                    let (id, struct_) = self.parse_struct()?;
+                    structs.push((id, struct_));
+                }
+                Token::Mapping => {
+                    let (id, mapping) = self.parse_mapping()?;
+                    mappings.push((id, mapping));
+                }
+                Token::At | Token::Async | Token::Function | Token::Transition | Token::Inline | Token::Interpret => {
+                    let (id, function) = self.parse_function()?;
+                    functions.push((id, function));
+                }
+                _ => {
+                    return Err(Self::unexpected_item(&self.token, &[
+                        Token::Const,
+                        Token::Struct,
+                        Token::Record,
+                        Token::Mapping,
+                        Token::At,
+                        Token::Async,
+                        Token::Function,
+                        Token::Transition,
+                        Token::Inline,
+                    ])
+                    .into());
+                }
+            }
+        }
+
+        Ok(Test { consts, functions, structs, mappings })
+    }
+}
+
+use leo_span::{Symbol, sym};