Industry Collaboration

by improving the quality of software in industry through the development of

• Technology
• Measurements
• Standards

We accomplish this by

• Concentrating on key areas at the forefront of technology
• Partnering with industry, consortia, and standards groups
• Transferring our technology and expertise to industry

We do this through the development of

• Conformance test suites and testing tools 
• • XML Technologies (XML, DOM, XSL, Schema, XQuery, MobileWeb) Project 
  • Healthcare: HL7 Messaging 
  • IHE Cross Enterprise Document Sharing (XDS)
  • Computer Forensics Tools Testing
  • Voting Systems

• Reference Implementations
• • HL7 Experimental Registry
  • XDS

• Standards Developed Jointly with Industry
• • eHealth (HL7, IEEE, HITSP) 

• Diagnostic Tools 
• • SAMATE

• Research to reduce the costs of testing 
• • Automatic Test Generation using Formal Methods
  • Software Component Integration Testing 
  • Test Accelerator

• Reference data
• • National Software Reference Library - computer forensics
  • SAMATE