ceedling 1.1.10 → 1.2.1

data/spec/units/file_path_utils_spec.rb

@@ -7,6 +7,8 @@
 
 require 'spec_helper'
 require 'ceedling/file_path_utils'
+require 'ceedling/file_wrapper'
+require 'ceedling/filename_extension'
 
 describe FilePathUtils do
 
@@ -134,6 +136,78 @@ describe FilePathUtils do
       expect( FilePathUtils.no_decorators( nil ) ).to eq( '' )
     end
 
+    # #104 -- `[`/`]` are legal filename characters (Windows especially) but were
+    # swept into PATTERNS::GLOB alongside Ceedling's own genuinely-supported `*`/`?`/
+    # `{`/`}` wildcard syntax. Unlike those, `[`/`]` are never a documented Ceedling
+    # glob feature, so a literal bracket in a real directory name must not be treated
+    # as "where the glob starts" -- doing so silently validated the wrong, truncated
+    # ancestor directory instead of the real one.
+    it "returns a directory path containing literal brackets unchanged, not truncated ('foo/[bar]/baz')" do
+      expect( FilePathUtils.no_decorators( 'foo/[bar]/baz' ) ).to eq( 'foo/[bar]/baz' )
+    end
+
+    it "still extracts the directory portion ahead of a real glob when a literal bracket precedes it ('foo/[bar]/baz/*.c')" do
+      expect( FilePathUtils.no_decorators( 'foo/[bar]/baz/*.c' ) ).to eq( 'foo/[bar]/baz' )
+    end
+
+  end
+
+
+  describe '.escape_glob_brackets' do
+
+    it "backslash-escapes a literal '[' and ']'" do
+      expect( FilePathUtils.escape_glob_brackets( 'foo/[bar]/baz' ) ).to eq( 'foo/\\[bar\\]/baz' )
+    end
+
+    it "leaves a path with no brackets unchanged" do
+      expect( FilePathUtils.escape_glob_brackets( 'foo/bar/baz' ) ).to eq( 'foo/bar/baz' )
+    end
+
+    it "leaves Ceedling's own genuine glob syntax untouched" do
+      expect( FilePathUtils.escape_glob_brackets( 'foo/bar/**' ) ).to eq( 'foo/bar/**' )
+    end
+
+    it "returns nil for nil" do
+      expect( FilePathUtils.escape_glob_brackets( nil ) ).to be_nil
+    end
+
+  end
+
+
+  # #104 -- the canonical base-path-plus-suffix glob builder every call site should use
+  # instead of hand-rolling `File.join(path, suffix)`, so a literal `[`/`]` in `base_path`
+  # can't be forgotten by omission (several call sites did, before this existed).
+  describe '.glob' do
+
+    it "escapes brackets in the base path, leaving an appended suffix untouched" do
+      expect( FilePathUtils.glob( 'foo/[bar]', '*.c' ) ).to eq( 'foo/\\[bar\\]/*.c' )
+    end
+
+    it "joins multiple suffix parts, same as File.join" do
+      expect( FilePathUtils.glob( 'foo/[bar]', 'config', '*.rb' ) ).to eq( 'foo/\\[bar\\]/config/*.rb' )
+    end
+
+    it "behaves as a plain File.join when the base path has no brackets" do
+      expect( FilePathUtils.glob( 'foo/bar', '*.c' ) ).to eq( File.join( 'foo/bar', '*.c' ) )
+    end
+
+    it "returns just the escaped base path when no suffix is given" do
+      expect( FilePathUtils.glob( 'foo/[bar]' ) ).to eq( 'foo/\\[bar\\]' )
+    end
+
+  end
+
+
+  describe '.subdirectory_glob' do
+
+    it "escapes brackets in the path before reforming the trailing '/**' convention" do
+      expect( FilePathUtils.subdirectory_glob( 'foo/[bar]/**' ) ).to eq( 'foo/\\[bar\\]/**/**' )
+    end
+
+    it "escapes brackets in a path with no trailing glob" do
+      expect( FilePathUtils.subdirectory_glob( 'foo/[bar]' ) ).to eq( 'foo/\\[bar\\]' )
+    end
+
   end
 
 
@@ -228,6 +302,7 @@ describe FilePathUtils do
     before(:each) do
       @configurator = double('configurator')
       @file_wrapper = double('file_wrapper')
+      allow(@file_wrapper).to receive(:check_path_length)
       @fpu = described_class.new({
         :configurator => @configurator,
         :file_wrapper => @file_wrapper
@@ -271,6 +346,466 @@ describe FilePathUtils do
     end
   end
 
+  describe '#form_runner_filepath_from_test' do
+    before(:each) do
+      @configurator = double('configurator')
+      @file_wrapper = double('file_wrapper')
+      allow(@file_wrapper).to receive(:check_path_length)
+      @fpu = described_class.new({
+        :configurator => @configurator,
+        :file_wrapper => @file_wrapper
+      })
+
+      allow(@configurator).to receive(:project_test_runners_path).and_return('build/test/runners')
+      allow(@configurator).to receive(:test_runner_file_suffix).and_return('_runner')
+    end
+
+    it 'forms a flat runner filepath when no test identity is given' do
+      expect( @fpu.form_runner_filepath_from_test('test/test_foo.c') )
+        .to eq('build/test/runners/test_foo_runner.c')
+    end
+
+    it 'forms a flat runner filepath for a flat test\'s own identity' do
+      expect( @fpu.form_runner_filepath_from_test('test/test_foo.c', name: 'test_foo') )
+        .to eq('build/test/runners/test_foo_runner.c')
+    end
+
+    it 'mirrors the runner beneath the test\'s own mirrored subdirectory, distinguishing same-named tests' do
+      expect( @fpu.form_runner_filepath_from_test('test/unit/test_foo.c', name: 'unit/test_foo') )
+        .to eq('build/test/runners/unit/test_foo_runner.c')
+
+      expect( @fpu.form_runner_filepath_from_test('test/integration/test_foo.c', name: 'integration/test_foo') )
+        .to eq('build/test/runners/integration/test_foo_runner.c')
+    end
+
+    it 'forms a flat runner directory for a flat test' do
+      expect( @fpu.form_test_runners_path('test_foo') ).to eq('build/test/runners')
+    end
+
+    it 'forms the runner directory itself beneath a nested test\'s own mirrored subdirectory' do
+      expect( @fpu.form_test_runners_path('unit/test_foo') ).to eq('build/test/runners/unit')
+    end
+  end
+
+  describe '#form_release_dependencies_filepath, #form_release_build_list_filepath' do
+    before(:each) do
+      @configurator = double('configurator')
+      @file_wrapper = double('file_wrapper')
+      allow(@file_wrapper).to receive(:check_path_length)
+      @fpu = described_class.new({
+        :configurator => @configurator,
+        :file_wrapper => @file_wrapper
+      })
+
+      allow(@configurator).to receive(:project_release_build_output_path).and_return('build/release/out')
+      allow(@configurator).to receive(:project_release_dependencies_path).and_return('build/release/dependencies')
+      allow(@configurator).to receive(:extension_dependencies).and_return( FilenameExtension.new('.d') )
+      allow(@configurator).to receive(:extension_list).and_return( FilenameExtension.new('.lst') )
+    end
+
+    it 'mirrors a dependencies filepath the same way as the object it accompanies' do
+      expect( @fpu.form_release_dependencies_filepath('build/release/out/foo/bar.o') )
+        .to eq('build/release/dependencies/foo/bar.d')
+    end
+
+    it 'forms a flat dependencies filepath for a flat object' do
+      expect( @fpu.form_release_dependencies_filepath('build/release/out/bar.o') )
+        .to eq('build/release/dependencies/bar.d')
+    end
+
+    it 'forms the list filepath directly alongside the object, wherever it was mirrored to' do
+      expect( @fpu.form_release_build_list_filepath('build/release/out/foo/bar.o') )
+        .to eq('build/release/out/foo/bar.lst')
+    end
+  end
+
+  describe '#form_test_dependencies_filepath, #form_test_build_list_filepath' do
+    before(:each) do
+      @configurator = double('configurator')
+      @file_wrapper = double('file_wrapper')
+      allow(@file_wrapper).to receive(:check_path_length)
+      @fpu = described_class.new({
+        :configurator => @configurator,
+        :file_wrapper => @file_wrapper
+      })
+
+      allow(@configurator).to receive(:project_build_root).and_return('build')
+      allow(@configurator).to receive(:extension_dependencies).and_return( FilenameExtension.new('.d') )
+      allow(@configurator).to receive(:extension_list).and_return( FilenameExtension.new('.lst') )
+    end
+
+    it 'mirrors a dependencies filepath the same way as the object it accompanies, distinguishing same-named modules under test' do
+      expect( @fpu.form_test_dependencies_filepath('build/test/out/TestFoo/calculators/AdcCalc.o', name: 'TestFoo', context: :test) )
+        .to eq('build/test/dependencies/TestFoo/calculators/AdcCalc.d')
+    end
+
+    it 'forms a flat dependencies filepath for a flat object' do
+      expect( @fpu.form_test_dependencies_filepath('build/test/out/TestFoo/AdcCalc.o', name: 'TestFoo', context: :test) )
+        .to eq('build/test/dependencies/TestFoo/AdcCalc.d')
+    end
+
+    it 'forms a flat dependencies filepath when no test identity is given' do
+      expect( @fpu.form_test_dependencies_filepath('build/gcov/out/AdcCalc.o', context: :gcov) )
+        .to eq('build/gcov/dependencies/AdcCalc.d')
+    end
+
+    it 'forms the list filepath directly alongside the object, wherever it was mirrored to' do
+      expect( @fpu.form_test_build_list_filepath('build/test/out/TestFoo/calculators/AdcCalc.o') )
+        .to eq('build/test/out/TestFoo/calculators/AdcCalc.lst')
+    end
+  end
+
+  describe '#form_test_preprocess_build_directives_path, #form_test_build_directives_cache_filepath, #form_preprocessed_source_files_cache_filepath' do
+    before(:each) do
+      @configurator = double('configurator')
+      @file_wrapper = double('file_wrapper')
+      allow(@file_wrapper).to receive(:check_path_length)
+      @fpu = described_class.new({
+        :configurator => @configurator,
+        :file_wrapper => @file_wrapper
+      })
+
+      allow(@configurator).to receive(:project_test_preprocess_build_directives_path).and_return('build/test/preprocess/build_directives')
+    end
+
+    it 'forms a per-test build directives cache directory path' do
+      expect( @fpu.form_test_preprocess_build_directives_path('TestFoo') )
+        .to eq('build/test/preprocess/build_directives/TestFoo')
+    end
+
+    it 'forms a build directives cache filepath using the fixed internal .yml extension' do
+      expect( @fpu.form_test_build_directives_cache_filepath('test/TestFoo.c', 'TestFoo') )
+        .to eq('build/test/preprocess/build_directives/TestFoo/TestFoo.c.yml')
+    end
+
+    it 'forms a distinct source files cache filepath alongside the build directives cache' do
+      expect( @fpu.form_preprocessed_source_files_cache_filepath('test/TestFoo.c', 'TestFoo') )
+        .to eq('build/test/preprocess/build_directives/TestFoo/TestFoo.c_source_files.yml')
+    end
+  end
+
+  describe '#form_release_build_objects_filelist' do
+    before(:each) do
+      @configurator = double('configurator')
+      @file_wrapper = FileWrapper.new({
+        :loginator    => double('loginator').as_null_object,
+        :verbosinator => double('verbosinator').as_null_object
+      })
+      @fpu = described_class.new({
+        :configurator => @configurator,
+        :file_wrapper => @file_wrapper
+      })
+
+      allow(@configurator).to receive(:project_release_build_output_path).and_return('build/release/out')
+      allow(@configurator).to receive(:extension_object).and_return( FilenameExtension.new('.o') )
+      allow(@configurator).to receive(:paths_source).and_return( ['drivers'] )
+    end
+
+    it 'mirrors each object beneath whichever configured source root matched its file, distinguishing same-named sources' do
+      objects = @fpu.form_release_build_objects_filelist( ['drivers/foo/bar.c', 'drivers/baz/bar.c'] )
+      expect( objects ).to include('build/release/out/foo/bar.o')
+      expect( objects ).to include('build/release/out/baz/bar.o')
+    end
+
+    it 'leaves a file matching no configured source root flat' do
+      objects = @fpu.form_release_build_objects_filelist( ['vendor/unity.c'] )
+      expect( objects ).to eq(['build/release/out/unity.o'])
+    end
+  end
+
+  describe '#form_release_dependencies_filelist' do
+    before(:each) do
+      @configurator = double('configurator')
+      @file_wrapper = FileWrapper.new({
+        :loginator    => double('loginator').as_null_object,
+        :verbosinator => double('verbosinator').as_null_object
+      })
+      @fpu = described_class.new({
+        :configurator => @configurator,
+        :file_wrapper => @file_wrapper
+      })
+
+      allow(@configurator).to receive(:project_release_dependencies_path).and_return('build/release/dependencies')
+      allow(@configurator).to receive(:extension_dependencies).and_return( FilenameExtension.new('.d') )
+      allow(@configurator).to receive(:paths_source).and_return( ['drivers'] )
+    end
+
+    it 'mirrors each dependency file the same way as its corresponding object' do
+      deps = @fpu.form_release_dependencies_filelist( ['drivers/foo/bar.c', 'drivers/baz/bar.c'] )
+      expect( deps ).to include('build/release/dependencies/foo/bar.d')
+      expect( deps ).to include('build/release/dependencies/baz/bar.d')
+    end
+  end
+
+  # Every preprocessed artifact for a test lands below that test's own subdirectory.
+  # That alone kept artifacts apart while a test had at most one source of any given
+  # basename. Two same-basename sources in one test overwrite each other, so the
+  # source's own namespace below its configured root is mirrored as well.
+  # A mock's generated files sit below its test's mock root, in the subdirectory mirroring
+  # whatever it mocks. Two places need that directory -- the stage that compiles the mock
+  # and the stage that generates it -- and they must agree, or a mock is compiled from a
+  # path nothing ever wrote.
+  describe '#form_mock_output_path' do
+    before(:each) do
+      @fpu = described_class.new({
+        :configurator => double('configurator'),
+        :file_wrapper => double('file_wrapper')
+      })
+    end
+
+    it 'joins a mock root and the subdirectory its content mirrors' do
+      expect( @fpu.form_mock_output_path('build/test/mocks/a_test', 'drivers/uart') )
+        .to eq('build/test/mocks/a_test/drivers/uart')
+    end
+
+    it 'returns the root alone for a mock mirroring no subdirectory' do
+      expect( @fpu.form_mock_output_path('build/test/mocks/a_test', '') )
+        .to eq('build/test/mocks/a_test')
+    end
+
+    it 'treats a nil subdirectory as none' do
+      expect( @fpu.form_mock_output_path('build/test/mocks/a_test', nil) )
+        .to eq('build/test/mocks/a_test')
+    end
+  end
+
+  describe 'preprocessed file paths' do
+    before(:each) do
+      @configurator = double('configurator')
+      @file_wrapper = double('file_wrapper')
+      @fpu = described_class.new({
+        :configurator => @configurator,
+        :file_wrapper => @file_wrapper
+      })
+
+      allow(@configurator).to receive(:project_test_preprocess_files_path).and_return('build/test/preprocess/files')
+      allow(@configurator).to receive(:project_test_preprocess_includes_path).and_return('build/test/preprocess/includes')
+      allow(@configurator).to receive(:paths_source).and_return( ['src/**'] )
+      allow(@configurator).to receive(:paths_include).and_return( ['include/**'] )
+      allow(@configurator).to receive(:paths_support).and_return( [] )
+      allow(@configurator).to receive(:paths_test).and_return( ['test/**'] )
+      allow(@configurator).to receive(:project_use_partials).and_return( true )
+      allow(@configurator).to receive(:project_use_mocks).and_return( true )
+      allow(@configurator).to receive(:project_test_partials_path).and_return('build/test/partials')
+      allow(@configurator).to receive(:cmock_mock_path).and_return('build/test/mocks')
+    end
+
+    # A file sitting directly in a configured root has no namespace of its own, so its
+    # artifact stays flat -- the layout every project has always seen.
+    it 'keeps a file directly in a configured root flat' do
+      expect( @fpu.form_preprocessed_file_filepath('src/foo.c', 'test_foo') )
+        .to eq('build/test/preprocess/files/test_foo/foo.c')
+      expect( @fpu.form_preprocessed_file_full_expansion_filepath('src/foo.c', 'test_foo') )
+        .to eq('build/test/preprocess/files/test_foo/full_expansion/foo.c')
+      expect( @fpu.form_preprocessed_file_raw_directives_only_filepath('src/foo.c', 'test_foo') )
+        .to eq('build/test/preprocess/files/test_foo/directives_only/raw/foo.c')
+      expect( @fpu.form_preprocessed_file_compacted_directives_only_filepath('src/foo.c', 'test_foo') )
+        .to eq('build/test/preprocess/files/test_foo/directives_only/foo.c')
+      expect( @fpu.form_preprocessed_file_fallback_expansion_filepath('src/foo.c', 'test_foo') )
+        .to eq('build/test/preprocess/files/test_foo/fallback_expansion/foo.c')
+      expect( @fpu.form_preprocessed_includes_list_filepath('src/foo.c', 'test_foo') )
+        .to eq('build/test/preprocess/includes/test_foo/foo.c.yml')
+    end
+
+    it 'mirrors a nested source below the test subdirectory' do
+      expect( @fpu.form_preprocessed_file_filepath('src/drivers/uart/config.c', 'test_both') )
+        .to eq('build/test/preprocess/files/test_both/drivers/uart/config.c')
+      expect( @fpu.form_preprocessed_file_full_expansion_filepath('src/drivers/uart/config.c', 'test_both') )
+        .to eq('build/test/preprocess/files/test_both/full_expansion/drivers/uart/config.c')
+      expect( @fpu.form_preprocessed_file_raw_directives_only_filepath('src/drivers/uart/config.c', 'test_both') )
+        .to eq('build/test/preprocess/files/test_both/directives_only/raw/drivers/uart/config.c')
+      expect( @fpu.form_preprocessed_file_compacted_directives_only_filepath('src/drivers/uart/config.c', 'test_both') )
+        .to eq('build/test/preprocess/files/test_both/directives_only/drivers/uart/config.c')
+      expect( @fpu.form_preprocessed_file_fallback_expansion_filepath('src/drivers/uart/config.c', 'test_both') )
+        .to eq('build/test/preprocess/files/test_both/fallback_expansion/drivers/uart/config.c')
+      expect( @fpu.form_preprocessed_includes_list_filepath('src/drivers/uart/config.c', 'test_both') )
+        .to eq('build/test/preprocess/includes/test_both/drivers/uart/config.c.yml')
+    end
+
+    # The defect itself: two sources sharing a basename in one test.
+    it 'gives two same-named sources in one test distinct artifacts' do
+      uart = @fpu.form_preprocessed_file_raw_directives_only_filepath('src/drivers/uart/config.c', 'test_both')
+      spi  = @fpu.form_preprocessed_file_raw_directives_only_filepath('src/drivers/spi/config.c', 'test_both')
+
+      expect( uart ).to_not eq(spi)
+    end
+
+    # Composing a path leaves nothing behind. Callers that merely restate one -- a rake
+    # target declaration, a staleness check -- must not create directories as a side
+    # effect; whoever writes the file creates its directory.
+    it 'creates no directory, composing a path only' do
+      expect(@file_wrapper).to_not receive(:mkdir)
+
+      @fpu.form_preprocessed_file_raw_directives_only_filepath('src/drivers/uart/config.c', 'test_both')
+      @fpu.form_preprocessed_file_full_expansion_filepath('src/drivers/uart/config.c', 'test_both')
+      @fpu.form_preprocessed_includes_list_filepath('src/drivers/uart/config.c', 'test_both')
+    end
+
+    it 'mirrors a nested header below its own include root' do
+      expect( @fpu.form_preprocessed_file_filepath('include/drivers/uart/config.h', 'test_both') )
+        .to eq('build/test/preprocess/files/test_both/drivers/uart/config.h')
+    end
+
+    # A generated Partial or mock sits below its own test's generated root rather than a
+    # configured source root. Two same-named modules each produce one, so those roots have
+    # to mirror too or both share a single preprocessed artifact.
+    it 'mirrors a generated Partial header below its own test root' do
+      expect(
+        @fpu.form_preprocessed_file_raw_directives_only_filepath(
+          'build/test/partials/test_both/drivers/uart/ceedling_partial_config_interface.h', 'test_both'
+        )
+      ).to eq('build/test/preprocess/files/test_both/directives_only/raw/drivers/uart/ceedling_partial_config_interface.h')
+    end
+
+    it 'gives two same-named generated Partial headers distinct artifacts' do
+      uart = @fpu.form_preprocessed_file_raw_directives_only_filepath(
+        'build/test/partials/test_both/drivers/uart/ceedling_partial_config_interface.h', 'test_both'
+      )
+      spi = @fpu.form_preprocessed_file_raw_directives_only_filepath(
+        'build/test/partials/test_both/drivers/spi/ceedling_partial_config_interface.h', 'test_both'
+      )
+
+      expect( uart ).to_not eq(spi)
+    end
+
+    it 'mirrors a generated mock below its own test root' do
+      expect(
+        @fpu.form_preprocessed_file_filepath(
+          'build/test/mocks/test_both/drivers/spi/mock_config.h', 'test_both'
+        )
+      ).to eq('build/test/preprocess/files/test_both/drivers/spi/mock_config.h')
+    end
+
+    # A generated file sits below no configured root, so nothing mirrors it and its
+    # artifact stays where it has always been.
+    it 'keeps a generated file flat' do
+      expect( @fpu.form_preprocessed_file_filepath('build/test/mocks/test_both/Mockconfig.h', 'test_both') )
+        .to eq('build/test/preprocess/files/test_both/Mockconfig.h')
+    end
+  end
+
+  describe '#form_test_build_objects_filelist' do
+    before(:each) do
+      @configurator = double('configurator')
+      @file_wrapper = FileWrapper.new({
+        :loginator    => double('loginator').as_null_object,
+        :verbosinator => double('verbosinator').as_null_object
+      })
+      @fpu = described_class.new({
+        :configurator => @configurator,
+        :file_wrapper => @file_wrapper
+      })
+
+      allow(@configurator).to receive(:extension_object).and_return( FilenameExtension.new('.o') )
+      allow(@configurator).to receive(:paths_source).and_return( ['drivers'] )
+      allow(@configurator).to receive(:paths_support).and_return( ['support'] )
+    end
+
+    it 'mirrors a module-under-test or support source beneath its matching configured root' do
+      objects = @fpu.form_test_build_objects_filelist(
+        'build/test/out/TestFoo', ['drivers/foo/bar.c', 'drivers/baz/bar.c']
+      )
+      expect( objects ).to include('build/test/out/TestFoo/foo/bar.o')
+      expect( objects ).to include('build/test/out/TestFoo/baz/bar.o')
+    end
+
+    it 'leaves the test file itself, mocks, and other unmatched inputs flat' do
+      objects = @fpu.form_test_build_objects_filelist(
+        'build/test/out/TestFoo', ['test/TestFoo.c', 'MockBar.c', 'support/qux.c']
+      )
+      expect( objects ).to eq([
+        'build/test/out/TestFoo/TestFoo.o',
+        'build/test/out/TestFoo/MockBar.o',
+        'build/test/out/TestFoo/qux.o'
+      ])
+    end
+
+    # Generated Partial sources sit below their own build root, not a configured source
+    # root, so nothing in the standard roots mirrors them. Two modules sharing a basename
+    # then collapse onto one object filename.
+    it 'mirrors a generated Partial source beneath an extra root' do
+      objects = @fpu.form_test_build_objects_filelist(
+        'build/test/out/TestFoo',
+        [
+          'build/test/partials/TestFoo/drivers/uart/ceedling_partial_config_impl.c',
+          'build/test/partials/TestFoo/drivers/spi/ceedling_partial_config_impl.c'
+        ],
+        extra_roots: ['build/test/partials/TestFoo']
+      )
+
+      expect( objects ).to eq([
+        'build/test/out/TestFoo/drivers/uart/ceedling_partial_config_impl.o',
+        'build/test/out/TestFoo/drivers/spi/ceedling_partial_config_impl.o'
+      ])
+    end
+
+    it 'leaves inputs flat when no extra root is supplied' do
+      objects = @fpu.form_test_build_objects_filelist(
+        'build/test/out/TestFoo',
+        ['build/test/partials/TestFoo/drivers/uart/ceedling_partial_config_impl.c']
+      )
+
+      expect( objects ).to eq(['build/test/out/TestFoo/ceedling_partial_config_impl.o'])
+    end
+  end
+
+  describe '#form_pass_results_filelist' do
+    before(:each) do
+      @configurator = double('configurator')
+      @file_wrapper = FileWrapper.new({
+        :loginator    => double('loginator').as_null_object,
+        :verbosinator => double('verbosinator').as_null_object
+      })
+      @fpu = described_class.new({
+        :configurator => @configurator,
+        :file_wrapper => @file_wrapper
+      })
+
+      allow(@configurator).to receive(:extension_testpass).and_return( FilenameExtension.new('.pass') )
+      allow(@configurator).to receive(:paths_test).and_return( ['test'] )
+    end
+
+    it 'mirrors each expected results file beneath the same test identity its own build directory uses' do
+      results = @fpu.form_pass_results_filelist(
+        'build/test/results', ['test/unit/test_foo.c', 'test/integration/test_foo.c']
+      )
+      expect( results ).to include('build/test/results/unit/test_foo.pass')
+      expect( results ).to include('build/test/results/integration/test_foo.pass')
+    end
+
+    it 'leaves a flat test\'s own results file flat, undisturbed by mirroring' do
+      results = @fpu.form_pass_results_filelist('build/test/results', ['test/test_bar.c'])
+      expect( results ).to eq(['build/test/results/test_bar.pass'])
+    end
+  end
+
+  describe '#form_preprocessed_includes_list_filepath' do
+    before(:each) do
+      @configurator = double('configurator')
+      @file_wrapper = double('file_wrapper')
+      allow(@file_wrapper).to receive(:check_path_length)
+      @fpu = described_class.new({
+        :configurator => @configurator,
+        :file_wrapper => @file_wrapper
+      })
+
+      allow(@configurator).to receive(:project_test_preprocess_includes_path).and_return('build/test/preprocess/includes')
+      # The test file sits directly in its root, so nothing is mirrored here.
+      allow(@configurator).to receive(:project_use_partials).and_return( false )
+      allow(@configurator).to receive(:project_use_mocks).and_return( false )
+      allow(@configurator).to receive(:paths_source).and_return( [] )
+      allow(@configurator).to receive(:paths_support).and_return( [] )
+      allow(@configurator).to receive(:paths_include).and_return( [] )
+      allow(@configurator).to receive(:paths_test).and_return( ['test'] )
+    end
+
+    it 'uses the fixed internal .yml extension regardless of a project-configured :extension ↳ :yaml setting' do
+      expect(@configurator).to_not receive(:extension_yaml)
+      expect( @fpu.form_preprocessed_includes_list_filepath('test/TestFoo.c', 'TestFoo') )
+        .to eq('build/test/preprocess/includes/TestFoo/TestFoo.c.yml')
+    end
+  end
+
   describe '#form_partial_types_header_filename' do
     before(:each) do
       @fpu = described_class.new({
@@ -288,4 +823,205 @@ describe FilePathUtils do
     end
   end
 
+  # The four remaining generated Partial filenames. Each is the name a test file's
+  # own Partial directive macro expands to, so the name a macro emits and the name
+  # formed here must agree exactly or the compiler finds nothing.
+  describe 'the remaining generated Partial filenames' do
+    before(:each) do
+      @configurator = double('configurator')
+      @fpu = described_class.new({
+        :configurator => @configurator,
+        :file_wrapper => double('file_wrapper')
+      })
+    end
+
+    it 'forms an interface header filename with the partial prefix and an _interface suffix' do
+      expect( @fpu.form_partial_interface_header_filename('LightSensor') )
+        .to eq('ceedling_partial_LightSensor_interface.h')
+    end
+
+    it 'forms an implementation header filename with the partial prefix and an _impl suffix' do
+      expect( @fpu.form_partial_implementation_header_filename('LightSensor') )
+        .to eq('ceedling_partial_LightSensor_impl.h')
+    end
+
+    it 'forms an implementation source filename sharing the header name but a source extension' do
+      expect( @fpu.form_partial_implementation_source_filename('LightSensor') )
+        .to eq('ceedling_partial_LightSensor_impl.c')
+    end
+
+    # Two prefixes stack here, mock outermost. CMock generates its mock from the
+    # generated interface header, so the result carries both names.
+    it 'forms a mock interface header filename carrying the mock prefix ahead of the partial prefix' do
+      expect(@configurator).to receive(:cmock_mock_prefix).and_return('Mock')
+
+      expect( @fpu.form_mock_partial_interface_header_filename('LightSensor') )
+        .to eq('Mockceedling_partial_LightSensor_interface.h')
+    end
+
+    it 'honors a project-configured mock prefix' do
+      expect(@configurator).to receive(:cmock_mock_prefix).and_return('fake_')
+
+      expect( @fpu.form_mock_partial_interface_header_filename('LightSensor') )
+        .to eq('fake_ceedling_partial_LightSensor_interface.h')
+    end
+  end
+
+  # A module named by directory keeps that directory, and the prefixes attach to the
+  # basename rather than to the first path segment. These results are exactly the
+  # strings a directory-qualified directive macro expands to, which is what lets the
+  # compiler resolve the generated #include.
+  describe 'generated Partial filenames for a module named by directory' do
+    before(:each) do
+      @configurator = double('configurator')
+      @fpu = described_class.new({
+        :configurator => @configurator,
+        :file_wrapper => double('file_wrapper')
+      })
+    end
+
+    it 'prefixes the basename and keeps the directory for an implementation header' do
+      expect( @fpu.form_partial_implementation_header_filename('drivers/uart/config') )
+        .to eq('drivers/uart/ceedling_partial_config_impl.h')
+    end
+
+    it 'prefixes the basename and keeps the directory for an implementation source' do
+      expect( @fpu.form_partial_implementation_source_filename('drivers/uart/config') )
+        .to eq('drivers/uart/ceedling_partial_config_impl.c')
+    end
+
+    it 'prefixes the basename and keeps the directory for an interface header' do
+      expect( @fpu.form_partial_interface_header_filename('drivers/uart/config') )
+        .to eq('drivers/uart/ceedling_partial_config_interface.h')
+    end
+
+    it 'prefixes the basename and keeps the directory for a types header' do
+      expect( @fpu.form_partial_types_header_filename('drivers/uart/config') )
+        .to eq('drivers/uart/ceedling_partial_config_types.h')
+    end
+
+    it 'stacks both prefixes on the basename for a mock interface header' do
+      allow(@configurator).to receive(:cmock_mock_prefix).and_return('Mock')
+
+      expect( @fpu.form_mock_partial_interface_header_filename('drivers/uart/config') )
+        .to eq('drivers/uart/Mockceedling_partial_config_interface.h')
+    end
+
+    it 'keeps a single directory segment' do
+      expect( @fpu.form_partial_implementation_header_filename('uart/config') )
+        .to eq('uart/ceedling_partial_config_impl.h')
+    end
+  end
+
+  # The inverse of the builders above. A generated Partial filename is Ceedling's own
+  # invention, so a message naming one tells a test author nothing. Recovering the
+  # module lets a message name what the author actually wrote.
+  describe '#module_from_partial_filename' do
+    before(:each) do
+      @configurator = double('configurator')
+      allow(@configurator).to receive(:cmock_mock_prefix).and_return('Mock')
+      @fpu = described_class.new({
+        :configurator => @configurator,
+        :file_wrapper => double('file_wrapper')
+      })
+    end
+
+    it 'recovers a module named without a directory' do
+      expect( @fpu.module_from_partial_filename('ceedling_partial_config_impl.c') )
+        .to eq('config')
+    end
+
+    it 'recovers a module named by directory, keeping the directory' do
+      expect( @fpu.module_from_partial_filename('drivers/uart/ceedling_partial_config_impl.h') )
+        .to eq('drivers/uart/config')
+    end
+
+    # Three suffixes exist, one per generated file kind.
+    it 'strips an implementation suffix' do
+      expect( @fpu.module_from_partial_filename('ceedling_partial_config_impl.h') ).to eq('config')
+    end
+
+    it 'strips an interface suffix' do
+      expect( @fpu.module_from_partial_filename('ceedling_partial_config_interface.h') ).to eq('config')
+    end
+
+    it 'strips a types suffix' do
+      expect( @fpu.module_from_partial_filename('ceedling_partial_config_types.h') ).to eq('config')
+    end
+
+    # Two prefixes stack on a mocked interface header, mock outermost.
+    it 'strips a mock prefix ahead of the partial prefix' do
+      expect( @fpu.module_from_partial_filename('drivers/uart/Mockceedling_partial_config_interface.h') )
+        .to eq('drivers/uart/config')
+    end
+
+    it 'leaves a module whose own name ends in a suffix word intact' do
+      expect( @fpu.module_from_partial_filename('ceedling_partial_impl_impl.c') ).to eq('impl')
+    end
+
+    it 'returns nil for a filename that is not a generated Partial' do
+      expect( @fpu.module_from_partial_filename('config.h') ).to be_nil
+    end
+
+    # Round trip, so the inverse stays tied to the builder it mirrors.
+    it 'round trips every builder' do
+      %w[config drivers/uart/config].each do |_module|
+        [
+          @fpu.form_partial_implementation_header_filename( _module ),
+          @fpu.form_partial_implementation_source_filename( _module ),
+          @fpu.form_partial_interface_header_filename( _module ),
+          @fpu.form_partial_types_header_filename( _module ),
+          @fpu.form_mock_partial_interface_header_filename( _module )
+        ].each do |generated|
+          expect( @fpu.module_from_partial_filename( generated ) )
+            .to( eq(_module), "#{generated} did not reverse to #{_module}" )
+        end
+      end
+    end
+  end
+
+  describe '#form_named_path' do
+    before(:each) do
+      @file_wrapper = double('file_wrapper')
+      allow(@file_wrapper).to receive(:check_path_length)
+      @fpu = described_class.new({
+        :configurator => double('configurator'),
+        :file_wrapper => @file_wrapper
+      })
+    end
+
+    # form_named_path is private -- exercised via #send, same as its callers do internally.
+    it 'checks the constructed path length, identifying itself as the origin' do
+      @fpu.send(:form_named_path, 'build/test/preprocess/files', 'test_foo')
+      expect(@file_wrapper).to have_received(:check_path_length)
+        .with('build/test/preprocess/files/test_foo', origin: 'FilePathUtils#form_named_path')
+    end
+
+    it 'checks the constructed path length including an optional subdir' do
+      @fpu.send(:form_named_path, 'build/test/preprocess/files', 'test_foo', subdir: 'full_expansion')
+      expect(@file_wrapper).to have_received(:check_path_length)
+        .with('build/test/preprocess/files/test_foo/full_expansion', origin: 'FilePathUtils#form_named_path')
+    end
+  end
+
+  describe '#form_build_context_path' do
+    before(:each) do
+      @configurator = double('configurator')
+      @file_wrapper = double('file_wrapper')
+      allow(@file_wrapper).to receive(:check_path_length)
+      allow(@configurator).to receive(:project_build_root).and_return('build')
+      @fpu = described_class.new({
+        :configurator => @configurator,
+        :file_wrapper => @file_wrapper
+      })
+    end
+
+    # form_build_context_path is private -- exercised via #send, same as its callers do internally.
+    it 'checks the constructed path length, identifying itself as the origin' do
+      @fpu.send(:form_build_context_path, 'out', name: 'TestFoo')
+      expect(@file_wrapper).to have_received(:check_path_length)
+        .with('build/out/TestFoo', origin: 'FilePathUtils#form_build_context_path')
+    end
+  end
+
 end