Skip to content
GitLab
Commit 83dfabf8 authored by LBTom's avatar LBTom
Browse files

Fixes #742, #847, #807. This commit resolve ExcessivePublicCount,... 

Fixes #742, #847, #807. This commit resolve ExcessivePublicCount, NullAssignment, DetachedTestCase and naomod/mde/projet-2019#742 and naomod/mde/projet-2019#847 and naomod/mde/projet-2019#807
parent bd429a49
Expand all Hide whitespace changes
Inline Side-by-side
input/detached-test-case.xmi 0 → 100644
View file @ 83dfabf8
This diff is collapsed.
input/excessive-public-count.xmi 0 → 100644
View file @ 83dfabf8
This diff is collapsed.
input/null-assignment.xmi 0 → 100644
View file @ 83dfabf8
<?xml version="1.0" encoding="ASCII"?>
<java:Model xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:java="http://www.eclipse.org/MoDisco/Java/0.2.incubation/java" name="NullAssignmentTest">
<ownedElements name="fr">
<ownedPackages name="univnates">
<ownedElements xsi:type="java:ClassDeclaration" originalCompilationUnit="//@compilationUnits.0" name="NullAssignmentTest">
<modifier visibility="public"/>
<bodyDeclarations xsi:type="java:FieldDeclaration" originalCompilationUnit="//@compilationUnits.0">
<modifier visibility="private"/>
<type type="//@orphanTypes.0"/>
<fragments originalCompilationUnit="//@compilationUnits.0" name="var" usageInVariableAccess="//@ownedElements.0/@ownedPackages.0/@ownedElements.0/@bodyDeclarations.1/@body/@statements.1/@expression/@leftHandSide/@field"/>
</bodyDeclarations>
<bodyDeclarations xsi:type="java:ConstructorDeclaration" originalCompilationUnit="//@compilationUnits.0" name="NullAssignmentTest">
<modifier visibility="public"/>
<body originalCompilationUnit="//@compilationUnits.0">
<statements xsi:type="java:SuperConstructorInvocation" originalCompilationUnit="//@compilationUnits.0" method="//@ownedElements.1/@ownedPackages.0/@ownedElements.0/@bodyDeclarations.0"/>
<statements xsi:type="java:ExpressionStatement" originalCompilationUnit="//@compilationUnits.0">
<expression xsi:type="java:Assignment" originalCompilationUnit="//@compilationUnits.0">
<leftHandSide xsi:type="java:FieldAccess" originalCompilationUnit="//@compilationUnits.0">
<field variable="//@ownedElements.0/@ownedPackages.0/@ownedElements.0/@bodyDeclarations.0/@fragments.0"/>
<expression xsi:type="java:ThisExpression" originalCompilationUnit="//@compilationUnits.0"/>
</leftHandSide>
<rightHandSide xsi:type="java:SingleVariableAccess" variable="//@ownedElements.0/@ownedPackages.0/@ownedElements.0/@bodyDeclarations.1/@parameters.0"/>
</expression>
</statements>
</body>
<parameters originalCompilationUnit="//@compilationUnits.0" name="var" usageInVariableAccess="//@ownedElements.0/@ownedPackages.0/@ownedElements.0/@bodyDeclarations.1/@body/@statements.1/@expression/@rightHandSide">
<modifier/>
<type type="//@orphanTypes.0"/>
</parameters>
</bodyDeclarations>
<bodyDeclarations xsi:type="java:MethodDeclaration" originalCompilationUnit="//@compilationUnits.0" name="method">
<modifier visibility="public"/>
<body originalCompilationUnit="//@compilationUnits.0">
<statements xsi:type="java:VariableDeclarationStatement" originalCompilationUnit="//@compilationUnits.0">
<comments xsi:type="java:LineComment" originalCompilationUnit="//@compilationUnits.0" content="// this is OK"/>
<type type="//@ownedElements.1/@ownedPackages.0/@ownedElements.0"/>
<fragments originalCompilationUnit="//@compilationUnits.0" name="x" usageInVariableAccess="//@ownedElements.0/@ownedPackages.0/@ownedElements.0/@bodyDeclarations.2/@body/@statements.1/@expression/@leftHandSide //@ownedElements.0/@ownedPackages.0/@ownedElements.0/@bodyDeclarations.2/@body/@statements.2/@expression/@leftHandSide">
<initializer xsi:type="java:NullLiteral" originalCompilationUnit="//@compilationUnits.0"/>
</fragments>
<modifier/>
</statements>
<statements xsi:type="java:ExpressionStatement" originalCompilationUnit="//@compilationUnits.0">
<expression xsi:type="java:Assignment" originalCompilationUnit="//@compilationUnits.0">
<leftHandSide xsi:type="java:SingleVariableAccess" variable="//@ownedElements.0/@ownedPackages.0/@ownedElements.0/@bodyDeclarations.2/@body/@statements.0/@fragments.0"/>
<rightHandSide xsi:type="java:ClassInstanceCreation" originalCompilationUnit="//@compilationUnits.0" method="//@ownedElements.1/@ownedPackages.0/@ownedElements.0/@bodyDeclarations.0">
<type type="//@ownedElements.1/@ownedPackages.0/@ownedElements.0"/>
</rightHandSide>
</expression>
</statements>
<statements xsi:type="java:ExpressionStatement" originalCompilationUnit="//@compilationUnits.0">
<comments xsi:type="java:LineComment" originalCompilationUnit="//@compilationUnits.0" content="// big, complex piece of code here" prefixOfParent="true"/>
<comments xsi:type="java:LineComment" originalCompilationUnit="//@compilationUnits.0" content="// this is not required"/>
<comments xsi:type="java:LineComment" originalCompilationUnit="//@compilationUnits.0" content="// big, complex piece of code here"/>
<expression xsi:type="java:Assignment" originalCompilationUnit="//@compilationUnits.0">
<leftHandSide xsi:type="java:SingleVariableAccess" variable="//@ownedElements.0/@ownedPackages.0/@ownedElements.0/@bodyDeclarations.2/@body/@statements.0/@fragments.0"/>
<rightHandSide xsi:type="java:NullLiteral" originalCompilationUnit="//@compilationUnits.0"/>
</expression>
</statements>
</body>
<returnType type="//@orphanTypes.5"/>
</bodyDeclarations>
</ownedElements>
</ownedPackages>
</ownedElements>
<ownedElements name="java" proxy="true">
<ownedPackages name="lang" proxy="true">
<ownedElements xsi:type="java:ClassDeclaration" name="Object" proxy="true" usagesInTypeAccess="//@ownedElements.0/@ownedPackages.0/@ownedElements.0/@bodyDeclarations.2/@body/@statements.0/@type //@ownedElements.0/@ownedPackages.0/@ownedElements.0/@bodyDeclarations.2/@body/@statements.1/@expression/@rightHandSide/@type">
<bodyDeclarations xsi:type="java:ConstructorDeclaration" name="Object" proxy="true" usages="//@ownedElements.0/@ownedPackages.0/@ownedElements.0/@bodyDeclarations.1/@body/@statements.0 //@ownedElements.0/@ownedPackages.0/@ownedElements.0/@bodyDeclarations.2/@body/@statements.1/@expression/@rightHandSide"/>
</ownedElements>
</ownedPackages>
</ownedElements>
<orphanTypes xsi:type="java:PrimitiveTypeInt" name="int" usagesInTypeAccess="//@ownedElements.0/@ownedPackages.0/@ownedElements.0/@bodyDeclarations.0/@type //@ownedElements.0/@ownedPackages.0/@ownedElements.0/@bodyDeclarations.1/@parameters.0/@type"/>
<orphanTypes xsi:type="java:PrimitiveTypeLong" name="long"/>
<orphanTypes xsi:type="java:PrimitiveTypeFloat" name="float"/>
<orphanTypes xsi:type="java:PrimitiveTypeDouble" name="double"/>
<orphanTypes xsi:type="java:PrimitiveTypeBoolean" name="boolean"/>
<orphanTypes xsi:type="java:PrimitiveTypeVoid" name="void" usagesInTypeAccess="//@ownedElements.0/@ownedPackages.0/@ownedElements.0/@bodyDeclarations.2/@returnType"/>
<orphanTypes xsi:type="java:PrimitiveTypeChar" name="char"/>
<orphanTypes xsi:type="java:PrimitiveTypeShort" name="short"/>
<orphanTypes xsi:type="java:PrimitiveTypeByte" name="byte"/>
<compilationUnits name="NullAssignmentTest.java" originalFilePath="C:\Users\leber\eclipse-workspace\IDM-Projet\NullAssignmentTest\src\fr\univnates\NullAssignmentTest.java" commentList="//@ownedElements.0/@ownedPackages.0/@ownedElements.0/@bodyDeclarations.2/@body/@statements.0/@comments.0 //@ownedElements.0/@ownedPackages.0/@ownedElements.0/@bodyDeclarations.2/@body/@statements.2/@comments.0 //@ownedElements.0/@ownedPackages.0/@ownedElements.0/@bodyDeclarations.2/@body/@statements.2/@comments.1 //@ownedElements.0/@ownedPackages.0/@ownedElements.0/@bodyDeclarations.2/@body/@statements.2/@comments.2" package="//@ownedElements.0/@ownedPackages.0" types="//@ownedElements.0/@ownedPackages.0/@ownedElements.0"/>
</java:Model>
src/main/atl/analysis.atl
View file @ 83dfabf8
......@@ -65,6 +65,7 @@ helper def: allMeasures(project : java!Model): Set(smm!Measure) =
thisModule.ExcessiveClassLength(),
thisModule.excessiveImports(),
thisModule.excessiveParameterList(),
thisModule.excessivePublicCount(),
thisModule.finalFieldCouldBeStatic(),
thisModule.IfBraces(),
thisModule.longInstantiation(),
......@@ -103,6 +104,7 @@ helper def: allMeasures(project : java!Model): Set(smm!Measure) =
thisModule.avoidCatchingThrowable(),
thisModule.AvoidEnumAsIdentifier(),
thisModule.CloneMethodMustBePublic(),
thisModule.detachedTestCase(),
thisModule.doNotCallGarbageCollectionExplicitly(),
thisModule.doNotCallSystemExit(),
thisModule.doNotExtendJavaLangError(),
......@@ -117,6 +119,7 @@ helper def: allMeasures(project : java!Model): Set(smm!Measure) =
thisModule.finalizeShouldBeProtected(),
thisModule.importFromSamePackage(),
thisModule.missingBreakInSwitch(),
thisModule.nullAssignment(),
thisModule.suspiciousEqualsMethodName(),
thisModule.testClassWithoutTest(),
thisModule.UnconditionalIfStatement(),
......@@ -1877,4 +1880,70 @@ rule MeasureAvoidReassigningParameters(assignment: java!SingleVariableAccess) {
do {
noc;
}
}
--------------------------------------------- ExcessivePublicCount ---------------------------------------------
-- A Measure instance if the class violates the rule 'ExcessivePublicCount'.
rule MesureExcessivePublicCount(class : java!ClassDeclaration) {
to
om: smm!ObservedMeasure (
measure <- noc,
measurements <- measurement
),
noc: smm!DimensionalMeasure (
name <- 'ExcessivePublicCount',
shortDescription <- 'Classes with large numbers of public methods and attributes require disproportionate testing efforts since combinational side effects grow rapidly and increase risk. Refactoring these classes into smaller ones not only increases testability and reliability but also allows new variations to be developed easily.'
),
measurement: smm!DirectMeasurement (
error <- class.originalCompilationUnit.name + ' has excessive public count'
)
do {
noc;
}
}
--------------------------------------------- NullAssignment ---------------------------------------------
-- A Measure instance if the class violates the rule 'NullAssignment'.
rule MesureNullAssignment(assign : java!NullLiteral) {
to
om: smm!ObservedMeasure (
measure <- noc,
measurements <- measurement
),
noc: smm!DimensionalMeasure (
name <- 'NullAssignment',
shortDescription <- 'Assigning a "null" to a variable (outside of its declaration) is usually bad form. Sometimes, this type of assignment is an indication that the programmer doesn?t completely understand what is going on in the code.'
),
measurement: smm!DirectMeasurement (
error <- assign.originalCompilationUnit.name + ' has null assignment'
)
do {
noc;
}
}
--------------------------------------------- DetachedTestCase ---------------------------------------------
-- A Measure instance if the class violates the rule 'DetachedTestCase'.
rule MesureDetachedTestCase(comp : java!CompilationUnit) {
to
om: smm!ObservedMeasure (
measure <- noc,
measurements <- measurement
),
noc: smm!DimensionalMeasure (
name <- 'DetachedTestCase',
shortDescription <- 'The method appears to be a test case since it has public or default visibility, non-static access, no arguments, no return value, has no annotations, but is a member of a class that has one or more JUnit test cases. If it is a utility method, it should likely have private visibility. If it is an ignored test, it should be annotated with @Test and @Ignore.'
),
measurement: smm!DirectMeasurement (
error <- comp.name + ' has detached test case'
)
do {
noc;
}
}
\ No newline at end of file
src/main/atl/design.atl
View file @ 83dfabf8
......@@ -156,3 +156,17 @@ helper def: excessiveImports() : Set(smm!Measure) =
-> select (i | i.imports <> OclUndefined)
-> select (i | i.imports.size() > 4)
-> collect(i | thisModule.MeasureExcessiveImports(i));
--------------------------------------------- ExcessivePublicCount ---------------------------------------------
-- Helper for issue ExcessivePublicCount : return a Measure for each method that has excessive public count.
helper def: excessivePublicCount() : Set(smm!Measure) =
java!ClassDeclaration.allInstances()
-> reject(each | each.isProxy())
-> select(each | each.listPublicFieldandMethod()->size()>45)
-> collect(each | thisModule.MesureExcessivePublicCount(each));
-- List public field and method in ClassDeclaration
helper context java!ClassDeclaration def: listPublicFieldandMethod() : java!ClassDeclaration =
self.bodyDeclarations
-> select(bodyDeclaration | bodyDeclaration.oclIsTypeOf(java!FieldDeclaration) or bodyDeclaration.oclIsTypeOf(java!MethodDeclaration))
-> select(bodyDeclaration | bodyDeclaration.modifier.visibility.toString() = 'public');
src/main/atl/errorProne.atl
View file @ 83dfabf8
......@@ -386,3 +386,50 @@ helper context java!MethodInvocation def: isSystemExit(): Boolean =
-- Returns true if the called method is the method "exit" of the Runtime class, false otherwise
helper context java!MethodInvocation def: isRuntimeExit(): Boolean =
self.method.name = 'exit' and self.method.getMethodClassName() = 'Runtime';
--------------------------------------------- NullAssignment ---------------------------------------------
-- Helper for issue NullAssignment : return a Measure for each null assignment.
helper def: nullAssignment() : Set(smm!Measure) =
-- Browse through all null assignement
java!NullLiteral.allInstances()
->select(it | it.eContainer().oclIsTypeOf(java!Assignment))
-> select(it | it.eContainer().eContainer().oclIsTypeOf(java!ExpressionStatement))
-> select(it | it.eContainer().operator.toString() = '=')
-> collect(it |thisModule.MesureNullAssignment(it))
;
--------------------------------------------- DetachedTestCase ---------------------------------------------
-- Helper for issue DetachedTestCase : return a Measure for each detached test case.
helper def: detachedTestCase() : Set(smm!Measure) =
java!CompilationUnit.allInstances()
-> select(each | each.imports.size() > 0)
-> select(each | each.hasJunitAnnotation().size()>0)
-> select(it | it.types <> OclUndefined)
->iterate(c; res : Set(smm!Measure) = Set{} |
c.types
->select(it1 | it1.oclIsTypeOf(java!ClassDeclaration))
->iterate(c1; res1 : Set(smm!Measure) = Set{} |
c1.bodyDeclarations
-- select method has public or default visibility, non-static access, no arguments, no return value, has no annotations
-> select(bodyDeclaration | bodyDeclaration.oclIsTypeOf(java!MethodDeclaration))
-> select(bodyDeclaration | bodyDeclaration.modifier.visibility.toString() = 'public' or bodyDeclaration.modifier.visibility.toString() = 'none')
-> select(bodyDeclaration | bodyDeclaration.modifier.static.toString() = 'false')
-> select(bodyDeclaration | bodyDeclaration.returnType.oclIsTypeOf(java!TypeAccess))
-> select(bodyDeclaration | bodyDeclaration.returnType.type.oclIsTypeOf(java!PrimitiveTypeVoid))
-> select(bodyDeclaration | bodyDeclaration.parameters.isEmpty())
-> select(bodyDeclaration | bodyDeclaration.annotations.isEmpty())
-> collect(bodyDeclaration | thisModule.MesureDetachedTestCase(c))
)
)
;
--Indicates whether a CompilationUnit has a Junit Annotation.
helper context java!CompilationUnit def: hasJunitAnnotation() : Boolean =
self.imports
-> select(it | it.oclIsTypeOf(java!ImportDeclaration))
-> select(it | it.importedElement.oclIsTypeOf(java!AnnotationTypeDeclaration))
-> select(it | it.importedElement.package.package.package.name = 'junit')
;
\ No newline at end of file
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment