stamina 0.4.0 → 0.5.0

data/test/stamina/exit.rb

@@ -1,3 +0,0 @@
-# This file is only used in the test, to check that some parsing method do not
-# execute ruby code. If not the case, a SystemExit will be raised
-+ Kernel.exit(-1)

data/test/stamina/induction/blue_fringe_test.rb

@@ -1,83 +0,0 @@
-require File.join(File.dirname(__FILE__), "induction_test")
-module Stamina
-  module Induction
-    class BlueFringeTest < Stamina::Induction::InductionTest
-      
-      # Factors a ready to be tested BlueFringe instance
-      def blue_fringe(ufds)
-        blue_fringe = Stamina::Induction::BlueFringe.new(:verbose => false)
-        blue_fringe.instance_eval do
-          @ufds = ufds
-        end
-        blue_fringe
-      end
-      
-      def test_merge_and_determinize_score
-        blue_fringe = blue_fringe(factor_ufds)
-        assert_equal nil, blue_fringe.merge_and_determinize_score(1, 0)
-        assert_equal 1, blue_fringe.merge_and_determinize_score(1, 3)
-        assert_equal 1, blue_fringe.merge_and_determinize_score(2, 0)
-      end
-      
-      def test_main_whole_execution
-        ufds = factor_ufds
-        blue_fringe = blue_fringe(ufds)
-        assert_equal [0, 1, 0, 1, 0, 1, 0, 0, 1, 0], blue_fringe.main(ufds).to_a
-      end
-      
-      def test_execute_whole_execution
-        expected = Stamina::ADL.parse_automaton <<-EOF
-          2 4
-          0 true true
-          1 false false
-          0 0 b
-          0 1 a
-          1 0 b
-          1 1 a
-        EOF
-        dfa = BlueFringe.execute(@sample)
-        assert_equal true, @sample.correctly_classified_by?(dfa)
-        assert_equal @sample.signature, dfa.signature(@sample)
-        assert_nil equivalent?(expected, dfa)
-      end
-            
-      def test_on_dedicated_examples
-        here = File.dirname(__FILE__)
-        Dir["#{here}/redblue_*_sample.adl"].each do |sample_file|
-          name = (/^redblue_(.*?)_sample.adl$/.match(File.basename(sample_file)))[1]
-          sample = Stamina::ADL.parse_sample_file(sample_file)
-          expected = Stamina::ADL.parse_automaton_file(File.join(here, "redblue_#{name}_expected.adl"))
-          assert sample.correctly_classified_by?(expected)
-          dfa = BlueFringe.execute(sample)
-          assert sample.correctly_classified_by?(dfa)
-          assert_equal sample.signature, dfa.signature(sample)
-          assert_nil equivalent?(expected, dfa)
-        end
-      end
-      
-      # Tests on characteristic sample
-      def test_on_public_characteristic_example
-        example_folder = File.join(File.dirname(__FILE__), '..', '..', '..', 'example', 'basic')
-        sample = Stamina::ADL.parse_sample_file(File.join(example_folder, 'characteristic_sample.adl'))
-        blue_fringed = Stamina::Induction::BlueFringe.execute(sample)
-        assert_equal 4, blue_fringed.state_count
-        s0, = blue_fringed.initial_state
-        s1 = blue_fringed.dfa_step(s0, 'b')
-        s2 = blue_fringed.dfa_step(s0, 'a')
-        s3 = blue_fringed.dfa_step(s2, 'b')
-        assert_equal true, s0.accepting?
-        assert_equal true, s3.accepting?
-        assert_equal false, s1.accepting?
-        assert_equal false, s2.accepting?
-        assert_equal s1, s1.dfa_step('a')
-        assert_equal s1, s1.dfa_step('b')
-        assert_equal s2, s2.dfa_step('a')
-        assert_equal s3, s2.dfa_step('b')
-        assert_equal s3, s3.dfa_step('b')
-        assert_equal s0, s3.dfa_step('a')
-        assert_equal sample.signature, blue_fringed.signature(sample)
-      end
-      
-    end
-  end
-end

data/test/stamina/induction/induction_test.rb

@@ -1,70 +0,0 @@
-require 'test/unit'
-require 'stamina'
-require 'stamina/induction/union_find'
-require 'stamina/induction/commons'
-module Stamina
-  module Induction
-    class InductionTest < Test::Unit::TestCase
-      include Stamina::Induction::Commons
-      
-      # Asserts that two states are equivalent and recurse.
-      def equivalent_states!(s1, s2, equivalences)
-        return "#{s1.index} and #{s2.index} don't agree on flags" \
-          unless s1.initial? == s2.initial? \
-             and s1.accepting? == s2.accepting? \
-             and s1.error? == s2.error?
-        return "#{s1.index} and #{s2.index} don't agree on out symbols #{s1.out_symbols.inspect} #{s2.out_symbols.inspect}"\
-          unless s1.out_symbols.sort == s2.out_symbols.sort
-        equivalences[s1.index] = s2.index
-        s1.out_symbols.each do |symbol|
-          s1_target = s1.dfa_step(symbol)
-          s2_target = s2.dfa_step(symbol)
-          return false if (s1_target.nil? or s2_target.nil?)
-          if equivalences.has_key?(s1_target.index)
-            return "#{s1.index} and #{s2.index} don't agree on #{symbol}"\
-              unless equivalences[s1_target.index]==s2_target.index
-          else
-            return msg \
-              if msg=equivalent_states!(s1_target, s2_target, equivalences)
-          end
-        end
-        nil
-      end
-      
-      # Checks if two DFAs are equivalent.
-      def equivalent?(dfa1, dfa2)
-        return "not same number of states" unless dfa1.state_count==dfa2.state_count
-        equivalent_states!(dfa1.initial_state, dfa2.initial_state, {})
-      end
-      
-      # Puts a PTA under @pta
-      def setup
-        @sample = Stamina::ADL.parse_sample <<-EOF
-          +
-          - a
-          - a a
-          + a b
-          - b a b a
-          + b a b b
-          + b b
-        EOF
-        @pta = sample2pta(@sample)
-      end
-      
-      # Returns index-th state of the PTA
-      def s(index)
-        @pta.ith_state(index)
-      end
-      
-      # Factors a UnionFind instance from the PTA under @pta.
-      def factor_ufds
-        pta2ufds(@pta)
-      end
-      
-      # Just to avoid a stupid ruby error on empty test units.
-      def test_empty
-      end
-      
-    end
-  end # module Induction
-end # module Stamina

data/test/stamina/induction/redblue_mergesamestatebug_expected.adl

@@ -1,19 +0,0 @@
-6 12
-0 true false
-1 false true
-2 false false
-3 false false
-4 false false
-5 false false
-0 1 0
-0 1 1
-1 2 0
-1 1 1
-2 0 0
-2 3 1
-3 4 0
-3 4 1
-4 5 0
-4 1 1
-5 0 0
-5 2 1

data/test/stamina/induction/redblue_mergesamestatebug_pta.dot

@@ -1,64 +0,0 @@
-digraph G {
-  graph [rankdir="LR"];
-  0 [color="black" fillcolor="green" shape="circle" style="filled"];
-  1 [color="black" fillcolor="white" shape="doublecircle" style="filled"];
-  2 [color="black" fillcolor="white" shape="circle" style="filled"];
-  3 [color="black" fillcolor="white" shape="circle" style="filled"];
-  4 [color="black" fillcolor="white" shape="circle" style="filled"];
-  5 [color="black" fillcolor="white" shape="circle" style="filled"];
-  6 [color="black" fillcolor="white" shape="circle" style="filled"];
-  7 [color="black" fillcolor="white" shape="circle" style="filled"];
-  8 [color="black" fillcolor="white" shape="circle" style="filled"];
-  9 [color="black" fillcolor="white" shape="circle" style="filled"];
-  10 [color="black" fillcolor="white" shape="circle" style="filled"];
-  11 [color="black" fillcolor="white" shape="circle" style="filled"];
-  12 [color="black" fillcolor="red" shape="circle" style="filled"];
-  13 [color="black" fillcolor="white" shape="circle" style="filled"];
-  14 [color="black" fillcolor="white" shape="circle" style="filled"];
-  15 [color="black" fillcolor="red" shape="circle" style="filled"];
-  16 [color="black" fillcolor="red" shape="circle" style="filled"];
-  17 [color="black" fillcolor="white" shape="circle" style="filled"];
-  18 [color="black" fillcolor="red" shape="circle" style="filled"];
-  19 [color="black" fillcolor="white" shape="doublecircle" style="filled"];
-  20 [color="black" fillcolor="white" shape="circle" style="filled"];
-  21 [color="black" fillcolor="white" shape="circle" style="filled"];
-  22 [color="black" fillcolor="white" shape="doublecircle" style="filled"];
-  23 [color="black" fillcolor="white" shape="circle" style="filled"];
-  24 [color="black" fillcolor="white" shape="circle" style="filled"];
-  25 [color="black" fillcolor="white" shape="circle" style="filled"];
-  26 [color="black" fillcolor="white" shape="circle" style="filled"];
-  27 [color="black" fillcolor="white" shape="doublecircle" style="filled"];
-  28 [color="black" fillcolor="white" shape="circle" style="filled"];
-  29 [color="black" fillcolor="white" shape="circle" style="filled"];
-  30 [color="black" fillcolor="white" shape="doublecircle" style="filled"];
-  0 -> 2 [label="1"];
-  2 -> 4 [label="1"];
-  4 -> 7 [label="1"];
-  7 -> 11 [label="1"];
-  11 -> 15 [label="0"];
-  0 -> 1 [label="0"];
-  1 -> 3 [label="0"];
-  3 -> 6 [label="1"];
-  6 -> 10 [label="1"];
-  10 -> 14 [label="0"];
-  14 -> 18 [label="1"];
-  18 -> 20 [label="0"];
-  20 -> 22 [label="1"];
-  18 -> 21 [label="1"];
-  21 -> 23 [label="0"];
-  23 -> 24 [label="0"];
-  24 -> 26 [label="1"];
-  26 -> 28 [label="1"];
-  28 -> 29 [label="0"];
-  29 -> 30 [label="1"];
-  24 -> 25 [label="0"];
-  25 -> 27 [label="0"];
-  14 -> 17 [label="0"];
-  17 -> 19 [label="1"];
-  6 -> 9 [label="0"];
-  9 -> 13 [label="0"];
-  13 -> 16 [label="1"];
-  3 -> 5 [label="0"];
-  5 -> 8 [label="0"];
-  8 -> 12 [label="0"];
-}

data/test/stamina/induction/redblue_mergesamestatebug_sample.adl

@@ -1,9 +0,0 @@
-- 1 1 1 1 0
-+ 0
-- 0 0 1 1 0 1
-+ 0 0 1 1 0 1 0 1
-+ 0 0 1 1 0 1 1 0 0 1 1 0 1
-+ 0 0 1 1 0 1 1 0 0 0 0
-+ 0 0 1 1 0 0 1
-- 0 0 1 0 0 1
-- 0 0 0 0 0

data/test/stamina/induction/redblue_universal_expected.adl

@@ -1,4 +0,0 @@
-1 2
-0 true true
-0 0 a
-0 0 b

data/test/stamina/induction/redblue_universal_sample.adl

@@ -1,5 +0,0 @@
-+
-+ a b b 
-+ a
-+ a a a a a
-+ a a a

data/test/stamina/induction/rpni_inria_expected.adl

@@ -1,7 +0,0 @@
-2 4
-0 true true
-1 false false
-0 0 a
-0 1 b
-1 1 a
-1 0 b

data/test/stamina/induction/rpni_inria_sample.adl

@@ -1,9 +0,0 @@
-+
-+ a
-+ b b
-+ b b a
-+ b a a b
-+ b a a a b a
-- b
-- a b
-- a b a

data/test/stamina/induction/rpni_test.rb

@@ -1,129 +0,0 @@
-require File.join(File.dirname(__FILE__), "induction_test")
-module Stamina
-  module Induction
-    class RPNITest < Stamina::Induction::InductionTest
-      include Stamina::Induction::Commons
-      
-      # Factors a ready to be used RPNI instance with an initial UnionFind.
-      def rpni(ufds)
-        rpni = RPNI.new(:verbose => false)
-        rpni.instance_eval do
-          @ufds = ufds
-        end
-        rpni
-      end
-      
-      # Returns index-th state of the PTA
-      def s(index)
-        @pta.ith_state(index)
-      end
-      
-      def test_compatible_merge_and_determinize_without_determinize
-        rpni = rpni(factor_ufds)
-        assert_equal true, rpni.merge_and_determinize(0, 4)
-        assert_equal [0, 1, 2, 3, 0, 5, 6, 7, 8, 9], rpni.ufds.to_a
-      end
-      
-      def test_compatible_merge_and_determinize_with_one_determinize
-        rpni = rpni(factor_ufds)
-        assert_equal true, rpni.merge_and_determinize(2, 7)
-        assert_equal [0, 1, 2, 3, 4, 5, 6, 2, 5, 6], rpni.ufds.to_a
-      end
-      
-      def test_incompatible_merge_and_determinize_without_determinize
-        rpni = rpni(factor_ufds)
-        assert_equal false, rpni.merge_and_determinize(0, 1)
-        assert_equal [0, 0, 2, 3, 4, 5, 6, 7, 8, 9], rpni.ufds.to_a
-      end
-      
-      def test_incompatible_merge_and_determinize_with_two_determinize
-        rpni = rpni(factor_ufds)
-        assert_equal false, rpni.merge_and_determinize(5, 0)
-        assert_equal [0, 1, 2, 3, 4, 0, 6, 2, 0, 9], rpni.ufds.to_a
-      end
-      
-      def execution_step(rpni, i, j, success, expected=nil)
-        before = rpni.ufds.to_a
-        assert_equal success, rpni.successfull_merge_or_nothing(i, j)
-        if success
-          assert_equal(expected, rpni.ufds.to_a) if expected  
-        else
-          assert_equal before, rpni.ufds.to_a
-        end
-      end
-      
-      def test_step_by_step_whole_execution
-        rpni = rpni(factor_ufds)
-        execution_step(rpni,1,0,false)
-        execution_step(rpni,2,0,true,[0, 1, 0, 3, 4, 1, 0, 4, 8, 9])
-        execution_step(rpni,3,0,false)
-        execution_step(rpni,3,1,true,[0, 1, 0, 1, 4, 1, 0, 4, 8, 9])
-        execution_step(rpni,4,0,true,[0, 1, 0, 1, 0, 1, 0, 0, 1, 0])
-        
-        ufds = factor_ufds
-        rpni = rpni(ufds)
-        assert_equal [0, 1, 0, 1, 0, 1, 0, 0, 1, 0], rpni.main(ufds).to_a
-      end
-      
-      def test_main_whole_execution
-        ufds = factor_ufds
-        rpni = rpni(ufds)
-        assert_equal [0, 1, 0, 1, 0, 1, 0, 0, 1, 0], rpni.main(ufds).to_a
-      end
-      
-      def test_execute_whole_execution
-        expected = Stamina::ADL.parse_automaton <<-EOF
-          2 4
-          0 true true
-          1 false false
-          0 0 b
-          0 1 a
-          1 0 b
-          1 1 a
-        EOF
-        dfa = RPNI.execute(@sample)
-        assert_equal true, @sample.correctly_classified_by?(dfa)
-        assert_equal @sample.signature, dfa.signature(@sample)
-        assert_nil equivalent?(expected, dfa)
-      end
-      
-      def test_on_dedicated_examples
-        here = File.dirname(__FILE__)
-        Dir["#{here}/rpni_*_sample.adl"].each do |sample_file|
-          name = (/^rpni_(.*?)_sample.adl$/.match(File.basename(sample_file)))[1]
-          sample = Stamina::ADL.parse_sample_file(sample_file)
-          expected = Stamina::ADL.parse_automaton_file(File.join(here, "rpni_#{name}_expected.adl"))
-          assert sample.correctly_classified_by?(expected)
-          dfa = RPNI.execute(sample)
-          assert sample.correctly_classified_by?(dfa)
-          assert_equal sample.signature, dfa.signature(sample)
-          assert_nil equivalent?(expected, dfa)
-        end
-      end
-      
-      # Tests on characteristic sample
-      def test_on_public_characteristic_example
-        example_folder = File.join(File.dirname(__FILE__), '..', '..', '..', 'example', 'basic')
-        sample = Stamina::ADL.parse_sample_file(File.join(example_folder, 'characteristic_sample.adl'))
-        rpnied = Stamina::Induction::RPNI.execute(sample)
-        assert_equal 4, rpnied.state_count
-        s0, = rpnied.initial_state
-        s1 = rpnied.dfa_step(s0, 'b')
-        s2 = rpnied.dfa_step(s0, 'a')
-        s3 = rpnied.dfa_step(s2, 'b')
-        assert_equal true, s0.accepting?
-        assert_equal true, s3.accepting?
-        assert_equal false, s1.accepting?
-        assert_equal false, s2.accepting?
-        assert_equal s1, s1.dfa_step('a')
-        assert_equal s1, s1.dfa_step('b')
-        assert_equal s2, s2.dfa_step('a')
-        assert_equal s3, s2.dfa_step('b')
-        assert_equal s3, s3.dfa_step('b')
-        assert_equal s0, s3.dfa_step('a')
-        assert_equal sample.signature, rpnied.signature(sample)
-      end
-      
-    end
-  end
-end

data/test/stamina/induction/rpni_test_pta.dot

@@ -1,22 +0,0 @@
-digraph G {
-  graph [rankdir="LR"];
-  0 [color="green" shape="doublecircle" style="filled"];
-  1 [color="red" shape="circle" style="filled"];
-  2 [color="black" shape="circle" style="filled" fillcolor="white"];
-  3 [color="red" shape="circle" style="filled"];
-  4 [color="black" shape="doublecircle" style="filled"  fillcolor="white"];
-  5 [color="black" shape="circle" style="filled"  fillcolor="white"];
-  6 [color="black" shape="doublecircle" style="filled" fillcolor="white"];
-  7 [color="black" shape="circle" style="filled" fillcolor="white"];
-  8 [color="red" shape="circle" style="filled"];
-  9 [color="black" shape="doublecircle" style="filled" fillcolor="white"];
-  0 -> 1 [label="a"];
-  1 -> 3 [label="a"];
-  1 -> 4 [label="b"];
-  0 -> 2 [label="b"];
-  2 -> 5 [label="a"];
-  5 -> 7 [label="b"];
-  7 -> 8 [label="a"];
-  7 -> 9 [label="b"];
-  2 -> 6 [label="b"];
-}

data/test/stamina/induction/rpni_universal_expected.adl

@@ -1,4 +0,0 @@
-1 2
-0 true true
-0 0 a
-0 0 b