1

Bolstering E-governance with CertusContributions to Norwegian Customs and Excise

Sagar SenResearch ScientistCertus Verification and Validation Center, Simula Research Laboratory, Oslo

2

The Heart of Norway’s E-governance: TVINN

• The Norwegian Custom’s IT-system for processing declarations

• Established in 1988

• Around 120 billion NOK revenue in 2011

• Towards a corruption-free society

3

The Heart of Norway’s E-governance: TVINN

• 30,000 declarations/day, more than 100,000 customs rules

• Customs rules accept/reject declarations based on information in the declaration

• Norway first country in the world to use UN’s EDIFACT brokerage standard

• Key to a corruption-free society

• Towards a corruption-free society

4

Daily Challenges for TVINN

• Accurate Computation of Taxes

3.14159263....

5

Daily Challenges for TVINN

• Accurate Computation of Taxes

• Preventing criminal activities such as mafia

Gross-weight > 2 x Net-weight?

6

Daily Challenges for TVINN

• Accurate Computation of Taxes

• Preventing criminal activities such as mafia

• Protecting people of Norway from imports of hazardous substances

7

Daily Challenges Translates to Testing

• Accurate Computation of Taxes

• Preventing criminal activities such as mafia

• Protecting people of Norway from imports of hazardous substances

Testing TVINN

Are customs rules complete? Can they correctly detect problems in declarations?

8

Behind the Scenes: Testing at Toll

• Testing the Dynamic TVINN system

Eg.: New government, new policy!

9

Behind the Scenes: Testing at Toll

• Testing the Dynamic TVINN system

• League of extraordinary test managers at Toll

Atle, Katrine, Astrid, Odd

10

Behind the Scenes: Testing at Toll

• Testing the Dynamic TVINN system

• League of extraordinary test managers at Toll

• Customs rules are a combination of 10,000 Item Codes, 88 Country Groups, 934 Tax Types

Coffee8-digit Item Code:

0901200

Country Group: EU

Tax Fee Code: MVTax Group: 1

11

Behind the Scenes: Testing at Toll

• Testing the Dynamic TVINN system

• League of extraordinary test managers at Toll

• Customs rules are a combination of 10,000 Item Codes, 88 Country Groups, 934 Tax Types

• 13 trillion possible interactions!

• Manually finding a faulty rule is like finding the proverbial needle in a haystack!

12

Can we automate steps for test managers?

13

Depict: A Surgical Tool to Detect Holes in Declarations

• Modelling What You Are Looking For!

CoffeeHeadphone

s Cotton VAT etc.

14

Depict: A Surgical Tool to Detect Holes in Declarations

• Modelling What You Are Looking For!

• Automatic Generation of Data Interactions

15

Depict: A Surgical Tool to Detect Holes in Declarations

• Modelling What You Are Looking For!

• Automatic Generation of Data Interactions

• Visualizing Holes (Absence of Interactions) in Thousands of Records

16

Depict: A Surgical Tool to Detect Holes in Declarations

• Modelling What You Are Looking For!

• Automatic Generation of Data Interactions

• Visualizing Holes (Absence of Interactions) in Thousands of Records

• All this in a matter of seconds!

Holes detected in 8400 declarations in 6 seconds!Eg. No test for Coffee and VAT

17

Bird’s Eye Visualization of Large and Complex Data

Visualizing Items Imported to Norway (8400 declarations)

18

The Big Picture: Certus

Private SectorPublic Sector

In a unique dialogue to build...

Mutual TrustSynergy

Solutions to Common Software V&V Problems

19

Thank you for listening. Questions are welcome.

AcknowledgementsArnab Sarkar, Institute of Engineering and Mgmt., KolkattaAstrid Grime and Atle Sanders, TollMembers of Certus SFI and Norwegian Research Council