Elevator pitch for testing software architecture and software design

Why and how should we test
software architecture and
software design?
Zarko Acimovic

Software Defects Potentials
As an example for function point measure Win 7 has ~100K Function Points, Microsoft Word has
~5K Function Points. The technology assumptions underlying below table assume CMMI level 1
and a traditional waterfall development method.
Source: Chapter 2. Estimating and Measuring Software Quality. The Economics of Software
Quality, ISBN: 9780132564762 , Pages 40, 41, Capers Jones, Olivier Bonsignour

http://www.amazon.com/Economics-Software-Quality-Capers-Jones/dp/0132582201

http://www.informit.com/store/product.aspx?isbn=0132582201

Defects per Function Point Percent of Total Defects
Requirement Defects 1.15 9.58%
Architectural Defects 0.25 2.08%
Design Defects 1.50 12.50%
Coding Defects 2.00 16.67%
Test Plan and Test Case Defects 1.85 15.42%
User Documentation Defects 0.75 6.25%
Database Defects 2.75 22.92%
Website Defects 1.75 14.58%
TOTAL 12.00 100.00%

ms
Te
te

ch
Sys

n ic

DoD Architecture
al

Operational

Framework
Overview
Alessio Mosto
May, 2004
Source:
http://www.disi.unige.it/person/ReggioG/ISII04WWW/DODAF.ppt

Architecture Definition
 “The structure of components, their
relationships, and the principles and guidelines
governing their design and evolution over time.”
DoD Integrated Architecture Panel, 1995, based on IEEE STD 610.12

 “An architecture is the fundamental organization
of a system embodied in its components, their
relationships to each other, and to the
environment, and the principles guiding its
design and evolution.”
IEEE STD 1471-2000

Alessio Mosto DoD Architectural Framework 2

Architecture vs. Design
 System Architecture is used to:
 Make buy decisions
 Discriminate between options
 “Discover” the true requirements
 Drive one or more systems to a
common “use” or purpose

 System Design is used to:
 Develop system components
 Build the system
 Understand configuration changes
as the system is modified

Basic Principles - An Integrated
Architecture with Three Views
Activities/ Operational
Tasks Operational Elements
View
Identifies What Needs To Be
Done And Who Does It

Information Flow

Systems Data Flow Standards Rules

Systems Technical
X View X
Z
Y
Standards View
Y
Relates Systems and Characteristics
Y Prescribes Standards and
to Operational Needs
X
Conventions

Communications Conventions


Architecture Views


Software Architecture Defects
Source: A Dissertation Presented to the Graduate School of Clemson University
In Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy
Computer Science by Kyungsoo Im December 2010

Links http://etd.lib.clemson.edu/documents/1306855520/
http://etd.lib.clemson.edu/documents/1306855520/Im_clemson_0050D_10926.pdf

ArchStudio and ArchLight !
http://www.isr.uci.edu/projects/archstudio/whatis.html

Elevator pitch for testing software architecture and software design

Software Design Defects
Sources

http://www.cslhr.nu.edu.pk/GCCS/Spring2010/papers/Kamran.pdf

http://www.scribd.com/doc/17402321/Software-Design-Defects-2

http://www.ptidej.net/Members/mohanaou/paper/ASE06/Moha06-ASE.pdf

http://www-etud.iro.umontreal.ca/~ptidej/yann-gael/Work/Publications/Documents/ASE06.ppt.pdf

6/24/2009

Software Design Defects
Software Design Defects Design Patterns are “good” solutions to
recurring design problems
◦ Where you want to be in terms of good design
Design Defects are “bad” solutions to
recurring problems
◦ Where you should not find yourself in software
development
Design Defects lessen the quality of OO
architectures and impede their evolution and
their maintenance

Patterns and Software Defects AntiPatterns
To Err Is Human AntiPatterns provide patterns that have
negative consequences on software
2 categories: development effort
◦ High-level (global) problems: AntiPatterns ◦ Reality of a good number of software projects
◦ Low-level (local) problems: Code Smells Help identifying problems in software
“ deviations from specifications or expectations ◦ Bad design results from common mistakes and
misunderstandings
which might lead to failures in operation ” Provide common vocabulary to discuss
They describe in general what not to do problems and their solutions in software
Arise due to lack of knowledge and experience industry
Understanding AntiPatterns provides the
A good form of problem-solving approach knowledge to prevent or recover from them

Well-
Well-known AntiPatterns
AntiPatterns
Root causes
AntiPatterns are all around us. They’re often ◦ Haste
used as tools for social control. Good design is a product of careful study
Trimming budgets, unrealistic committeements
SOCIAL AntiPatterns Leads to compromises in software quality
◦ Apathy
◦ Criminal Not caring about solving known problems
◦ Narrow-mindedness
◦ Drug Addict Refusal to accept widely known solutions
◦ Laziness (Sloth)
◦ Witch Configuration management
◦ Ignorance
◦ PickPocket Failing to seek understanding
◦ Pride
Not-invented-here syndrome: avoids using or buying already existing
products

1

6/24/2009

AntiPatterns The Blob
Blob (Huge Class)
Describe context and causes
“ Procedural-style design
Describe symptoms to detect an leads to one object with a
lion’s share of the
AntiPattern in legacy software responsibilities while most
other objects only hold
Describe their consequences data or execute simple
Describe a roadmap for their solution processes ”
Large controller class
Many fields and methods
with a low cohesion
In this course, we shall only cover Dependent on the data
AntiPatterns related to software code stored in associated data
classes

The Blob
The Blob Causes and Consequences
Library_Main_Control Item
Person
Current_Catalog Title
Typical Causes
Name Current_Item ISBN
User_ID User_ID Author ◦ Lack of proper Object-Oriented architecture
Items_Out Fine_Amount Publisher
Fines Etc.
Cost
Data_In
◦ Prototype software evolves into a product
…
Do_Inventory()
Check_Out_Item(Item)
Qty
…
◦ Lack of architectural enforcement
Check_In_Item(Item)
Add_Item(Item) Consequences
Delete_Item(Item) Catalog
Print_Catalog()
Topic
◦ Modular continuity is compromised
Sort_Catalog()
Search_Catalog(Params)
Inventory
…
◦ Too complex for reuse and testing
Print()
Issue_Library_Card() ◦ Expensive to load into memory even for small
Calculate_Late_Fine()
operations

The Blob
The Blob - Solution
Solution
Library_Main_Control Item
Avoid it Person
Current_Catalog Title
Name Current_Item ISBN
◦ Managers should review program design User_ID User_ID Author
Items_Out Publisher
regularly Fines
Fine_Amount
Etc.
Cost
… Data_In
Refactor it Do_Inventory()
Check_Out_Item(Item)
Qty
…
Check_In_Item(Item)
◦ Move behavior away from the Blob Add_Item(Item)
Delete_Item(Item)
◦ Construct cohesive classes: cohesive set of Print_Catalog()
Catalog
Topic
attributes and methods are encapsulated Sort_Catalog()
Search_Catalog(Params)
Inventory
…
together Print()
Issue_Library_Card()
◦ Remove far-coupling Calculate_Late_Fine()

2

6/24/2009

Spaghetti Code
Spaghetti Code Causes and Consequences
“ Ad hoc software structure makes it difficult Typical Causes
to extend and optimize code.”
Code with very little software structure, ◦ Inexperience with Object-Oriented design
lack clarity technologies
Implementation invokes a process flow ◦ Ineffective code reviews
Lack of structure : no inheritance, no ◦ No initial software design
reuse, no polymorphism
Long methods process oriented with no Consequences
parameters and low cohesion ◦ Code reuse is difficult
Procedural names of classes and methods ◦ Follow-on maintenance efforts contribute to the
Negligible degree of interaction between problem
objects
Use of global variables for processing ◦ Software reaches point of diminishing returns: the
effort involved to maintain existing code exceeds the
cost of developing a new “ground up” solution

public boolean startElement(int, XMLAttrList) if (prefix == -1) {
...
throws Exception {
if (!fValidating && !fNamespacesEnabled) {
return false;
if (elementURI != -1) {
fStringPool.setURIForQName(...);
•No Objects
•Process Flow
Spaghetti Code
}
}
if (contentSpecType == -1 && fValidating) {
}
else {
•Conditionals
•Complexity
Solution
... ...
} if (elementURI == -1) { •Cannot be The best way is to prevent spaghetti code by first
if (... && elementIndex != -1) {
... }
... reused thinking and then developing. To avoid:
}
}
fStringPool.setURIForQName(.elementURI); ◦ Domain model even when it is well-understood
if (DEBUG_PRINT_ATTRIBUTES) {
... if (attrIndex != -1) { ◦ OO Analysis
} int index = attrList.getFirstAttr(attrIndex);
if (fNamespacesEnabled) {
while (index != -1) { ◦ OO Design
int attName = attrList.getAttrName(index);
fNamespacesScope.increaseDepth();
if (attrIndex != -1) {
if (!fStringPool.equalNames(...)) { ◦ Objects should be sufficiently refined
...
int index = attrList.getFirstAttr(attrIndex); if (attPrefix != fNamespacesPrefix) { When adding new features, remove code defects
while (index != -1) { if (attPrefix == -1) {
... ... Write accessor functions for member variables
if (fStringPool.equalNames(...)) { }
... else { Refactor code into methods
} if (uri == -1) {
else {...} … Remove obsolete code
} }
index = attrList.getNextAttr(index); fStringPool.setURIForQName(attName, uri); Rename classes, functions, data types to conform
if (fElementDepth >= 0) {
}
}
fElementDepth++; to industry standards
if (fElementDepth == fElementTypeStack.length) {
int prefix =
...
fStringPool.getPrefixForQName(elementType); } }}}
int elementURI; return contentSpecType == fCHILDRENSymbol; }

Functional Decomposition
Functional Decomposition Causes and Consequences
One main routine that calls several other Typical Causes
subroutines ◦ No use of OO concepts like inheritance or
Invoked subroutines are implemented as polymorphism
classes ◦ Lack of understanding of OO concepts
Classes with single action such as a ◦ Lack of architecture enforcement
function Consequences
Attributes are private and used only ◦ Difficult to reuse
inside the class ◦ Expensive to maintain
The resulting code resembles a structural ◦ no way to clearly document (or explain) how
the system works
language like C and is incredibly complex

3

6/24/2009

Functional Decomposition Functional Decomposition
Solution A customer loan scenario
Find the original Use Cases to ascertain Adding a new customer
features from user view point Updating a customers address
OO reengineering process Calculating a loan to a customer
Find matching OO design model Calculating the interest on a loan
Combine classes which assist each other Calculating a payment schedule for a
Combine classes which try to achieve the customer loan
same design objective Altering a payment schedule
Find similar subsystems (reuse of code)

Functional Decomposition OO Version

Cut-and-
Cut-and-Paste Programming Cut-and-
Cut-and-Paste Programming
Causes and Consequences
“Man, you guys work fast. Over 400,000 lines of Typical Causes
code in just three weeks is outstanding progress.”
◦ Reusable code is difficult to create and organizations prefer
Cut-and-Paste Programming is a short term benefits
very common degenerate form of ◦ Easier to modify existing code than writing from scratch
software reuse that causes
maintenance nightmares. ◦ Lack of abstraction in developers
Less experienced programmers ◦ Lack of knowledge of tools and technologies, hence working
examples are modified to create new components
learn by changing code of
experienced developers ◦ Lack of forward thinking
Presence of several similar Consequences
segments of code ◦ Software defects and bugs are replicated
Creates code duplication ◦ Difficult to locate all instances of a bug
Positive short-term consequences ◦ Code reviews and inspections are needlessly extended
such as boosting line count metrics ◦ Excessive software maintenance costs
◦ Duplication of testing, review, bug fixing efforts

4

6/24/2009

Cut-and-
Cut-and-Paste Programming
Swiss Army Knife
Solution
A Swiss Army knife is a
Three step approach brand of multi-function
◦ Identify Code duplication pocket knife or multi-tool.
Excessively complex class
◦ Refactoring duplicates into libraries or interface
components for black-box reuse Designer attempts to
◦ Configuration management : code inspection, provide for all possible
uses of the class.
reviews and validation efforts in future to Large number of interface
avoid Cut-and-Paste Programming signatures
No clear abstraction or
focus of the class interface

Swiss Army Knife Swiss Army Knife
Causes and Consequences Solution
Causes Describe a profile for the class
◦ No focused responsibility Profile documents the way to use a
◦ Class attempting to provide too much complex technology
functionality
Consequences Profile for an interface describe the
◦ More != Better signatures and parameter values
◦ Confusion
◦ Maintenance problems
◦ Each interface requires implementation of
items on that interface

Conclusions Code Smells
“If it stinks, change it”
AntiPatterns provide patterns that have negative
consequences on software development effort
Each AntiPattern includes a solution + solution pair
Hint that something has gone wrong
◦ AntiPattern Solution Generates mostly negative
consequences Opportunities for improving program
◦ Refactored Solution Generates mostly positive design
benefits

AntiPatterns are useful for refactoring, migration, Code smells indicate the need for the
upgrade, and reengineering application of a possible refactoring

5

6/24/2009

Code Smells - Examples Code Smells – More Examples
Duplicate Code Long Parameter List
◦ Duplication of bugs, tests, reviews
◦ Same (or nearly) code in multiple places
◦ Programs harder to understand
◦ Frequently the result of cut-and-paste coding ◦ Difficult to reuse and change
Long Method ◦ Parameter lists should be shorter in OO
◦ OO puts premium on short methods programs than in traditional programs
◦ Long procedures always harder to understand
Divergent Change
Large Class
◦ Class has poor cohesion ◦ One class commonly changed in different
◦ Too many instance variables or methods means a class is ways for different reasons
doing too much ◦ Some methods changed in one case
◦ Class interface does not provide consistent level of
abstraction ◦ Other methods changed in another

Code Smells – More Examples
Feature Envy
◦ Method seems more interested in a class other
than the one it is in
◦ Most common focus is data (lots of getter calls)
Data Clumps
◦ Same data items in multiple classes
◦ Parameter lists of several methods
◦ If after deleting one from clump the rest wouldn’t
make sense, a clear candidate for refactoring

6

ArgoUML Design Critics
Chapter 15. The Critics
Table of Contents
15.1. Introduction
15.1.1. Terminology
15.1.2. Design Issues
15.2. Uncategorized
15.3. Class Selection
15.3.1. Wrap DataType
15.3.2. Reduce Classes in namespace <namespace>
15.3.3. Clean Up Diagram
15.4. Naming
15.4.1. Resolve Association Name Conflict
15.4.2. Revise Attribute Names to Avoid Conflict
15.4.3. Change Names or Signatures in a model element
15.4.4. Duplicate End (Role) Names for an Association
15.4.5. Role name conflicts with member
15.4.6. Choose a Name (Classes and Interfaces)
15.4.7. Name conflict in a namespace
15.4.8. Choose a Unique Name for a model element (Classes and Interfaces)
15.4.9. Choose a Name (Attributes)
15.4.10. Choose a Name (Operations)
15.4.11. Choose a Name (States)
15.4.12. Choose a Unique Name for a (State related) model element
15.4.13. Revise Name to Avoid Confusion

15.4.14. Choose a Legal Name
15.4.15. Change a model element to a Non-Reserved Word
15.4.16. Choose a Better Operation Name
15.4.17. Choose a Better Attribute Name
15.4.18. Capitalize Class Name
15.4.19. Revise Package Name
15.5. Storage
15.5.2. Add Instance Variables to a Class
15.5.3. Add a Constructor to a Class
15.5.4. Reduce Attributes on a Class
15.6. Planned Extensions
15.6.1. Operations in Interfaces must be public
15.6.2. Interfaces may only have operations
15.6.3. Remove Reference to Specific Subclass
15.7. State Machines
15.7.1. Reduce Transitions on <state>
15.7.2. Reduce States in machine <machine>
15.7.3. Add Transitions to <state>
15.7.4. Add Incoming Transitions to <model element>
15.7.5. Add Outgoing Transitions from <model element>
15.7.6. Remove Extra Initial States
15.7.7. Place an Initial State
15.7.8. Add Trigger or Guard to Transition
15.7.9. Change Join Transitions
15.7.10. Change Fork Transitions
15.7.11. Add Choice/Junction Transitions
15.7.12. Add Guard to Transition
15.7.14. Make Edge More Visible
15.7.15. Composite Association End with Multiplicity >1
15.8. Design Patterns

15.8.1. Consider using Singleton Pattern for <class>
15.8.2. Singleton Stereotype Violated in <class>
15.8.3. Nodes normally have no enclosers
15.8.4. NodeInstances normally have no enclosers
15.8.5. Components normally are inside nodes
15.8.6. ComponentInstances normally are inside nodes
15.8.7. Classes normally are inside components
15.8.8. Interfaces normally are inside components
15.8.9. Objects normally are inside components
15.8.10. LinkEnds have not the same locations
15.8.11. Set classifier (Deployment Diagram)
15.8.12. Missing return-actions
15.8.13. Missing call(send)-action
15.8.14. No Stimuli on these links
15.8.15. Set Classifier (Sequence Diagram)
15.8.16. Wrong position of these stimuli
15.9. Relationships
15.9.1. Circular Association
15.9.2. Make <association> Navigable
15.9.3. Remove Navigation from Interface via <association>
15.9.4. Add Associations to <model element>
15.9.5. Remove Reference to Specific Subclass
15.9.6. Reduce Associations on <model element>
15.10. Instantiation
15.11. Modularity
15.11.1. Classifier not in Namespace of its Association
15.11.2. Add Elements to Package <package>
15.12. Expected Usage
15.13. Methods
15.13.1. Change Names or Signatures in <model element>

15.13.2. Class Must be Abstract
15.13.3. Add Operations to <class>
15.13.4. Reduce Operations on <model element>
15.14. Code Generation
15.14.1. Change Multiple Inheritance to interfaces
15.15. Stereotypes
15.16. Inheritance
15.16.2. Remove <class>'s Circular Inheritance
15.16.3. Class Must be Abstract
15.16.4. Remove final keyword or remove subclasses
15.16.5. Illegal Generalization
15.16.6. Remove Unneeded Realizes from <class>
15.16.7. Define Concrete (Sub)Class
15.16.8. Define Class to Implement <interface>
15.16.9. Change Multiple Inheritance to interfaces
15.17. Containment
15.17.1. Remove Circular Composition
15.17.2. Duplicate Parameter Name
15.17.3. Two Aggregate Ends (Roles) in Binary Association
15.17.4. Aggregate End (Role) in 3-way (or More) Association
15.17.5. Wrap DataType

Follow me on Facebook page “Automated Testing”

https://www.facebook.com/AutomatedTesting

Search for people, places and things Automated Testing Home

Admin Panel Edit Page Build Audience Help Show Ads Manager

See Your Ad Here

Automated Testing

Automated Testing as
Program Verification.
Program Verification
problem is decidable if
P is finite-...
Like · Automated
Testing likes this.

Get More Likes

Now
Automated Testing February
10 likes · 1 talking about this
2013

Launched
Computers/Internet Website
Automated Testing as Program Verification. Program Verification problem is decidable if P is finite-state
with model-checking techniques. But real programs are not finite-state, they have arbitrarily complex inputs 10
and dynamic memory allocation

About Photos Likes

Highlights

Status Photo / Video Event, Milestone + Recent Posts by Others on Automated Testing See All

What's on your mind? Zarko Acimovic
http://www.verifysoft.com/en.html
Wednesday at 2:24pm

Automated Testing shared a link. Zarko Acimovic
9 minutes ago http://hermit-reasoner.com/
February 15 at 11:26am

http://www-dse.doc.ic.ac.uk/cgi-bin/moin.cgi/sue More Posts

sue - DSE Imperial College
www-dse.doc.ic.ac.uk
Likes See All
Distributed Software Engineering Section Department of Computing
Imperial College London Huxley Building Room 568 180 Queen's Gate,
London SW7 2AZ, UKDirections to the DepartmentStreetmap link Phone: Erlang Programming
+44 20 7594 8264 Fax: +44 20 7581 8024 Community

Alonso Church
Like · Comment · Share
Public Figure

Objective Caml
Automated Testing shared a link. Interest
40 minutes ago

Implementing Automated Software Testing
http://sourceforge.net/projects/czt/ Book

Community Z Tools Haskell
sourceforge.net Interest

Tool support for the Z formal notation

Automated Testing shared a link.
about an hour ago

http://www.doc.ic.ac.uk/~ar3/lectures/ProgrammingII/NewCours
eStructure.html
about an hour ago

Alessandra Russo's Software Engineering Course
http://www.doc.ic.ac.uk/~jnm/book/index.html www.doc.ic.ac.uk

These lecture notes are designed for the second part of the course
Object Oriented Programming given to first year undergraduate students
at Imperial College. The first half of this course is taught by Alastair

Donaldson. His lecture notes are electronically available on CATE. The
second part of thi...

16 hours ago
Concurrency - State Models & Java Programs
www.doc.ic.ac.uk
http://www.cs.ru.nl/ftfjp/

Automated Testing
16 hours ago Formal Techniques for Java-like Programs (FTfJP)
www.cs.ru.nl

http://www.cs.ru.nl/ftfjp/ Starting 2002 the name of the workshop has been slightly changed -
from "Formal Techniques for Java Programs" to "Formal Techniques for
Java-like Programs" - to include not just work on Java, but also work on
Like · Comment · Share related languages such as C# or Scala.

16 hours ago

Automated Testing
http://www.uppaal.com/index.php?sida=186&rubrik=93 16 hours ago

UP4ALL Inc - uppaal.com
http://csd.informatik.uni-oldenburg.de/~moby/
www.uppaal.com

UPPAAL is an integrated tool environment for modeling, simulation and, Like · Comment · Share
verification of real-time embedded systems. Typical application areas of
UPPAAL includes real-time controllers and communication protocols in
particular, those where timing aspects are critical.
Thursday

http://www.informatik.uni-
bremen.de/agbkb/forschung/formal_methods/index_e.htm
Wednesday
Research Area "Formal Methods for Software Development"
www.informatik.uni-bremen.de
http://www.springer.com/computer/swe/book/978-0-85729-276-
6 The main focus of research in formal methods at our group is algebraic
specification, based on the CASL language, and development of
effective tool support for all aspects of formal development.
Specification of Software Systems
www.springer.com
Recent advances in software specification methods,
model checking, and theorem proving have generated
new tools for the use of formal methods in both industry
and academia. Yet, in order to choose the techniques Automated Testing shared a link.
most appropriate ...
March 5

http://www.locmetrics.com/index.html

Automated Testing shared a link. http://www.locmetrics.com/index.html
March 5 www.locmetrics.com

http://www.locmetrics.com/alternatives.html

LOC Metrics - Alternative Tools
www.locmetrics.com
LocMetrics is a simple tool for counting lines of code in C#, Java, and
March 1
C++.

http://www.flowgate.net/?lang=es&seccion=herramientas

[Flowgate Consulting] Servicios de
consultoria en TI
Automated Testing shared a link. www.flowgate.net
February 28

http://www.lispworks.com/

LispWorks Like · Comment · Share
www.lispworks.com

New features in LispWorks 6.1 include
environment access, high-quality Automated Testing shared a link.
drawing including anti-aliasing,
February 28
exporting various image formats,
extensions to symmetric multiprocessing
and a 64-bit FreeBSD port. http://weitz.de/

Edi Weitz
Automated Testing shared a link. weitz.de
February 28
Software, books, photos, and more

http://www.cliki.net/

CLiki: index
www.cliki.net
CLiki is a Common Lisp wiki. It contains resources for learning about and
February 28
using the programming language Common Lisp, and information about
DFSG-compliant free software implemented in Common Lisp.
http://cs.gmu.edu/~sean/book/metaheuristics/
Essentials of Metaheuristics
cs.gmu.edu

Automated Testing shared a link. Please always include the URL—it's the only unique
February 28 identifier to the text! Note the lack of edition number:
I expect these to change very rapidly, and Google
Scholar and Citeseer both have trouble with fast-
http://www.franz.com/ changing editions. If you prefer BibTeX: @Book{
Luke2009Metaheuristics, author = { Sean Luke ...
About Franz Inc.
www.franz.com

Franz is a leading vendor of Semantic Web Technology Automated Testing shared a link.
featuring the AllegroGraph RDF Store triple store
February 28
database, and dynamic object-oriented Common Lisp
development tools including Allegro Common Lisp with
AllegroCache, an Object Database that provides Object http://cs.gmu.edu/~sean/lisp/
Persistence in Lisp, native to the langa...
Lisp at GMU
cs.gmu.edu

Automated Testing shared a link. Lisp runs fine on mason.gmu.edu (type lisp). But only use
February 28 Lisp on Mason to verify your code, not for development.
Instead, do development on your own machine -- it's
much less painful. However, in Prof. Luke's classes, your
http://letoverlambda.com/index.cl Lisp homework and projects must compile and run
properly on Mason for them t...
Let Over Lambda
letoverlambda.com

Let Over Lambda (ISBN 978-1-4357-1275-1, 376+iv pp.) is one of the Automated Testing shared a link.
most hardcore computer programming books out there. Starting with the
February 27
fundamentals, it describes the most advanced features of the most
advanced language: COMMON LISP. The point of this book is to expose
you to ideas that you might o... http://cs.brown.edu/~jes/book/
Models of Computation: Exploring the Power of Computing
cs.brown.edu

Automated Testing shared a link. In Models of Computation:Exploring the Power of Computing, John
February 27 Savage re-examines theoretical computer science, offering a fresh
approach that gives priority to resource tradeoffs and complexity
classifications over the structure of machines and their relationships to
http://cs.brown.edu/~jes/book/pdfs/ModelsOfComputation_Chapt languages. This viewpoint refl...
er4.pdf

http://cs.brown.edu/~jes/book/pdfs/ModelsOfComputation_C
hapter4.pdf
cs.brown.edu Automated Testing shared a link.
February 27

Like · Comment · Share http://www.google.rs/search?
q=%22%22&oq=%22%22&sourceid=chrome&client=ubuntu&ch
annel=cs&ie=UTF-
Automated Testing shared a link. 8#client=ubuntu&hs=OiJ&channel=cs&sclient=psy-
February 27 ab&q=Program+verification+is+decidable+if+P+is+finite-
stae&oq=Program+verification+is+decidable+if+...See More
http://research.microsoft.com/en-us/projects/chess/
"" - Google претрага
www.google.rs
CHESS - Microsoft Research
research.microsoft.com

A concurrency testing tool for finding and
reproducing Heisenbugs. CHESS repeatedly runs
a concurrent test ensuring that every run takes
a different interleaving. If an interleaving
results in an error, CHESS can reproduce the
interleaving for improved debugging.

Automated Testing
February 27

http://research.microsoft.com/en-us/projects/chess/
February 25 Like · Comment · Share

http://www.cambridge.org/gb/knowledge/isbn/item1112106/?
site_locale=en_GB

Logic in Computer Science
www.cambridge.org

Recent years have seen the development of powerful
tools for verifying hardware and software systems, as
companies worldwide realise the need for improved
means of validating their products. There is increasing
demand for training in basic methods in formal
reasoning so that students can gain profic...

Earlier in February

Zarko Acimovic shared a link. Automated Testing
February 15 February 14

http://hermit-reasoner.com/ John Hughes. Why functional programming matters - Google
search
HermiT Reasoner: Home
hermit-reasoner.com Like · Comment · Share

HermiT is reasoner for ontologies written using the Web Ontology
Language (OWL). Given an OWL file, HermiT can determine whether or
not the ontology is consistent, identify subsumption relationships
between classes, and much more.
February 14

Like · Comment · Share http://www.amazon.com/Purely-Functional-Structures-Chris-
Okasaki/dp/0521663504

Purely Functional Data Structures
February 14 www.amazon.com

Most books on data structures assume an imperative
http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf "Purely language such as C or C++. However, data structures for
Functional Data Structures" these languages do not always translate well to
functional languages such as Standard ML, Haskell, or
Scheme. This book describes data structures from the
http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf point of view of functional languag...
www.cs.cmu.edu

February 14

Automated Testing shared a link. http://okasaki.blogspot.com/
February 14

Teaching, Playing, and Programming
http://www.sonarsource.com/ okasaki.blogspot.com

I think you’ll enjoy this game, Thunderstone. I’ve been playing it a lot
SonarSource - Continuous with my son. Like Race for the Galaxy, this one works very well with two
Inspection of Code Quality players, but can also handle more players. (Predictably, with more
www.sonarsource.com players, it becomes very chaotic, especially when thieves are in play…)
I’m so certain…
SonarSource provides applications and
services for continuous inspection of
code quality. Its open source Sonar
platform and commercial products help
customers to perform development and
Like · Comment · Share long-term maintenance of software at a
lower cost and with reduced risk. Automated Testing shared a link.
February 12

Automated Testing shared a link. scg.unibe.ch/archive/famoos/handbook/4handbook.pdf
February 11

The FAMOOS Object-Oriented Reengineering Handbook
http://xray.inf.usi.ch/xray.php
http://scg.unibe.ch/archive/famoos/handbook/4handbook.pdf
Software is inherently intangible. Systems can be composed of a scg.unibe.ch
huge amount of software entities linked together by different

kinds of dependencies. Software designers use visualization tools
in order to rai...See More Like · Comment · Share

Jacopo Malnati, X-Ray 1.0.4.1
xray.inf.usi.ch Automated Testing shared a link.
February 11
Website of Jacopo Malnati

http://jhave.org/ JHAVÉ is a java application that renders
algorithm visualizations. Students explore algorithms by viewing
visual representations of data, controlling movement and by
Like · Comment · Share responding to pop-up questions. We provide a large colle...See More

JHAVE: Home Page
jhave.org
February 10 JHAVE

http://www.arisa.se/index.php

Goal of ARiSA™ - Applied Research in System Analysis - is to
leverage quality management on software and information Like · Comment · Share

systems engineering. We provide seminars, methods, and
development tools supporting the effi...See More
February 10
ARiSA AB
www.arisa.se
http://www.arisa.se/compendium/quality-metrics-
Målet för ARiSA™ är att utnyttja
kvalitetshantering av framtagning compendium.html
mjukvaru- och informationssystem. Vi
tillhandahåller seminarier, metoder och
Compendium of Software Quality Standards and Metrics -
utvecklingsverktyg som stödjer effektiv
Version 1.0
produktion och underhåll av högkvalitativ
www.arisa.se
Like · Comment · Share mjukvara.
Compendium of Software Quality Standards and Metrics - Version 1.0

Automated Testing shared a link. Like · Comment · Share
February 4

http://research.microsoft.com/en-us/projects/specsharp/ Automated Testing shared a link.
February 4
Spec# - Microsoft Research
research.microsoft.com
http://types.cs.washington.edu/jsr308/
Spec# is a formal language for API contracts (influenced by AsmL, JML
and Eiffel), which extends C# with constructs for non-null types,
Type Annotations (JSR 308) and the Checker Framework
preconditions, postconditions, object invariants, and model programs
types.cs.washington.edu
(behavioral contracts that take the history of the entire run into
account). Spec# comes with a...
The Java 6 annotation syntax is useful but limited. The Type Annotations
syntax permits annotations to be written in more places, such as generic
Like · Comment · Share type arguments: List<@NonNull Object>. Programmers can use type
annotations to write more informative types, and then tools such as
type-checkers can det…

February 4

http://groups.csail.mit.edu/pag/daikon/ Automated Testing shared a link.
February 4
The Daikon dynamic invariant detector
groups.csail.mit.edu
http://homes.cs.washington.edu/~mernst/software/
Daikon is an implementation of dynamic detection of likely invariants;
that is, the Daikon invariant detector reports likely program invariants.
Software released by Michael Ernst
An invariant is a property that holds at a certain point or points in a
homes.cs.washington.edu
program; these are often seen in assert statements, documentation, and
formal speci...
This is a partial list of software packages released by Michael Ernst. I am
always happy to receive comments, bug reports and fixes, and
Like · Comment · Share improvements to the code. I will attempt to assist you with problems or
incorporate your changes into the main source. Unless otherwise noted,
all software should…

February 3

http://se.inf.ethz.ch/courses/2012b_fall/sv/ Automated Testing shared a link.
February 3
Software Verification - Fall 2012 - Chair of Software
Engineering
se.inf.ethz.ch http://ix.cs.uoregon.edu/~michal/

05.12.2012 — Please remember to bring questions/problems along for
the exercise session of next week! The exam is approaching fast now...


February 3 Like · Comment · Share

The Program Verification problem is decidable if P is finite-state
with model-checking techniques. Michal Young
But real programs are not finite-state ix.cs.uoregon.edu
• arbitrarily complex inputs
The thread that runs through my work is understanding how we
• dynamic memory allocation
understand and gain confidence in software, through some combination
The term Software Model-Checking denotes techniques to of analysis (broadly construed to include testing as well as various static
February 2
automatically verify real programs based on finite-state models of checking techniques) and design. I'm increasingly interested in interplay
them. between synthesis (g...
http://www.scribd.com/doc/65043293/Introduction-to-Computer-
Theory
Index of /courses/2012b_fall/sv/slides
se.inf.ethz.ch
http://www.scribd.com/doc/65043293/Introduction-to-
Computer-Theory
www.scribd.com


Automated Testing shared a link. Automated Testing shared a link.

http://www.ncl.ac.uk/computing/research/?pid=260 http://www.wou.edu/~broegb/

Research home - Computing Science - Newcastle University Index Winter 2013
www.ncl.ac.uk www.wou.edu

We carry out fundamental computing science research which we
evaluate and extend through application to industrial and
interdisciplinary challenges. Our work constantly evolves to address the
new challenges posed by a fast-changing environment: one in which
computer systems become ever more complex,...

Like · Comment · Share Like · Comment · Share


http://rodin.cs.ncl.ac.uk/ http://www.ai4fm.org/

RODIN - Rigorous Open Overview - AI4FM
Development Environment for www.ai4fm.org
Complex Systems
rodin.cs.ncl.ac.uk AI4FM project aims to use "learning"
techniques from artificial intelligence to
Our overall objective is the creation of a record and abstract how experts do
methodology and supporting open tool proofs in order to increase the
platform for the cost effective rigorous proportion of cases where proofs are
development of dependable complex constructed without (or with minimal)
Like · Comment · Share software systems and services. We focus Like · Comment · Share human intervention. AI4FM is an EPSRC-
on tackling complexity • caused by the funded research project, a joint effort…
environment in which t...

February 1

http://homepages.cs.ncl.ac.uk/cliff.jones/

http://homepages.cs.ncl.ac.uk/cliff.jones/
homepages.cs.ncl.ac.uk

Much of his research at this time focused on formal (compositional)
development methods for concurrent systems. His major avenues of
current research are listed below.


Earlier in 2013

Automated Testing shared a link. Likes
January 31 2013

https://www.scss.tcd.ie/Matthew.Hennessy/teaching/2013/slexter
nal2013/reading.php
+3
Semantics of programming languages - 2012/13
Reading list - Computer Science - Trinity College
Alonso Church Objective Caml F Sharp
Dubl
www.scss.tcd.ie

Trinity College Dublin: Computer Science Department:
Semantics of programming languages - 2012/13 Reading Automated Testing shared a link.
list January 30

http://elib.mi.sanu.ac.rs/files/journals/mv/202/mv943409.pdf

http://elib.mi.sanu.ac.rs/files/journals/mv/202/mv943409.pdf
Automated Testing
elib.mi.sanu.ac.rs
January 29

http://se.inf.ethz.ch/old/projects/tobias_widmer/


January 28
January 28
http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-737.pdf

http://bertrandmeyer.com/2012/04/11/domain-theory-the-
http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-737.pdf
forgotten-step-in-program-verification/ www.cl.cam.ac.uk

Bertrand Meyer's technology+ blog
» Blog Archive » Domain Theory:
the forgotten step in program v
bertrandmeyer.com

Program verification is making
considerable progress but is hampered Automated Testing shared a link.
by a lack of abstraction in specifications. January 28
A crucial step is, almost always, absent
Like · Comment · Share from the process; this omission is the
principal obstacle to making verification http://ebooks.cambridge.org/chapter.jsf?
a standard component of everyday bid=CBO9780511569883&cid=CBO9780511569883A012
software development.
Cambridge Books Online - The Statement of the
January 28
Incompleteness Theorem
ebooks.cambridge.org
http://www.amzi.com/
The automatic verification of large parts of
mathematics has been an aim of many
Amzi! inc. Embeddable Extendable Prolog, Logic mathematicians from Leibniz to Hilbert. While Gödel's
Server, Knowledge Engineering, Rule Engines, first incompleteness theorem showed that no
Artifici computer program could automatically prove certain
www.amzi.com Like · Comment · Share theorems in mathematics, the advent of
true
electronic computers and s...
Amzi! inc. provides software and services for embedding
intelligent components that apply busines rules, diagnose
problems, recommend configurations, give advice, Automated Testing shared a link.
schedule events, monitor processes and more. January 28

http://www.computational-semantics.eu/

Computational Semantics with Functional
January 28
Programming
www.computational-semantics.eu
http://homepages.cwi.nl/~jve/problem5/
ESSLLI Summer School Course, Ljubljana, Slovenia,
August 2011. See the course description on the ESSLLI
Challenging Imperative Programming with Algebra, Logic and 2011 homepage.
Functions
homepages.cwi.nl
``How much land does a man need?'' asked Lev Tolstoi, and the answer
turned out to be: surprisingly little. ``How many programming
languages does a software designer need?'' The answer seems to be:
surprisingly many. See below. Automated Testing shared a link.
January 28

http://answers.yahoo.com/question/index?qid=1006030700479

January 28

http://en.wikipedia.org/wiki/Lambda_calculus

Lambda calculus - Wikipedia, the free
encyclopedia
en.wikipedia.org
Lambda calculus (also written as λ-calculus or called "the
lambda calculus") is a formal system in mathematical
logic and computer science for expressing computation by
way of variable binding and substitution. First formulated
by Alonzo Church, lambda calculus found early successes What is the difference between logic programming and
Like · Comment · in the area of c...
Share imperative programming.?
answers.yahoo.com

Logic programming Testing shared a link.
Automated (sometimes called logical programming) is
Automated Testing shared a link. programming that makes use of pattern-directed invocation of
January 28
January 28 procedures from assertions and goals. John McCarthy [1958] was the
first to pub
http://racket-lang.org/
http://users.soe.ucsc.edu/~cormac/
The Racket Language
Cormac Flanagan Homepage racket-lang.org
users.soe.ucsc.edu
Racket is a modern programming
language in the Lisp/Scheme family,
suitable for a wide range of applications.
Racket provides a rich language
extension API, the DrRacket integrated
development environment, and many
Like · Comment · Share batteries-included libraries.

Automated Testing shared a link. January 28
January 28

http://link.springer.com/book/10.1007/978-1-84628-692-6/page/1
http://classes.soe.ucsc.edu/cmps112/Winter07/
Semantics with Applications: An Appetizer -
CMPS 112 - Comparative Programming Languages - Winter Springer
2007 link.springer.com
classes.soe.ucsc.edu

Lectures: Tu/Th, 10:00-11:45am, Engineering 2, room 194Lab Sessions:
Mondays 1:00-3:00pm and Thursdays 5:00-6:00pm, both in Baskin 105


January 28 January 28

http://cs.brown.edu/~sk/Publications/Books/ProgLangs/2007-04- http://www.ccs.neu.edu/home/dorai/t-y-scheme/t-y-scheme.html
26/
Teach Yourself Scheme in Fixnum Days
www.ccs.neu.edu
Programming Languages: Application and
Interpretation by Shriram Krishnamurthi
A practical introduction to the programming
cs.brown.edu
language Scheme
Programming Languages: Application and
Interpretation Copyright © 2003-07, Shriram
Krishnamurthi Creative Commons Attribution-
NonCommercial-ShareAlike 3.0 United States License
Version 2007-04-26 Like · Comment · Share

January 26
http://mitpress.mit.edu/books/model-checking
http://d3s.mff.cuni.cz/teaching/program_analysis_verification/
Model Checking | The MIT Press
mitpress.mit.edu
Teaching @ D3S - Department of
Distributed and Dependable
Model checking is a technique for verifying finite
Systems
state concurrent systems such as sequential circuit
d3s.mff.cuni.cz
designs and communication protocols. It has a
number of advantages over traditional approaches
Official web page of the Department of
that are based on simulation, testing, and deductive
Distributed and Dependable Systems,
reasoning. In particular, model checking is autom...
Charles University, Prague

January 26
http://eu.wiley.com/WileyCDA/WileyTitle/productCd-
http://www.pearsonhighered.com/educator/product/Concepts-of- 0471137723,descCd-tableOfContents.html
Programming-Languages-10E/9780131395312.page

Pearson - Concepts of Programming
Languages, 10/E - Robert W. Sebesta
www.pearsonhighered.com

The account you used to log in on the previous
website does not contain IRC access. If you have a
separate IRC count, please log in using that login
name and password. If you do not have an IRC
account, you canrequest access here Wiley: Introduction to Computer Theory, 2nd Edition - Daniel I.
A. Cohen
eu.wiley.com

January 25

http://www.bon-method.com/computer_annotated.pdf
http://www.bon-method.com/index_normal.htm
http://www.bon-method.com/computer_annotated.pdf
BON method: index normal www.bon-method.com
www.bon-method.com


January 24

http://www.cs.columbia.edu/~zeph/
http://www.akber.com/software-testing
Zeph Grunschlag
Software Testing - Akber Choudhry www.cs.columbia.edu
www.akber.com

Akber A. Choudhry


January 24
Automated Testing
January 24
http://yosefk.com/c++fqa/defective.html

http://www.cs.virginia.edu/~evans/cs3102-s10/
C++ FQA Lite: Defective C++
yosefk.com
This page summarizes the major defects of the C++ programming
language (listing all minor quirks would take eternity). To be fair, some
of the itemsby themselvescould be design choices, not bugs. For
Automated Testing shared a link. example, a programming language doesn't have to provide garbage
January 24 collection. It's thecombinationof th...

http://math.andrej.com/2008/02/06/representations-of-
uncomputable-and-uncountable-sets/

Representations of uncomputable and uncountable sets « January 24
Mathematics and Computation
math.andrej.com
http://lukepalmer.wordpress.com/2012/01/26/computably-
Occasionally I hear claims that uncountable and uncomputable sets uncountable/
cannot be represented on computers. More generally, there are all sorts
of misguided opinions about representations of data on computers,
especially infinite data of mathematical nature. Here is a quick tutorial Computably Uncountable
on the matter whose ma... lukepalmer.wordpress.com
We are all familiar with Cantor’s diagonal argument that proves there
exist infinite sets which are “larger” than the set of natural numbers. In
this post I will show that we can ...
Automated Testing
January 23

http://pdf.aminer.org/000/208/844/
on_transferring_vdm_verification_techniques_to_z.pdf
January 23

http://itee.uq.edu.au/~ianh/Papers/ndb.pdf

Automated Testing
January 23 http://itee.uq.edu.au/~ianh/Papers/ndb.pdf
itee.uq.edu.au

What's wrong with UML as a modelling language for design
patterns?

Giving a full answer to this question would require not one page

but an entire encyclopaedia. We are not in the business of writing Automated Testing shared a link.
the seven volumes of What's Wrong with UML; others have January 23
already done so successfully (see Bertrand's Meyer's excellent
UMLThe Positive Spin.) Rather, let us describe what mechanisms
http://www.lepus.org.uk/ref/companion/faq.xml
of LePUS3 and Cla...See More

FAQ, The 'Gang of Four' Companion
Like · Comment · Share 1 www.lepus.org.uk

This page is part of the The 'Gang of Four' Companion which details the
formal specification of the Abstract Factory design pattern from the
Automated Testing shared a link. 'Gang of Four' catalogue [Gamma et al 1995].
January 23

http://www.lepus.org.uk/

LePUS3 and Class-Z Home Page
www.lepus.org.uk
January 23
Visual representations of evidence should be governed
by principles of reasoning: Clear and precise seeing
http://www.lepus.org.uk/about.xml
becomes as one with clear and precise thinking. --
Edward R. Tufte
About LePUS3 and Class-Z
www.lepus.org.uk
LePUS3 and Class-Z are formal object-
oriented Design Description Languages.
They are formal specification lanaguges
Automated Testing shared a link. for modelling non-functional
January 23 specifications representing the design of
object-oriented class libraries, design
Like · Comment · Share patterns, and object-oriented
http://ocw.mit.edu/courses/electrical-engineering-and-computer- application frameworks (What can be
science/6-080-great-ideas-in-theoretical-computer-science- modelle...

spring-2008/lecture-notes/
January 23
Great Ideas in Theoretical
Computer Science
ocw.mit.edu http://www.di.ens.fr/~cousot/AI/IntroAbsInt.html

This course provides a challenging
introduction to some of the central ideas Abstract Interpretation in a
of theoretical computer science. It Nutshell
attempts to present a vision of www.di.ens.fr
"computer science beyond computers":
that is, CS as a set of mathematical This introduction to static analysis by
tools for understanding complex systems abstract interpretation has the objective
such as universes and minds. Beginning of being simple, intuitive and informal.
i... More technical introductions as well as
bibliographic references are provided in
Like · Comment · Share [1,2,3].A 30mnvideo(in French) can also
be useful.

January 22 January 23

http://www.cengage.com/search/productOverview.do? http://web.mit.edu/afs/athena.mit.edu/course/16/16.399/www/
Ntt=991938321204392568016032450701059771599&N=4294956
584&Ntk=P_EPI MIT Course 16.399: « Abstract Interpretation » Home Page
web.mit.edu
Computer Science - Introduction to the Theory of Computation
Course Objective and Themes: Abstract Interpretation is a theory of
,3rdEdition -97811331
approximation of mathematical structures, in particular those involved in
www.cengage.com
the semantic models of computer systems. Abstract interpretation can
be applied to the systematic construction of methods and effective
Cengage Learning delivers highly-customized learning solutions for
algorithms to app...
universities, instructors, students, libraries, government agencies,
corporations, and professionals worldwide.


January 22
January 22 http://www.cs.rpi.edu//~moorthy/Courses/CSCI2400/

http://alleystoughton.us/forlan/book.pdf http://www.cs.rpi.edu//~moorthy/Courses/CSCI2400/
www.cs.rpi.edu
http://alleystoughton.us/forlan/book.pdf
alleystoughton.us


Automated Testing
January 21
January 21 google search: formula model predicate calculus

http://www.math.ryerson.ca/~ddelic/mth714/Ch2handout.pdf Like · Comment · Share

http://www.math.ryerson.ca/~ddelic/mth714/Ch2handout.pd
f
Automated Testing
www.math.ryerson.ca
January 21

Naime, problem provere da li dati skup formula predikatskog
racuna prvog reda ima model je neodluciv, pa cak i ako je
specifikacija korektna, nije jasno da li ce program dati rezultat u
konacnom vremenu.
January 21

http://www.math.ryerson.ca/~ddelic/mth714/Ch2handout.pdf

Automated Testing
http://www.math.ryerson.ca/~ddelic/mth714/Ch2handout.pd January 21
f
www.math.ryerson.ca
Undecidable problems

Like · Comment · Share Some questions that are undecidable for wider classes of
grammars become decidable for context-free grammars; e.g. the
emptiness problem (whether the grammar generates any
terminal strings at all), is undecidable for context-sensitive
January 21 grammars, but decidable for context-free grammars.

Still, many problems remain undecidable. Examples:
http://www.math.ryerson.ca/~ddelic/mth714/mth714.html

[edit] Universality
Teaching information
www.math.ryerson.ca
Given a CFG, d...See More
Instructor: Dr Dejan Delic Office: ENG 228Phone: 979-5000 ext 6971 E-
mail:ddelic@ryerson.caOffice hours:Tue 11-12, Wed 3-4, or by
appointment

January 20

http://www.cs.cornell.edu/~kozen/
January 20

Dexter Kozen's Home Page
http://www.amazon.com/Introduction-Theory-Computation- www.cs.cornell.edu
Michael-Sipser/dp/113318779X/ref=sr_1_1?
s=books&ie=UTF8&qid=1358692543&sr=1-1 Research interests: Algorithms and
complexity, especially complexity of
decision problems in logic and algebra,
Introduction to the Theory of Computation logics and semantics of programming
www.amazon.com languages, computer security.

Gain a clear understanding of even the most complex, Like · Comment · Share
highly theoretical computational theory topics in the
approachable presentation found only in the market-
leading INTRODUCTION TO THE THEORY OF
COMPUTATION, 3E. The number one choice for today's Automated Testing shared a link.
computational theory course, this revision continu... January 18

http://www.itvestak.org.rs/kadrovi/027.html

IT Veštak
January 18
www.itvestak.org.rs

http://lara.epfl.ch/~kuncak/papers/vkuncak.html nalazim se u porodičnoj penziji. Odlučila sam se na ovaj korak zbog
nemogućnosti da dalje delujem profesionalno i savesno u situaciji kakva
je bila u organima Savezne vlade u to vreme ali i iz porodnčnih razloga:
Viktor Kuncak: Publications and manuscripts iznenadna smrt supruga, nepokretna majka.
lara.epfl.ch



January 18
January 18
http://gigamonkeys.com/book/introduction-why-lisp.html

http://www.verifun.org/
Introduction: Why Lisp?
gigamonkeys.com
http://www.verifun.org/
www.verifun.org If you think the greatest pleasure in programming comes from getting a
lot done with code that simply and clearly expresses your intention, then
programming in Common Lisp is likely to be about the most fun you can

Like · Comment · Share have with a computer. You'll get more done, faster, using it than you
would using pre...

January 18
January 18
http://gigamonkeys.com/book/

http://www.forum.hr/showthread.php?t=499563
Practical Common Lisp
gigamonkeys.com
LISP - Forum.hr
This page, and the pages it links to, contain text of the www.forum.hr
Common Lisp bookPractical Common Lisppublished
byApressThese pages now contain the final text as it LISP Programiranje
appears in the book. If you find errors in these pages,
please send email tobook@gigamonkeys.com. Th...



January 18
January 18
http://www.norvig.com/java-lisp.html

An empirical comparison of C, C++, Java, Perl, Python, Rexx, and
Lisp as an Alternative to Java Tcl for a search/string-processing program http://page.mi.fu-
www.norvig.com
berlin.de/prechelt/Biblio/jccpprtTR.pdf
It turns out my hopes were answered. First, Prechelt publishedanother
articlethat covers Tcl, Python, Perl, and Rexx. Also,Ron Garret (nee Erann
http://page.mi.fu-berlin.de/prechelt/Biblio/jccpprtTR.pdf
Gat)did afollow-up studyin which he asked programmers to write
page.mi.fu-berlin.de
Prechelt'stest programin Lisp. His results show that the resulting Lisp
programs ran faster ...


January 18
January 17

http://page.mi.fu-berlin.de/prechelt/Biblio/jccpprtTR.pdf http://www.coned.de/de/home/

http://page.mi.fu-berlin.de/prechelt/Biblio/jccpprtTR.pdf
ConEd: HOME
page.mi.fu-berlin.de
www.coned.de

Der Conceptual Engineering Editor, kurz ConED ist Ihr
maßgeschneidertes Werkzeug für die Leistungsphasen 2 und 3, um
Like · Comment · Share Tragkonzepte zu erstellen. Entstanden aus den Anforderungen der
Praxis. Durch Ingenieure tagtäglich erprobt und konsequent verbessert
an konkreten Projekten. Mit durchdachten Funktion...

January 17

http://franklinchen.com/blog/2011/10/25/rip-john-mccarthy-but- Automated Testing
lisp-will-never-die/ January 17

RIP, John McCarthy; but Lisp will never die - Franklin Chen's Most papers in computer science describe how their author
grain of sand
franklinchen.com learned what someone else already knew.

RIP, John McCarthy; but Lisp Will Never Die Oct 25th, 2011 • - Peter Landin
Permalink(Updated 2012-01-16)The legendary computer scientist John
McCarthy died yesterday. So there goes another guy without whom my
life today would be unimaginably different: Steve Jobs and Dennis (This is a paraphrase. I'd appreciate it if anyone can tell me the
Ritchie just left us this month!In a wa... exact quote.)

Like · Comment · Share 1

January 17
January 17
http://www.paulgraham.com/quotes.html
http://www.trollope.org/scheme.html
Lisp Quotes
www.paulgraham.com
A Scheme Story
www.trollope.org

Like · Comment · Share My first classin computer programming was an elective course in BASIC
back in sixth grade. I chose that class because I thought that computers
were powerful and capable of doing many interesting things. Electives
usually have a reputation for being fun, but my classmates and I heard
stories about th...
January 17

http://kuomarc.wordpress.com/2012/01/27/why-i-love-common-
lisp-and-hate-java/
January 17
Why I love Common Lisp and hate
Java
kuomarc.wordpress.com http://www.paulgraham.com/avg.html
“Common what?” is a common reply I
get when I mention Common Lisp. Beating the Averages
Perhaps rightly so, since Common Lisp is www.paulgraham.com
not all that common these days.
Developed in the sixties, it is one of the April 2001, rev. April 2003(This article is derived from a talk given at the
Like · Comment · Share ol... 2001 Franz Developer Symposium.) In the summer of 1995, my friend
Robert Morris and I started a startup called Viaweb. Our plan was to
write software that would let end users build online stores. What was
novel about this s...
January 15 Like · Comment · Share

http://speely.wordpress.com/2011/10/26/prefix-postfix-newfix-
bluefix/ Automated Testing shared a link.
January 15

Prefix, Postfix, Newfix, Bluefix
speely.wordpress.com http://speely.wordpress.com/tag/haskell/

My, my, look at all those notations. You can infix: 2 + 2. You can prefix:
+ 2 2. You can postfix: 2 2 +. All three notations are perfectly arbitrary Posts about haskell on Speely
for the purposes of mathematics. (2 + 2) * &hel... speely.wordpress.com

Posts about haskell written by mcandre

January 14

http://cacm.acm.org/magazines/2013/1/158780-who-begat-
computing/fulltext
January 13

Who Begat Computing?
cacm.acm.org http://www-
03.ibm.com/ibm/history/exhibits/builders/builders_backus3.html
The Turing Centenary is now behind us and we can afford some
reflection on what has transpired. There is a risk, however, that in our
focus on highlighting Turing's seminal contributions we may have gone
“Von Neumann’s concept was brilliant. of course, and worked fine
from celebration to hagiography. 30 years ago,” said Backus. ‘But,” he paused, making arches of
his hands, “here’s my highly oversimp...See More

IBM Archives: John Backus page 3
www-03.ibm.com

Automated Testing shared a link. John Backus was the developer of FORTRAN, for years one of the best
January 13 known and most used programming systems in the world.

"Principles of Computer Like · Comment · Share
Programming: A Mathematical
Approach" by Harlan D. Mills, Victor
R. Basili e
trace.tennessee.edu Automated Testing shared a link.
January 10
Mills, Harlan D.; Basili, Victor R.;
Gannon, John D.; and Hamlet, Richard
D., "Principles of Computer http://planet.haskell.org/
Like · Comment · Share Programming: A Mathematical
Approach" (1988). The Harlan D. Mills
Collection.http://trace.tennessee.edu/ut Planet Haskell
k_harlan/7 planet.haskell.org
Working on DuDuHoX is increasingly
January 10
difficult. I've thought about giving up on
some problems I had, either with code
or libraries.
http://www.dnull.com/cpu/backus.pdf

Can Programming Be Liberated from the von Like · Comment · Share
Neumann Style? A Functional Style and Its
Algebra of Programs
John Backus Automated Testing shared a link.
IBM Research Laboratory, San Jose January 10

http://www.dnull.com/cpu/backus.pdf http://www.cambridge.org/gb/knowledge/isbn/item1163819/?
www.dnull.com
site_locale=en_GB

"The functional style is quite different to that promoted by most
current languages, such as Java, C++, C, and Visual Basic. In
particular, most current languages ar...See More

January 9

http://www.cambridge.org/gb/knowledge/isbn/item1163819/?
site_locale=en_GB
Programming in Haskell
www.cambridge.org
Programming in Haskell
www.cambridge.org Haskell is one of the leading languages for teaching functional
programming, enabling students to write simpler and cleaner code, and
Haskell is one of the leading languages for teaching Automated Testing shared a link.
to learn how to structure and reason about programs. This introduction
functional programming, enabling students to write January 9
is ideal for beginners: it requires no previous programming experience
simpler and cleaner code, and to learn how to structure and all concepts are exp...
and reason about programs. This introduction is ideal for
beginners: it requires no previous programming http://sources.haskell.cz/
experience and all concepts are exp...
Index of /
sources.haskell.cz

January 9

http://www.cs.nott.ac.uk/~gmh/book.html#slides
Slides - Programming in Haskell January 9
www.cs.nott.ac.uk

These slides may be freely used or modified for any http://nptel.iitm.ac.in/video.php?subjectId=106101061
educational or training purpose, provided that I am
acknowledged as the original author.
NPTEL PHASE 2 - Courses
nptel.iitm.ac.in



Automated Testing
January 8
January 8
Von Neuman Architecture
https://ocaml.janestreet.com/?q=node%2F61

Caml Trading talk at CMU | ocaml.janestreet.com
ocaml.janestreet.com

I was at CMU several weeks ago, and gave a version of my "Caml
Trading" talk there. See below if you are interested in seeing the video.
It's a reasonably good source if you're interested in understanding more
about how and why Jane Street uses OCaml.


January 8

http://book.realworldhaskell.org/read/

Real World Haskell
book.realworldhaskell.org

Copyright 2007, 2008 Bryan O'Sullivan, Don Stewart, and John Goerzen.
This work is licensed under a Creative Commons Attribution-
Noncommercial 3.0 License. Icons by Paul Davey aka Mattahan.


January 8 Automated Testing shared a link.
January 8

http://www.stacken.kth.se/project/yxa/
http://blog.alainodea.com/en/article/393/nearly-defect-free-
YXA software-with-erlang
www.stacken.kth.se
Nearly defect-free software with Erlang — Concise Software -
2007-11-05: YXA 1.0 is released! Two years
Alain O'Dea
after the first stable release, a very stable
blog.alainodea.com
and mature SIP server is available. Enjoy.


January 8 January 8

http://reprog.wordpress.com/2010/03/11/the-difference- https://github.com/lemenkov/erlrtpproxy
between-imperative-and-functional-programming/
erlrtpproxy
The difference between imperative and functional github.com
programming
reprog.wordpress.com RTP/RTCP proxy for VoIP and IM applications. Contribute to erlrtpproxy
development by creating an account on GitHub.
Have you ever had this frustrating experience? You need to drive
somewhere that you’ve not been before, so you look that place up on the
web. You find its site, and start looking through th... Like · Comment · Share

January 8

January 7 http://blog.alainodea.com/en/article/393/nearly-defect-free-
software-with-erlang

http://www.slideshare.net/wooga/erlang-factory-sanfran
Nearly defect-free software with Erlang — Concise Software -
Alain O'Dea
Erlang and the Cloud: A Fractal blog.alainodea.com
Approach to Throughput
www.slideshare.net

Erlang as a cloud citizen Paolo Negri Like · Comment · Share
@hungryblank

Like · Comment · Share January 7

http://smyck.net/2012/04/22/why-erlang/
January 7
Why Erlang? | SMYCK
smyck.net
http://www.javalimit.com/2011/05/erlang-is-not-a-concurrent-
Why Erlang?Posted on April 22, 2012 by
functional-programming-language.html
huklThe chance that you are reading this
blog post on a device with a multicore
Erlang is not a Concurrent Functional Programming Language - cpu is increasing on a daily basis which
Java to the Limit is why everybody is talking about
www.javalimit.com concurrency now. Concurrency for our
Like · Comment · Share web applications and API backends
Whenever developers fall in love with Erlang (as many tend to do these means that we’d like our htop to lo...
days) they are too often busy promoting it to their friends and
colleagues as a cool language for *concurrency* and *functional
programming*. Which is a pity, for... Automated Testing shared a link.
January 7

http://learnyousomeerlang.com/

Learn You Some Erlang for Great
January 7
Good!
learnyousomeerlang.com
http://users.softlab.ntua.gr/~ttsiod/score4.html
Learn you some Erlang for great good! An
Erlang tutorial for beginners and others
Programming AI using functional and too.
imperative languages
users.softlab.ntua.gr
I recently took a one week vacation and went
to my parent's village. My niece Theodora was
there (she is 7 years old), spending a fortnight
with her grandparents. Naturally, in my duties Automated Testing shared a link.
as her uncle, I read her fairy tales when she January 7
Like · Comment · Share went to sleep; gave her my phone so she could
snap photos and play ...
http://thesistime.blogspot.com/2008/10/haskell-vs-ada-vs-c-vs-
awk-vs.html
January 7
ThesisTime: Haskell vs. Ada vs. C++ vs. Awk vs. ...
thesistime.blogspot.com
http://www.haskell.org/papers/NSWC/jfp.ps
The idea was to ask to an expert for each language to do
a prototype of the requirement. The experts have two
http://www.haskell.org/papers/NSWC/jfp.ps meetings before starting to work in where the problem
www.haskell.org was described. After that they should work on their
prototypes and report the time it took to develop it, the
number of lines of code an...

Automated Testing shared a link. Automated Testing
January 7 January 7

http://jaskell.codehaus.org/ "Conventional programming languages are growing ever more
enormous, but not stronger. Inherent defects at the most basic
Jaskell - Home level cause them to be both fat and weak: their primitive word-
jaskell.codehaus.org at-a-time style of programming inherited from their common
ancestor -- the von Neumann computer, their close coupling of
Jaskell is a functional scripting programming language
that runs in JVM. The name "Jaskell" stands for Java- semantics to state transitions, their division of programming into
Haskell, Haskell being the famous pure functional a world of expressions and a world of statements, their inability
programming language. to effectively use powerful combining forms for building new
programs from existing ones, and their lack of useful
Like · Comment · Share mathematical properties for reasoning about programs."
John Backus, known for Fortran, Algol and BNF

Automated Testing
January 7

"You wanted a banana but what you got was a gorilla Automated Testing shared a link.
January 7
holding the banana and the entire jungle."
Joe Armstrong, creator of Erlang
igstan.ro/files/functional-programming.pdf
http://igstan.ro/files/functional-programming.pdf
igstan.ro

January 7

http://www.cl.cam.ac.uk/~jrh13/slides/funprog-jrh/

Index of /~jrh13/slides/funprog-jrh
January 7
www.cl.cam.ac.uk

Introduction to Functional Programming - University of Cambridge
http://www.cl.cam.ac.uk/~jrh13/slides/funprog-jrh/l1.pdf
www.cl.cam.ac.uk

January 5

http://fpcomplete.com/the-downfall-of-imperative-programming/

The Downfall of Imperative Programming | FP Complete
January 5
fpcomplete.com

The Downfall of Imperative ProgrammingApril 9, 2012by Bartosz
http://misko.hevery.com/2008/09/10/where-have-all-the-new-
Milewski | 80 CommentsImperative programming is in my bloodstream.
I’ve been a C++ programmer for most of my life. I wrote a book about operators-gone/
C++. I helped Andrei and Walter design an imperative language D. If I
dabbled in functional programmin...
Where Have all the “new” Operators Gone?
misko.hevery.com
In My main() Method Is Better Than Yours we looked into what a main()
method should look like. There we introduced a clear separation
between (1) the responsibility of constructing the object graph and (2)
Automated Testing shared a link. the responsibility of running the application. The reason that this
January 5 separation is important wa...

http://stackoverflow.com/questions/602444/what-is-functional-
declarative-and-imperative-programming/8357604#8357604

terminology - What is functional, declarative and imperative
programming? - Stack Overflow
stackoverflow.com

Functional programming is a subtype of declarative programming. So
you've really asked the question "what is functional/declarative
programming versus imperative programming"?


Show all stories from 2013

Launched

Automated Testing shared a link. Likes
December 31, 2012 2012

http://www.adacore.com/sparkpro/tokeneer/discovery

Tokeneer Discovery Tutorial | Tokeneer | SPARK Pro |
AdaCore
www.adacore.com
Automated Implementing
This tutorial provides an introduction to the SPARK programming software Automated
language and Toolset for engineering high-assurance software using the testing Software
source code from the Tokeneer Project. It contains a series of lessons Testing
that demonstrates key features of the language and Toolset, illustrating
why SPARK is superior... Automated Testing shared a link.
Like · Comment · Share December 31, 2012

http://www.adacore.com/sparkpro/tokeneer
December 31, 2012
Tokeneer | SPARK Pro | AdaCore
www.adacore.com
http://www.altran-praxis.com/spark.aspx
In order to demonstrate that developing
highly secure systems to the level of
Altran Praxis : Technology : SPARK rigor required by the higher assurance
www.altran-praxis.com levels of the Common Criteria is
possible, the NSA (National Security
Altran Praxis is a systems and software house. We are Agency) asked Altran Praxis to undertake
experts, focused on the engineering of systems with Like · Comment · Share a research project to develop part of an
demanding safety, security or innovation requirements existing secure system (the Tok...
within Systems, Software and Safety Engineering,
Innovation Management and Training. Altran Praxis is
based in Bath, London and Loughborough... Automated Testing shared a link.

http://www.testingstuff.com/
December 25, 2012
Software Testing Stuff
www.testingstuff.com
http://www.objectiver.com/index.php?id=6
Reference site for software quality and testing information including
associations, tools, training, services, articles, conferences, and
Objectiver: Documentation references.
www.objectiver.com

KAOS Tutorial (5.3 Mb) This tutorial covers the Like · Comment · Share
KAOS method, concepts and modeling
techniques for analysing project requirements.

December 25, 2012

http://www.testinginstitute.com/

December 25, 2012 International Institute for
Software Testing (IIST) CSTP &
CTM Informational Home Page
http://www.grove.co.uk/ www.testinginstitute.com

IIST is a software testing educational
Grove Consulting, Specialists in Software Testing and professional development
| Grove Consultants organization that is dedicated to
www.grove.co.uk advancing the software test profession
Like · Comment · Share through education and certification of
Grove Consulting are specialists in software testing and software test professionals
provide training for ISTQB and ISEB qualifications as well
as a variety of other testing based courses.
Automated Testing
December 25, 2012

Software Engineering Process Technology (SEPT): Software Test
Standards, by Stan Magee
IEEE Standard for Software Test Documentation (ANSI/IEEE Std.
December 25, 2012
829-1983)
IEEE Standard for Software Unit Testing (ANSI/IEEE Std. 1008-
http://bazman.tripod.com/checklist.html? 1987)
button1=GUI+Testing+Checklist IEEE Standard for Software Verification and Validation Plans (IEEE
Std. 1012-1986)
IEEE Guide for Software Verification and Validation Plans (IEEE
Std. 1059-1993)



http://bazman.tripod.com/
GUI Testing Checklist
bazman.tripod.com Bazman's Testing Pages
bazman.tripod.com
GUI Testing checklist intended for training new gui software testers &
testing gui interfaces. May be usefulafor unit testing also.
Automated Testing shared link. Software test plan, test plan contents,
December 24, 2012 full contents of a system test plan, GUI
Testing checklist intended for training
new gui software testers & testing gui
http://agile.csc.ncsu.edu/SEMaterials/tutorials/metrics/ interfaces, test setup checklist, test
planning tasklist.
Software Metrics
agile.csc.ncsu.edu

Laurie Williams, Dright Ho, and Sarah
Heckman. [Contact Authors]CSC 326 -
December 24, 2012
Software Engineering Department of
Computer ScienceNorth Carolina State
University
http://www.openseminar.org/se/modules/6/index/screen.do
Software Engineering > Object-Oriented Metrics
www.openseminar.org

Automated Testing shared a link. Object-oriented (OO) metrics are measurements on OO applications
December 24, 2012 used to determine the success or failure of a process or person, and to
quantify improvements throughout the software process. These metrics
can be used to reinforce good OO programming techniques, which leads
http://www.ipipan.gda.pl/~marek/objects/TOA/moose.html to more reliable code.

Metrics for Object-Oriented Software Engineering
www.ipipan.gda.pl

In most conventional software (e.g., software created using functional
decomposition), localization is based on functionality. Therefore:
December 24, 2012

http://www.sei.cmu.edu/library/abstracts/reports/93em007.cfm

Library | Materials for Teaching Software Inspections
Automated Testing shared a link. www.sei.cmu.edu
December 24, 2012
This 1993 report includes materials for demonstrating how to perform
an inspection and sell students on the effectiveness of inspections.
http://agile.csc.ncsu.edu/SEMaterials/OOMetrics.htm


2.2 Cohesion
Cohesion refers to how closely the operations in a class are
related to each other. Cohesion of a class is the degree to which Automated Testing shared a link.
the local methods are related to the local...See More December 21, 2012

Object-Oriented Metrics http://www.softdocwiz.com/UML.htm
agile.csc.ncsu.edu
Softdocwiz.com - UML Dictionary
Increasingly, object-oriented measurements are being used to evaluate
www.softdocwiz.com
and predict the quality of software [16]. A growing body of empirical
results supports the theoretical validity of these metrics [3, 5, 14, 19].
A generalizable element is abstract if it cannot be directly instantiated.
The validation of these metrics requires convincingly demonstrating that
See the entries for abstract class, abstract operation, and abstract use
(1) the metr...
case for more specific information.


December 19, 2012 Automated Testing
December 19, 2012
http://nptel.iitm.ac.in/video.php?subjectId=106101061
Coupling example http://pmd.sourceforge.net/pmd-
NPTEL PHASE 2 - Courses 5.0.1/rules/java/coupling.html
nptel.iitm.ac.in


Automated Testing
December 19, 2012

Cyclomatic complexity 12 from
http://phpmd.org/rules/codesize.html


Automated Testing Automated Testing shared a link.
December 15, 2012 December 18, 2012

Oral history of Watts Humphrey http://www.freetechbooks.com/

"The reason it’s so extraordinary is that when you make a Free Online Computer Science and Programming Books,
mistake-- and I tried to eliminate my mistakes, Textbooks, and Lecture Notes
and I literally couldn’t do it. I found that there was no way that I www.freetechbooks.com

could write programs without making Free online computer science, engineering and programming books,
errors. And the reason was that I was human, contrary to popular ebooks, texts, textbooks, lecture notes, documentations and references.
opinion, right? But there was no way I
could literally do it. Because I was human, I tended ...See More


Automated Testing
December 15, 2012

http://www.altran.com/



http://libre.adacore.com/tools/spark-gpl-edition/ http://www.sans.org/top25-software-errors/

SPARK GPL Edition | Tools | Libre SANS: CWE/SANS TOP 25 Most Dangerous
libre.adacore.com Software Errors
www.sans.org
SPARK GPL Edition 2012 GPL Edition Now Available! SPARK GPL provides
the foremost language, toolset and design discipline for the engineering The top 25 most dangerous software
of high-assurance software. It combines the renowned SPARK language programming errors courtesy of CWE and the
and verification tools from Altran Praxis with the GNAT Programming SANS Institute.
Studio (GPS) and GNATB...



http://www.overturetool.org/?q=node%2F13 http://www.altran-praxis.com/spark.aspx

VDM++ examples for Overture | Overture Altran Praxis : Technology : SPARK
www.overturetool.org www.altran-praxis.com

Altran Praxis is a systems and software house. We are
experts, focused on the engineering of systems with
demanding safety, security or innovation requirements
within Systems, Software and Safety Engineering,
Innovation Management and Training. Altran Praxis is
based in Bath, London and Loughborough...


http://www.vdmbook.com/twiki/bin/view http://www.palgrave.com/products/title.aspx?pid=265283

WebHome < Main < VdmBook Software Development with UML : Ken Lunn :
www.vdmbook.com Palgrave Macmillan
www.palgrave.com

Palgrave Macmillan is a global academic publisher,
serving learning and scholarship in higher education
and the professional world



http://www.sqale.org/ http://www.sonarsource.org/sonar-3-3-in-screenshots/

SQALE | Software Quality Assessment based Sonar » Sonar 3.3 in Screenshots
on Lifecycle Expectations www.sonarsource.org
www.sqale.org
SONAR is an open source quality
The method is the property of inspearit (formally management platform, dedicated to
DNV ITGS France), it is licensed under the Creative continuously analyze and measure source
Commons Attribution-NonCommercial-NoDerivs 3.0 code quality, from the portfolio to the
Unported license. method.



http://www.sonarsource.org/ http://vimeo.com/43523820

Sonar Like · Comment · Share
www.sonarsource.org

SONAR is an open source quality
management platform, dedicated to Automated Testing shared a link.
continuously analyze and measure December 8, 2012
source code quality, from the portfolio
to the method.
http://www.informit.com/articles/article.aspx?p=457502

The Bad Code Spotter's Guide | Poor Commenting
| InformIT
Automated Testing shared a link. www.informit.com
December 8, 2012
Old maps were marked with the phrase "Here be
Dragons" to help seafarers steer away from dangerous
http://www.spinellis.gr/codequality/ places; in programming the best way to avoid dealing
with bad code is to avoid writing it. Diomidis Spinellis
points out 10 giveaways to spot bad code that you (or
Spinellis: Code Quality: The Open Source Like · Comment · Share may have written.
others)
Perspective
www.spinellis.gr

Support page for Code Quality: The Open Source Automated Testing shared a link.
Perspective: Overview, discussion of approach, table December 7, 2012
of contents, reviews, errata, the making of.

http://www.codinghorror.com/blog/2006/05/code-smells.html

Coding Horror: Code Smells
www.codinghorror.com
I'm often asked why the book
December 6, 2012
Refactoring isn't included in my
recommended developer reading list.
http://msmvps.com/blogs/peterritchie/archive/2008/05/08/funda Although I own the book, and I've read it
twice, I felt it was too prescriptive-- if
mentals-of-ood-part-2-encapsulation-scope.aspx you see (x), then you must do (y). Any
Like · Comment · Share programmer worth his or her salt should
already be refactoring aggressively. I...
Fundamentals of OOD, Part 2 - Encapsulation Scope - Peter
Ritchie's MVP Blog
msmvps.com
MVP's worldwide December 6, 2012

Like · Comment · Share http://msmvps.com/blogs/peterritchie/archive/2008/06/10/funda
mentals-of-ood-part-3-method-cohesion.aspx

Fundamentals of OOD Part 3: Method Cohesion - Peter Ritchie's
MVP Blog
December 6, 2012 msmvps.com

MVP's worldwide
Example of non-cohesive methods

http://www.scribd.com/doc/115766203/Example-of-Non- Like · Comment · Share
Cohesive-Methods

http://www.scribd.com/doc/115766203/Example-of-Non- Automated Testing shared a link.
Cohesive-Methods December 6, 2012
www.scribd.com

http://pragprog.com/magazines/2010-12/cohesive-software-
design

The Pragmatic Bookshelf | PragPub December
2010 | Cohesive Software Design
Automated Testing pragprog.com
December 6, 2012
Books, screencasts, forums, articles, and more, all aimed
at helping software developers get better and have more
Tools supported by TIOBE's product TICS fun. Our titles are available on paper and electronically,
and all our ebooks are DRM-free. Enjoy!
http://www.tiobe.com/index.php/content/TICS/FactSheet.html

Automated Testing
December 5, 2012

Language Code Checker Test Coverage Cyclomatic Complexity
C/C++ TICSpp/TICSc (TIOBE internal code checkers) VectorCAST
(Vector Software) SourceMonitor (Campwood)
C++Test (Parasoft) C++Test (Parasoft)
QA-C/C++ (Programming Research) BullseyeCoverage (Bullseye)
PC-Lint (Gimpel) CTC++ (Testwell)
CodeSonar (GrammaTech) gcov/lcov (SourceForge)
C# FxCop (Microsoft) NCover (NCover)
StyleCop (Microsoft)
J...See More


December 5, 2012

http://cobertura.sourceforge.net/

Cobertura
cobertura.sourceforge.net
December 5, 2012
Cobertura is a Java code coverage analysis tool. You can use it to
determine what percentage of your source code is excercised by your
Example of Method with Cyclomatic
unit tests.
Complexity 202
www.scribd.com

MapsMIDlet.ja·a lxxxi All classes and interfaces must Like · Comment · Share
belong to a named package 17 PMD Marker Avoid
really long classes. 17 PMD Marker Efferent
Couplings is 36 17 Metrics Marker Lack of Cohesion
in Methods (Henderson-Sellers) is 90% 17 Metrics Automated Testing
Marker Lack of Cohesion in Methods (Total
Correlation) i...

CyclomaticComplexity - checks cyclomatic complexity against a
Automated Testing specified limit. The complexity is measured by the number of if,
December 3, 2012 while, do, for, ?:, catch, switch, case statements, and operators
&& and || (plus one) in the body of a constructor, method, static
NPathComplexity - NPATH metric computes the number of initializer, or instance initializer. It is a measure of the minimum
possible execution paths through a function. It takes into account number of possible paths through the source and therefore the
the nesting of conditional statements and multi-part boolean number of required tests. Generally 1-4 is considered good, 5-7
expressions (e.g., A && B, C || D, etc.). ok, 8-10 consider re-factoring, and 11+ re-factor now!

Rationale: Nejmeh says that his group had an informal NPATH Like · Comment · Share
limit of 200 on individual routines; functions that exceeded this
value were candidates for further decomposition - or at least a
closer look. Automated Testing shared a link.
November 29, 2012
https://www.coursehero.com/

Automated Testing shared a link. Course Hero | Study Guides,
November 29, 2012 Lecture Notes, Flashcards, Practice
Exams, Lecture Videos | The best
way
http://www.overturetool.org/?q=home www.coursehero.com

Welcome to the Overture tool
project | Overture
www.overturetool.org Like · Comment · Share

Overture is a community-based project
developing the next generation of open-
source tools to support modelling and
analysis in the design of computer-
November 29, 2012
based systems. Overture supports VDM:
Like · Comment · Share The Vienna Development Method, a set
of modelling techniques with a long and
http://kurser.iha.dk/eit/tivdm1/groups.html
successful history of industrial ap...

Automated Testing shared a link. Model-drevet udvikling med
November 21, 2012 VDM++ og UML 1 (TIVDM1) - Forår
2010
kurser.iha.dk
http://computationaltales.blogspot.co.nz/

Computational Fairy Tales
computationaltales.blogspot.co.nz

November 21, 2012

November 21, 2012 GREAT PRINCIPLES OF COMPUTING

http://csunplugged.org/unplugged-teachers welcome
cs.gmu.edu

Unplugged for Teachers | Computer Science Unplugged
csunplugged.org

The activities for Computer Science Unplugged are easy to integrate into
a classroom program. Each is a self-contained lesson plan, and it's easy
to...


November 20, 2012
November 20, 2012
http://www.eclipse.org/tptp/home/documents/process/developm
ent/static_analysis/TPTP_static_analysis_tutorial_part1.html
http://pmd.sourceforge.net/

TPTP static analysis tutorial part 1
PMD
www.eclipse.org
pmd.sourceforge.net
The Eclipse Test & Performance Tools Platform
PMD is a source code analyzer. It finds
(TPTP) is a powerful tool for evaluating the overall
unused variables, empty catch blocks,
performance and quality of Java source code. In
unnecessary object creation, and so
addition to well-known features for measuring code
forth.
performance, TPTP now includes a framework that
offers the user a uniform focus for all forms of stat...

November 20, 2012
November 20, 2012

http://andrei.gmxhome.de/jdepend4eclipse/
http://findbugs.sourceforge.net/

JDepend plugin for Eclipse:
FindBugs™ - Find Bugs in Java Programs
JDepend4Eclipse
findbugs.sourceforge.net
andrei.gmxhome.de
This is the web page for FindBugs, a program
JDepend4Eclipse plugin for Eclipse is a
which uses static analysis to look for bugs in
wrapper for running JDepend from within
Java code. It is free software, distributed under
Eclipse, written by Andrey Loskutov
the terms of theLesser GNU Public License. The
name FindBugs™ and theFindBugs logoare
trademarked byThe University of Maryland.
Like · Comment · Share FindBugs ...

Automated Testing
November 20, 2012
November 19, 2012

http://codedependents.com/2009/07/01/top-5-static-analysis-

Nov 19, 2012 7:52pm plugins-for-eclipse/

Top 5 Static Analysis Plugins for Eclipse
codedependents.com

Static Analysis How is it that static analysis is still a best kept secret
while so much lips service is paid to code reviews? We have long since
understood that boring repetitive jobs should be l...


November 19, 2012

http://standards.ieee.org/findstds/standard/1044-1993.html

IEEE SA - 1044-1993 - IEEE Standard Classification for
Software Anomalies
standards.ieee.org

A uniform approach to the classification of anomalies found in software
and its documentation is provided. The processing of anomalies
discovered during any software life cycle phase are described, and
Automated Testing shared a link. comprehensive lists of software anomaly classifications and related data
November 16, 2012 items that are helpful to...

1. Introduction to Function Points

A structured technique of problem
solving, function point analysis is a Automated Testing shared a link.
method to break systems into smaller November 16, 2012
components, so they can be better
understood and...
http://www.testinginstitute.com/cstpm.php

Like · Comment · Share Certified Software Test Professional – Master
Level (CSTP-M)
www.testinginstitute.com

Automated Testing shared a video. IIST provides testing for Software Testing
November 16, 2012 Certification

Fixing Software Design Defects part 3

November 14, 2012

http://www.springer.com/computer/swe/book/978-0-85729-276-
6

Specification of Software Systems
www.springer.com

Recent advances in software specification methods,
model checking, and theorem proving have generated
new tools for the use of formal methods in both industry
and academia. Yet, in order to choose the techniques
most appropriate ...


November 9, 2012

Automated Testing shared a link. http://www.sei.cmu.edu/certification/process/tsp/
November 9, 2012

SEI Certification | Process Improvement | TSP Coach
http://www.sei.cmu.edu/certification/process/psp-instructor/ www.sei.cmu.edu

Be accepted into the program as a candidate after submission of all
SEI Certification | Process Improvement | PSP Instructor documentation described above. Then successfully complete the
www.sei.cmu.edu SEI’sTSP Coach Training course. Upon graduation from the TSP Coach
Training course, candidates must complete the mentoring program as
PSP Instructor detailed below.


Automated Testing shared a link. November 9, 2012
November 9, 2012

http://www.sei.cmu.edu/certification/architecture/dsa/ http://www.sei.cmu.edu/certification/process/psp/

SEI Certification | Software Architecture | Documenting SEI Certification | Process Improvement | PSP Developer
Software Architectures Instructor www.sei.cmu.edu
www.sei.cmu.edu
The SEI Personal Software Process is a disciplined and structured
Effectively documenting a software architecture is as important as approach to software development that can be applied to many different
crafting it. As a Documenting Software Architectures (DSA) instructor, types of projects. As an SEI-Certified PSP Developer, you have the
you'll be qualified to train others in effective software architecture knowledge and skills to competently deliver quality software on
documentation practices that meet the needs of the entire architecture predictable schedules—and the SE...
stakeholder communit...

November 9, 2012 November 9, 2012

http://www.sei.cmu.edu/certification/process/pcmm-instructor/ http://www.sei.cmu.edu/certification/architecture/atam/

SEI Certification | Process Improvement | People CMM SEI Certification | Software Architecture | Architecture
Instructor Tradeoff Analysis Method Leader | Architect
www.sei.cmu.edu www.sei.cmu.edu

People CMM Instructor The Software Engineering Institute ATAM is used to evaluate software
architectures relative to quality attribute goals. An ATAM exposes
architectural risks that could inhibit the achievement of an
Like · Comment · Share organization's business goals.


November 9, 2012
November 9, 2012
http://www.sei.cmu.edu/certification/measurement/dppss/

http://www.sei.cmu.edu/certification/measurement/igdm/
SEI Certification | Measurement & Analysis | Designing
Products and Processes Using Six Sigma
www.sei.cmu.edu SEI Certification | Measurement & Analysis | Implementing
Goal-Driven Measurement Instructor | Instr
Become an SEI-Certified Instructor for Designing Products and Processes www.sei.cmu.edu
Using Six Sigma
An Implementing Goal-Driven Measurement (IGDM) Instructor introduces
the methods for identifying and defining indicators (graphical displays)
Like · Comment · Share and measures that directly support an organization’s business goals
related to product development, process improvement, and project
management.
November 9, 2012

http://www.sei.cmu.edu/certification/measurement/ippss/ November 9, 2012

SEI Certification | Measurement & Analysis | Improving http://www.sei.cmu.edu/certification/measurement/igdm/
Process Performance Using Six Sigma
www.sei.cmu.edu
SEI Certification | Measurement & Analysis |
Become an SEI-Certified Instructor for Improving Process Performance Implementing Goal-Driven Measurement
Using Six Sigma Instructor | Instr
www.sei.cmu.edu

Like · Comment · Share An Implementing Goal-Driven Measurement (IGDM)
Instructor introduces the methods for identifying and
defining indicators (graphical displays) and measures
that directly support an organization’s business goals
Automated Testing shared a link. Like · Comment · Share to product development, process improvement,
related
November 5, 2012 and project management.

AntiPatterns Automated Testing shared a link.
sourcemaking.com November 5, 2012

AntiPatterns, like their design pattern
counterparts, define an industry UML
vocabulary for the common defective sourcemaking.com
processes and implementations within
organizations. A higher-level vocabulary Most books aboutUMLdescribe it almost in its entirety. Inevitably you’re
simplifies communication between left with only a superficial knowledge of the range ofUMLelements,
Like · Comment · Share software practitioners and enables without a deep and intuitive understanding of how to applyUMLas a
concise description of higher-level whole to real world design problems. This book doesn’t set out to cover
concepts. all ofUML, but instead...

November 2, 2012

http://www.doc.ic.ac.uk/~jnm/book/ Automated Testing shared a link.
November 2, 2012

http://www.doc.ic.ac.uk/~jnm/book/book_applets/concurrency.ht
ml

Concurrency: models and programs
www.doc.ic.ac.uk


www.doc.ic.ac.uk

November 2, 2012 October 30, 2012

http://www.doc.ic.ac.uk/~jnm/book/ Oct 31, 2012 12:13am
ArgoUML in action

www.doc.ic.ac.uk


October 30, 2012

CodeBalance: Software Architecture Antipatterns
: Swiss Army Knife Interface
codebalance.blogspot.com

"First of all, you must think that this interface will be
implemented by a class and if the number of methods is Unlike · Comment · Share 1
excessive, there will be plenty of empty method bodies in
implementor class."You make the assumption that an
interface cannot provide a default implementation. That
Like · Comment · was true 15 years ago,...
Share Automated Testing
October 29, 2012

Automated Testing Code should not resemble Swiss Army knife :)
October 29, 2012

Does your code look like spaghetti?


Like · Comment · Share Automated Testing
October 28, 2012

Automated Testing updated their cover photo. http://foter.com/
October 28, 2012


October 26, 2012

http://nptel.iitm.ac.in/courses/Webcourse-
contents/IIT%20Kharagpur/Soft%20Engg/New_index1.html

IIT Kharagpur - NPTEL Online
nptel.iitm.ac.in


October 26, 2012

http://nptel.iitm.ac.in/courses.php?disciplineId=106
Like · Comment · Share · Tag Friends

NPTEL PHASE 2 - Courses
nptel.iitm.ac.in
October 23, 2012
One more book on software architecture

Automated Testing Software Architecture: Foundations, Theory,
October 23, 2012 and Practice
www.amazon.com

Oct 23, 2012 10:18pm Software architecture is foundational to the
Problems with ArchStudio and Eclipse on Ubuntu :( development of large, practical software-intensive
applications. This brand-new text covers all facets of
software architecture and how it serves as the
intellectual centerpiece of software development and
evolution. Critically, this text focuses on su...

October 23, 2012

Definitions of software architecture

http://www.sei.cmu.edu/architecture/

Software Architecture | Overview
www.sei.cmu.edu

Software architecture serves as the blueprint for both the system and
the project developing it. Learn about the SEI's expertise in software
architecture.


Automated Testing shared Computer Science's photo. Automated Testing
October 13, 2012 October 13, 2012

I got this. Oct 13, 2012 4:44pm


Automated Testing shared a link via Software Testing
Jobs.
October 12, 2012

Apply for the ARK Challenge Accelerator For Tech Startups,
Application Deadline June 17 | Purdue CS:
www.cs.purdue.edu
October 12, 2012
The deadline approaches for applicants to The ARK Challenge
Accelerator For Tech Startups New Tech Accelerator In Northwest
Arkansas Offers Rare Access To Top Minds In Retail,
Below is the link for Introduction to Software Engineering IIT
Transportation/Logistics And Food Processing
Bombay
Lectures in this course:39 Like · Comment · Share
1 - Introduction to Software Engineering (52:21)
2 - Introduction to Software Engineering (52:55)
3 - Overview of Phases (57:22) Automated Testing
4 - Overview ...See More October 12, 2012

NPTEL PHASE 2 - Courses Great video tutorial on software engineering
nptel.iitm.ac.in
http://www.youtube.com/course?list=EC8751DA481F0F0D17


Automated Testing shared a link. October 12, 2012
October 12, 2012

Architecture centric software development delivers testable
PSP and Cleanroom Software Engineering are two software software
processes that deliver high-quality software

Architecture-Centric Software Project
Cleanroom Software Engineering: Technology and Management: A Practical Guide
Process www.amazon.com
www.amazon.com
To fully leverage the value of software architecture in
Cleanroom software engineering is a process for enterprise development projects, you need to
developing and certifying high-reliability software. expressly and consciously link architecture with
Combining theory-based engineering technologies in project management. This book shows how, drawing
project management, incremental development, software on powerful lessons learned at Siemens, one of the
specification and design, correctness verification, and world's leading software development organizati...
Like · Comment · statistical ...
Share

Automated Testing October 12, 2012
October 11, 2012

It's sometimes very useful to evaluate software architecture by
Get ready for ArgoUML design critics learning and observing architectures of past projects

ArgoUML Design Critics
Evaluating Software Architectures: Methods and
Case Studies
Chapter 15. The Critics www.amazon.com
Table of Contents
The foundation of any software system is its
15.1. Introduction
architecture. Using this book, you can evaluate every
15.1.1. Terminology aspect of architecture in advance, at remarkably low cost
15.1.2. Design Issues -- identifying improvements that can dramatically
15.2. Uncategorized improve any system's performance, security, reliability,
and maintainability. As the pract...
...See More


Automated Testing
October 11, 2012
October 11, 2012

Screenshots from Automated testing efforts (3 photos) This book provides disciplined approach to software development.
Tools for automated testing of software architecture and software design
Once the software is built this way automated testing becomes
value added tool that preserves inherent quality of PSP based
software

PSP(sm): A Self-Improvement Process for
Software Engineers
www.amazon.com

Most software-development groups have embarrassing
records: By some accounts, more than half of all
Like · Comment · Share software projects are significantly late and over
budget, and nearly a quarter of them are cancelled
without ever being completed. Although developers
recognize that unrealistic schedules, inade...

October 11, 2012 October 11, 2012

Here we propose automated testing of software architecture and Here we propose software testing checklist on how to achieve
software design with two tools, ArchLight and ArgUML zero defects software

Elevator Pitch for Testing Software Zero Defects Software Checklists
Architecture and Software Design www.scribd.com
www.scribd.com
Scribd is the world's largest social reading and
Elevator Pitch for Testing Software Architecture and publishing site.
Software Design


Automated Testing
2012

Fixing Software Design Defects part 3 — at Belgrade, Serbia.

Like · Comment · Share · Tag Friends 1

Joined Facebook
October 11, 2012

Like · Comment

Launched in 2012

Like · Comment

Elevator pitch for testing software architecture and software design

More Related Content

Similar to Elevator pitch for testing software architecture and software design (20)

More from Zarko Acimovic (6)

Recently uploaded (20)

Elevator pitch for testing software architecture and software design