Linking functional requirements and software verification

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 2009, Pages 295-302

  Post, Hendrik ^a   Sinz, Carsten ^a   Merz, Florian ^b   Gorges, Thomas ^b   Kropf, Thomas ^b  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b ROBERT BOSCH GMBH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMOTIVE SOFTWARE; FORMAL VERIFICATIONS; FUNCTIONAL REQUIREMENT; REQUIREMENTS CHANGE; SOFTWARE VERIFICATION; TEST CASE; TEST SETS; TESTING PROCESS; VERIFICATION ENGINEERS;

COMPUTER SOFTWARE SELECTION AND EVALUATION; REQUIREMENTS ENGINEERING;

VERIFICATION;

EID: 73549100220     PISSN: 1090705X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RE.2009.43     Document Type: Conference Paper

References (20)

1. T. Ball, E. Bounimova, B. Cook, V. Levin, J. Lichtenberg, C. McGarvey, B. Ondrusek, S. K. Rajamani, and A. Ustuner. Thorough static analysis of device drivers. In EuroSys Conf., Proc., pages 73-85. ACM Press, 2006.
2. M. Chechik and J. D. Gannon. Automatic analysis of consistency between requirements and designs. IEEE Trans. Software Eng., 27(7):651-672, 2001.
3. E. Clarke, D. Kroening, and F. Lerda. A tool for checking ANSI-C programs. In K. Jensen and A. Podelski, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 2988 of LNCS, pages 168-176. Springer, 2004.
4. B. Cook, A. Podelski, and A. Rybalchenko. Terminator: Beyond safety. In T. Ball and R. B. Jones, editors, CAV, volume 4144 of LNCS, pages 415-418. Springer, 2006.
5. P. Cousot. Abstract interpretation. ACM Comput. Surv., 28(2):324-328, 1996.
6. P. Cousot. Proving the absence of run-time errors in safety-critical avionics code. In Proc. of the 7th ACM & IEEE Intl. Conf. on Embedded software (EMSOFT), pages 7-9, New York, NY, USA, 2007. ACM.
7. J. Crow and B. Di Vito. Formalizing space shuttle software requirements: four case studies. ACM Trans. Softw. Eng. Methodol., 7(3):296-332, 1998.
8. B. Dutertre and V. Stavridou. Formal requirements analysis of an avionics control system. IEEE Transactions on Software Engineering, 23:267-278, 1997.
9. D. Graham. Requirements and testing: seven missing-link myths. Software, IEEE, 19(5):15-17, Sep/Oct 2002.
10. C. L. Heitmeyer, M. Archer, E. I. Leonard, and J. McLean. Applying formal methods to a certifiably secure software system. IEEE Trans. Software Eng., 34(1):82-98, 2008.
11. C. L. Heitmeyer, R. D. Jeffords, and B. G. Labaw. Automated consistency checking of requirements specifications. ACM Trans. Softw. Eng. Methodol., 5(3):231-261, 1996.
12. M. Kim, Y. Kim, and H. Kim. Unit testing of flash memory device driver through a SAT-based model checker. In Int. Conf. on Automated Software Engineering (ASE), Proc., (to appear). IEEE Computer Society Press, September 2008.
13. D. R. Lindstrom. Five ways to destroy a development project. IEEE Softw., 10(5):55-58, 1993.
14. S. P. Miller, A. C. Tribble, M. W. Whalen, and M. P. E. Heimdahl. Proving the shalls: Early validation of requirements through formal methods. J. Software Tools for Technology Transfer (STTT), 8(4-5):303-319, 2006.
15. H. Post and W. Küchlin. Integration of static analysis for linux device driver verification. In J. Davies and J. Gibbons, editors, Integrated Formal Methods (IFM), 6th Intl. Conf., Proc., volume 4591 of LNCS, pages 518-537. Springer-Verlag, 2007.
16. J. Ryserł and M. Glinz. A scenario-based approach to validating and testing software systems using statecharts. In In 12th International Conference on Software and Systems Engineering and their Applications (ICSSEA99, page 7, 1999.
17. Microsoft Research. The SLAM Project. http://research.microsoft.com/slam, 2006.
18. M. Staats and M. P. E. Heimdahl. Partial translation verification for untrusted code-generators. In 10th Intl. Conf. on Formal Engineering MethodsFormal (ICFEM'08), pages 226-237, Kitakyushu-City, Japan, Oct. 2008.
19. E. J. Uusitalo, M. Komssi, M. Kauppinen, and A. M. Davis. Linking requirements and testing in practice. In RE '08: Proceedings of the 2008 16th IEEE International Requirements Engineering Conference, pages 265-270, Washington, DC, USA, 2008. IEEE Computer Society.
20. A. Wassyng and M. Lawford. Software tools for safety-critical software development. STTT, 8(4-5):337-354, 2006.