- BF79.J. A. Bauer and A. B. Finger. Test plan generation using formal grammars. In Proc. of Fourth Int. Conf. on Software Engineering, September 1979. Google ScholarDigital Library
- BHO89.Marc J. Balcer, William M. Haaling, and Thomas J. Ostrand. Automatic Generation of Test Scripts from Formal Test Specifications. In Proc. of ACM/SIGSoft '89 (TAVS). ACM Press, December 1989. Google ScholarDigital Library
- CDK85.M. Chandrasekharan, B. Dasarathy, and Z. Kishimoto. Requirements-Based Testing of Real-Time Systems: Modeling for Test ability. IEEE Computer, April 1985.Google Scholar
- Das85.B. Dasarat hy. Timing Constraints of Real-Time Systems: Constructs for Expreaaing Them and Methods of Validating Them. IEEE Transactions on Software Engineering, 11(1), January 1985.Google Scholar
- DH81.A. J. Duncan and J. S. Hutchinson. Using attribute grammars to test designs and implementations. In Proc. of Fifth Int. Conf. on Software Engineerang, April 1981. Google ScholarDigital Library
- GG75.John B. Goodenough and Susan L. Gerhart. Toward a theory of test data selection. IEEE Transactions on Software Engineering, 1(2), June 1975.Google ScholarDigital Library
- GHM87.John D. Gannon, Richard G. Hamlet, and Harlan D. Mills. Theory of modules. IEEE Transactions on Software Engineering, 13(7), July 1987. Google ScholarDigital Library
- GHW85.John Guttag, James Horning, and Jeanette Wing. "The Larch Family of Specification Languages". IEEE Transactions on Software Engineering, 11(9), September 1985.Google Scholar
- GK91.Carlo Ghezzi and Richard A. Kemmerer. Executing formal specifications: The ASTRAL to TRIO translation approach, In Proc. of Sympostum on Software Testing, Analyszs, and Verificat&on (TAV4). ACM/SIGSOFT, ACM Press, October 1991. Google ScholarDigital Library
- GT79.Joseph A. Goguen and Joseph J. Tardo. "An Introduction to OBJ: A Language for Writing and Testing Formal Algebraic Program Specifications". In IEEE Conf. on Specification of Reliable Software, 1979.Google Scholar
- GW88.Joseph A. Goguen and Timothy WinkIer. Introducing OBJ3, 1988.Google Scholar
- Har87.David Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8, 1987. Google ScholarDigital Library
- How76.William E. Howden. Reliability of the path analysis testing strategy. IEEE Transactions on Software Engineering, 2(3), September 1976.Google ScholarDigital Library
- How78.William E. Howden. Theoretical and empirical studies of program testing. IEEE Transactions on Software Engineering, 4(4), July 1978.Google ScholarDigital Library
- Hua78.J. C. Huang. Instrumentation and software testing. IEEE Computer, 11(4), April 1978.Google Scholar
- IEE83.ACM/SIGSOFT and IEEE-CS Software Engineering Technical Committee. IEEE Standard Glossary of Software Engineering Terminology, Standard 7.29-1983, 1983.Google Scholar
- Kem85.Richard A. Kemmerer. "Testing Formal Specifications to Detect Design Errors". IEEE Transactions on Software Engineering, 11(1), January 1985.Google ScholarDigital Library
- KL84.J. Knight and N. Leveson. A Large Scale Experiment in N- Version Programming. In Proc. of Ninth Annual Software Engineering Workshop, November 1984.Google Scholar
- LM89.Bev Littlewood and Douglas R. Miller. Conceptual modeling of coincident failures in multiversion software, IEEE Tansactions on Software Engineering, 15(12), December 1989. Google ScholarDigital Library
- LvH85.David C. Luckham and Friedrich W. von Henke. An Overview of ANNA, a Specification Language for Ada. IEEE Transactions on Software Engineering, 2(2), March 1985.Google Scholar
- MH89.Charles E. McDowell and David P. Helmbold. Debugging concurrent programs. ACM Computing Surveys, 21(4), December 1989. Google ScholarDigital Library
- Pan78.D. J. Panzl. Automatic software test drivers. IEEE Computer, 11(4), April 1978.Google Scholar
- Pnu86.Amir Pnueli. Application of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends. In J. W. de Bakker, W.-P de Roever, and G. Rozenberg, editors, Current Trends an Concurrency. Springer-Verlag, 1986. Google ScholarDigital Library
- RAO89.Debra J. Richardson, Stephanie Leif Aha, and Leon J. Osterweil Integrating testing techniques through process programming. In Proc. of ACM/SIGSOFT '89 (TA V3). ACM Press, December 1989. Google ScholarDigital Library
- RAO92.Debra J. Richardson, Stephanie Leif Aha, and T. Owen O 'Malley. Deriving Test Oracles from Multi-Specifications for Reactive Systems. Technical Report TR-92-01, Information and Computer Science, University of California, January 1992.Google Scholar
- Rau73.J. C. Rault. Extension of hardware fault detection models to the verification of software. In W. C, Hetzel, editor, Program Test Methods. Prentice Hall, 1973.Google Scholar
- RC85a.Debra J. Richardson and Lori A. Clarke. "Partition Analysis: A Method Combinmg Testing and Verification". IEEE Transactions on Software Engineering, 11(12), December 1985.Google ScholarDigital Library
- RC85b.Debra J. Richardson and Lori A. Clarke. Testing Techniques Baaed on Symbolic Evaluation. In T. Anderson, editor, Software: Requirements, Specification and Testing. Blackwell Scientific, 1985. Google ScholarDigital Library
- RG89.Rami R. Razouk and Michael M. Gorlick. A Real- Time Interval Logic for Ressoning About Executions of Real- Time Programs. In Proc. of ACM/SIGSOFT '89 (TA V3). ACM Press, December 1989. Google ScholarDigital Library
- ROT89.Debra J. Richardson, Owen O'Malley, and Cindy Tittle. Approaches to specfication-based testing. In Proc. of ACM/SIGSOFT '89 (TA V3). ACM Press, December 1989. Google ScholarDigital Library
- RT88.Debra J. Richardson and Margaret C. Thompson. The Relay Model of Error Detection and Its Application. In Proc. of Second Workshop on Software Testing, Verification, and Analysis. IEEE-CS Press, July 1988.Google Scholar
- San91.Sriram Sankar. Run-time consistency checking of algebraic specifications. In Proc. of Symposium on Software Testing, Analysis, and Verification (TAVJ). ACM/SIGSOFT, ACM Press, October 1991. Google ScholarDigital Library
- Spi89.J. M. Spivey. The Z Notataon: A Reference Manual. Prentice Hall, 1989. Google ScholarDigital Library
- stu73.Leon G. Stucki. Automatic Generation of Self-Metric Software. Record of the 1973 IEEE Symposaum on Software Reliabality, April 1973.Google Scholar
- WD81.Elaine J. Weyuker and Martin Davis. Pseudo-oracles for Nontest able Programs. In Proc. of ACM '81 Conf., 1981. Google ScholarDigital Library
- Wey82.Elaine J. Weyuker. On testing non-testable programs. The Computer Journal, 25(4), 1982.Google ScholarCross Ref
- Wey86.Elaine J. Weyuker. Axiomatizing Software Test Data Adequacy. IEEE Transactions on Software Engineering, 12(11), November 1986. Google ScholarDigital Library
- Win83.Jeannette Wing. "A Two- Tiered Approach to Specifying Programs", PhD thesis, Massachusetts Institute of Technology, 1983.Google Scholar
- Win90.Jeannette M. Wing. A specifier's introduction to formal methods. IEEE Computer, 23(9), September 1990. Google ScholarDigital Library
- WO80.Elaine J. Weyuker and Thomas J. Ostrand. Theories of Program Testing and the Application of Revealing Subdomains. IEEE Transactions on Software Engineering, 6(3), May 1980Google Scholar
- YT89.Michal Young and Richard N. Taylor. Rethinking the taxonomy of fault detection techmques. In Proc. of Eleventh Int. Conf. on Software Engineering, May 1989. Google ScholarDigital Library
- Zav89.Pamela Zave. A Compositional Approach to Mulitparadigm Programming. IEEE Software, 6(5), September 1989. Google ScholarDigital Library
- ZS86.Pamela Zave and William Schell. Salient Features of an Executable Specification Language and Its Environment. IEEE Transactions on Software Engineering, 12(2), February 1986. Google ScholarDigital Library
Index Terms
- Specification-based test oracles for reactive systems
Recommendations
Achieving Effective Test Suites for Reactive Systems using Specification Mining and Test Suite Reduction Techniques
Failures in reactive embedded systems are often unacceptable. Moreover, effective testing of such systems to detect potential critical failures is a difficult task.
We present an automated black box test suite generation technique for reactive systems. ...
Fault-based test suite prioritization for specification-based testing
Context: Existing test suite prioritization techniques usually rely on code coverage information or historical execution data that serve as indicators for estimating the fault-detecting ability of test cases. Such indicators are primarily empirical in ...
Comments