Requirements coverage as an adequacy measure for conformance testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5256 LNCS, Issue , 2008, Pages 86-104

  Rajan, Ajitha ^a   Whalen, Michael ^b   Staats, Matt ^a   Heimdahl, Mats P E ^a  

^a UNIVERSITY OF MINNESOTA   (United States)

^b ROCKWELL COLLINS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

CONFORMANCE TESTING; COVERAGE METRICS; MODEL BASED DEVELOPMENT; MODEL COVERAGE; STATISTICAL SIGNIFICANCE;

FORMAL METHODS;

EID: 57149114395     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88194-0_8     Document Type: Conference Paper

References (21)

1. Andrews, J.H., Briand, L.C., Labiche, Y.: Is Mutation an Appropriate Tool for Testing Experiments? In: Proceedings of the 27th International Conference on Software Engineering (ICSE), pp. 402-411 (2005)
2. Beer, L., Ben-David, S., Eisner, C., Rodeh, Y.: Efficient detection of vacuity in ACTL formulas. In: Formal Methods in System Design, pp. 141-162 (2001)
3. Briand, L.C., Di Penta, M., Labiche, Y.: Assessing and Improving State-Based Class Testing: A Series of Experiments. IEEE Transactions on Software Engineering 30(11) (2004)
4. Chilenski, J.J., Miller, S.P.: Applicability of Modified Condition/Decision Coverage to Software Testing. Software Engineering Journal, 193-200 (September 1994)
5. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)
6. Fisher, R.A.: The Design of Experiment. Hafner, New York (1935)
7. Gargantini, A., Heitmeyer, C.: Using model checking to generate tests from requirements specifications. Software Engineering Notes 24(6), 146-162 (1999)
8. Harel, D., Marelly, R.: Come Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine. Springer, New York (2003)
9. Hayhurst, K.J., Veerhusen, D.S., Rierson, L.K.: A practical tutorial on modified condition/decision coverage. Technical Report TM-2001-210876, NASA (2001)
10. Kupferman, O., Vardi, M.Y.: Vacuity detection in temporal model checking. Journal on Software Tools for Technology Transfer 4(2) (February 2003)
11. Kvam, P.H., Vidakovic, B.: Nonparametric Statistics with Applications to Science and Engineering (2007)
12. Mathworks Inc. Simulink product web site, http://www.mathworks.com/ products/simulink
13. The NuSMV Toolset (2005), http://nusmv.irst.itc.it/
14. Offutt, A.J., Pan, J.: Automatically detecting equivalent mutants and infeasible paths. Software Testing, Verification & Reliability 7(3), 165-192 (1997)
15. Purandare, M., Somenzi, F.: Vacuum cleaning CTL formulae. In: Proceedings of the 14th Conference on Computer Aided Design, pp. 485-499. Springer, Heidelberg (2002)
16. Rajan, A., Whalen, M.W., Heimdahl, M.P.E.: The Effect of Program and Model Structure on MC/DC Test Adequacy Coverage. In: Proceedings of 30th International Conference on Software Engineering (ICSE) (to appear, 2008), http://crisys.cs.umn.edu/ICSE08.pdf
17. Rayadurgam, S.: Automatic Test-case Generation from Formal Models of Software. PhD thesis, University of Minnesota (November 2003)
18. Rayadurgam, S., Heimdahl, M.P.E.: Coverage based test-case generation using model checkers. In: Proceedings of the 8th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2001), April 2001, pp. 83-91. IEEE Computer Society Press, Los Alamitos (2001)
19. Rayadurgam, S., Heimdahl, M.P.E.: Generating MC/DC adequate test sequences through model checking. In: Proceedings of the 28th Annual IEEE/NASA Software Engineering Workshop - SEW 2003, Greenbelt, Maryland (December 2003)
20. RTCA. DO-178B: Software Consideration. In: Airborne Systems and Equipment Certification. RTCA (1992)
21. Whalen, M.W., Rajan, A., Heimdahl, M.P.E.: Coverage metrics for requirements- based testing. In: Proceedings of International Symposium on Software Testing and Analysis (July 2006)