Hello
I'm Cyrille Delaunay, I work for the RMOD Inria team.
I'm currently working on tests for the Pharo Collection Library using traits.
I've modified, added some traits and therefore redifined things in
test classes to attempt to get a best coverage.
(For the moment : Arraytest , BagTest , DictionaryTest , IntervalTest
, OrderedCollectionTest , SetTest , SortedCollectionTest StringTest ,
SymbolTest , LinkedListTest ).
All modification have been saved in 'PharoTaskForces'.
With a static coverage tool (also saved in PharoTaskPhorces ) removing noise
for each class (methods defined too high in hierarchy that are not
appropriated ,
private methods , very specific methods that may should not be tested
for collection ), I got those coverage :
Arraytest : tested at 94.5 %
BagTest : 88.4 %
DictionaryTest: 85 %
IntervalTest : 93 %
OrderedCollectionTest : 93.9%
SetTest : 85.9%
SortedCollectionTest : 92.3 %
StringTest : 91%
LinkedListTest : 90.5 %
Here are the more important modifications i've made about traits :
-> new trait TConvertTest :
testing converting methods (such that 'asArray,' asBag', .. )
-> new trait 'TSortTrait' :
testing sorting methods for 'ArrayedCollection'.
-sort
-sort:
-isSorted
-isSortedBy:
-> new trait: 'TCopySequenceable' :
testing copying methods using an order, an index access
(copyAfter: for example)
-> new trait 'TOccurrencesTest' :
testing method :
-> OccurencesOf:
-> new trait: TIterateSequencedReadableTest'
testing iterating methods using a specific order
( usable therefore only by sequenceable collection )
-> new trait: 'TConcatenaionTest'
Bad initial version (specific to sequenceable collection)
Split into two trait:
-> TSequencedConcatenationTest (initial version)
-> TConcatenationTest (to do)
- > new trait: 'TReplacementSequencedTest'
testing replacemnt methods :
- replaceAll:with:
- replaceFrom:to:with:
- replaceFrom:to:with:startingAt:
for Sequenced Collection
-> Modification of all the methods in 'TIndexAccessingTest'
making them independent of elements in collection's Type.( so that it
can be used with all type of sequenceable collection like 'String').
->
-> modification of all the tests in 'TAsStringAndDelimiterTest'
making its independent of the elements' type in collection.
'TAsStringAndDelimiterTest' added to 'ArrayTest'.
-> redefinition of 'TAsStringCommaAndDelimiterTest' which were
specific to sequenceable collection (and didn't work for 'BagTest').
The initial version has been kept in a new trait:
'TAsStringCommaAndDelimiterSequenceableTest'.
-> with new trait: 'TBeginsEndsWith' testing methods:
- beginsWith:
- endsWith:
-> Remodularisation of the initial trait 'TIndexAccessing' (which
became to big)
Split into three traits:
- methods like 'indexOf' added to the New trait 'IndexAccess' .
- methods concerning 'SubCollectionAccess' added to a new trait:
'TSubCollectionAccess'.
- methods concerning elements access added to a new trait :
'TSequencedElementAccessTest'
-> new trait: 'TPrintTest'
testing 'stream printing' methods
Modification of TPrintTest wich was specific to sequenceable
collections. Initial version has been kept in a new trait :
TPrintSequencedTest
-> Modification of TConvertTest wich tested some methods
(asSet, asIdentitySet) for duplicate contents what can't work for
Interval or Collection without equel elements.
Creation of a new trait : 'TConvertAsSetForMultiplinessTest'.
-> Remodularisation of TCopySequenceableTest wich were too big.
Creation of a new trait :
-> TCopySequenceableSameContents
testing copying methods that only change the order of elements
and don't remove or add any elements to the copy.
-> TCopyPartOfSequenceable
testing copying methods that only copy a part of a collection
(copyAfter: copyUpTo: )
-> TCopySequenceableWithOrWithoutSpecificElements
testing copying methods ( from the initial trait
TCopySequenceable ) that copy the collection with more or less
specified elements .
-> 'TCopySequenceableWithReplacement'
testing copying methods ( from the initial version of
TSequenceableTest ) that copy and replace subcollections in the
receiver.
-> Refinition of all tests in TIndexAccess so that they required a
simple collection without equal element and test the 'Standard'
comportement that come with. Therefore, it can be used by collections
that don't allowed duplicate elements.
The aspect of 'multiple occurrences' was puted into a new trait:
TIndexAccessForMultipliness
( this aspect is important for 'lastIndexOf:' or 'identityIndexOf:'
for exemple )
-> modification of all methods in TAddTest.
those methods used always directly 'self collection' to test if an
element had been added .
For example : self assert: self collection size = oldsize + 1
That didn't work if required methods returned a new object at each time
and not an instance variable of the classTest.
TAddTest use now its own copies of required collection to be
independant of the way the method is given by the ClassTest.
-> new trait:
- TRmoveByIndexTest
testing methods for removing by index access
(used at least by OrderedCollection and SortedCollection)
-> new trait:
- TCopyPartOfSequenceableForMultipliness
testing the specific comportement with duplicate for methods in
TCopyPartOfSequenceable.
TCopyPartOfSequenceable can now be used by collection that don't
allowed duplicate elements.
-> new traits :
- TCopySequenceableWithReplacementForSorted
testing specific comportement of methods like 'copyReplaceAll:with:'
for sorted collection.
-> redefinition of trait : 'TIterateTest' (in a new trait 'TIterateNew').
This trait required a specific collection of integer and many tests
depended on the fact that elements were SmallInteger.
As this trait test iterating methods for all collections ( it is used
by 'CollectionRootTest' ), it should work for every kind of
collection and therfore every kind of elements in ( it should, for
example, work for 'LinkedList' that use 'Link' elements )
The new trait work now for 'LinkedListTest'.
-> Modification of all tests in 'TIterateSequencedReadableTest'
( in the same way and for the same reasons than 'TItereateTest' )
-> Modification of test:
testAsCommaStringMore
in trait 'TAsStringCommaAndDelimiterSequenceableTest'
so that it works also with elements for wich 'asString' return a
String including ' '.
(for example: Link new asSTring returns: 'a Link')
-> TConvertTest split into two Traits.
All methods converting into a sorted collection are now tested in a
new trait: TConvertAsSortedTest so that collections that can't
include 'sortable' elements (LinkedList for example ) can use
TConvertTest.
TConvertAsSorted is specific to collection that can include sortable
elements.
-> Modification of TConvertTest wich tested some methods
(asSet, asIdentitySet) for duplicate contents what can't work for
Interval or Collection without equel elements.
Creation of a new trait : 'TConvertAsSetForMultiplinessTest'.
-> Remodularisation of TCopySequenceableTest wich were too big.
Creation of a new trait :
-> TCopySequenceableSameContents
testing copying methods that only change the order of elements
and don't remove or add any elements to the copy.
-> TCopyPartOfSequenceable
testing copying methods that only copy a part of a collection
(copyAfter: copyUpTo: )
-> TCopySequenceableWithOrWithoutSpecificElements
testing copying methods ( from the initial trait
TCopySequenceable ) that copy the collection with more or less
specified elements .
-> 'TCopySequenceableWithReplacement'
testing copying methods ( from the initial version of
TSequenceableTest ) that copy and replace subcollections in the
receiver.
-> Refinition of all tests in TIndexAccess so that they required a
simple collection without equal element and test the 'Standard'
comportement that come with. Therefore, it can be used by collections
that don't allowed duplicate elements.
The aspect of 'multiple occurrences' was puted into a new trait:
TIndexAccessForMultipliness
( this aspect is important for 'lastIndexOf:' or 'identityIndexOf:'
for exemple )
-> modification of all methods in TAddTest.
those methods used always directly 'self collection' to test if an
element had been added .
For example : self assert: self collection size = oldsize + 1
That didn't work if required methods returned a new object at each time
and not an instance variable of the classTest.
TAddTest use now its own copies of required collection to be
independant of the way the method is given by the ClassTest.
-> new trait:
- TRmoveByIndexTest
testing methods for removing by index access
(used at least by OrderedCollection and SortedCollection)
-> new trait:
- TCopyPartOfSequenceableForMultipliness
testing the specific comportement with duplicate for methods in
TCopyPartOfSequenceable.
TCopyPartOfSequenceable can now be used by collection that don't
allowed duplicate elements.
-> new traits :
- TCopySequenceableWithReplacementForSorted
testing specific comportement of methods like 'copyReplaceAll:with:'
for sorted collection.
-> redefinition of trait : 'TIterateTest' (in a new trait 'TIterateNew').
This trait required a specific collection of integer and many tests
depended on the fact that elements were SmallInteger.
As this trait test iterating methods for all collections ( it is used
by 'CollectionRootTest' ), it should work for every kind of
collection and therfore every kind of elements in ( it should, for
example, work for 'LinkedList' that use 'Link' elements )
The new trait work now for 'LinkedListTest'.
-> Modification of all tests in 'TIterateSequencedReadableTest'
( in the same way and for the same reasons than 'TItereateTest' )
-> Modification of test:
testAsCommaStringMore
in trait 'TAsStringCommaAndDelimiterSequenceableTest'
so that it works also with elements for wich 'asString' return a
String including ' '.
(for example: Link new asSTring returns: 'a Link')
-> TConvertTest split into two Traits.
All methods converting into a sorted collection are now tested in a
new trait: TConvertAsSortedTest so that collections that can't
include 'sortable' elements (LinkedList for example ) can use
TConvertTest.
TConvertAsSorted is specific to collection that can include sortable
elements.
