Software-artifact Infrastructure Repository

• Home
• Download Objects
• Download Tools
• C Object Handbook
• Java Object Handbook
• Java Invariant Checking
  Examples Handbook
• SPL Object Handbook
• Concise Object Handbook
• C Object Preparer's Handbook
• Java Object Preparer's Handbook
• SPL Object Preparer's Handbook
• Concise Obj. Preparer's Handbook
• Reporting Experimental Results
• Citing SIR
• SIR Users and Publications
• Frequently Asked Questions
• Acknowledgments

C Object Requirements

• Required
  1. First-tier (more easily determined)
     • Coded in C
     • "Real" program
     • 3-12 KLOC: Use LOCC to get accurate line count excluding comments (wc may have been used for some older objects, in which case larger files may be okay)
     • Free, distributable source
     • 5 or more versions (If release versions aren't available, also look for cvs, rcs, other source control tags)
  2. Second-tier
     • Runs on Solaris
     • We can build the system from its source code
     • Enables easy automation of test input and validation; is scriptable (outputs can be made deterministic)
• Desirable
  • Has test suite(s)
  • Has faults (real faults preferred)
  • Has specifications/documentation
  • Can be used with our coverage analysis tools