Publication | Open Access
An empirical study of the reliability of UNIX utilities
1.2K
Citations
4
References
1990
Year
Software MaintenanceSoftware Reliability TestingEngineeringUnix UtilitiesVerificationSoftware EngineeringSoftware AnalysisFormal VerificationRandom CharacterReliability EngineeringTest AutomationInteractive UtilitiesSystems EngineeringFuzzingProgram BugsComputer EngineeringComputer ScienceStatic Program AnalysisSoftware DesignMutation-based TestingProgram AnalysisSoftware TestingFormal MethodsSymbolic ExecutionSystem Software
The study develops tools to test UNIX utilities, describes the tests and input types, analyzes results to identify and classify bugs causing crashes, and offers concluding remarks and recommendations. The authors built a fuzz generator, ptyjig, and automation scripts, and provided user manuals in an appendix. The tests revealed numerous bugs that caused crashes, which were identified and classified, and the authors suggest ways to avoid such problems.
The following section describes the tools we built to test the utilities. These tools include the fuzz (random character) generator, ptyjig (to test interactive utilities), and scripts to automate the testing process. Next, we will describe the tests we performed, giving the types of input we presented to the utilities. Results from the tests will follow along with an analysis of the results, including identification and classification of the program bugs that caused the crashes. The final section presents concluding remarks, including suggestions for avoiding the types of problems detected by our study and some commentary on the bugs we found. We include an Appendix with the user manual pages for fuzz and ptyjig.
| Year | Citations | |
|---|---|---|
Page 1
Page 1