Defects Detection in Imperative Language and C# Applications - Towards Evaluation Approach

作者: S. Sarala

DOI:

关键词:

摘要: An imperative language such as C++ is a familiar object oriented programming that widely used for reusability and increased ability to enlighten with other languages. The objective of software testing uncover many errors possible minimum cost. Testing not confined only the detection bugs, it also assists evaluation functional properties software. A piece can be tested increase confidence by exposing potential flaws or deviations from user's requirements. Unit authenticate incorrectness succeed when an error detected. This work addresses defects in C# applications, which leads logical error. Logical occur code does perform way intended perform. elimination bug one aims testing. These are very difficult track since compiler provide assistance. One reasons Errors presence unintended characters. missing incorrect defect remains undetected until event activates it. When performs unit test, automatically each individual line attempts syntax checking. It helps detect remove all syntactical given code; most essential technique executing checking process. To catch kinds coding phase, tests take place on applications. includes due characters, wrong usage data member formal parameter argument indicator console-based applications C#. In addition that, interface anomaly inheritance Because enrichment, comparison has been made source By this approach instantly, improves quality terms reducing programmer's burden, time effort.

参考文章(26)
S. Sarala, S. Valli, A Tool to Automatically Generate Test Cases for C++ Programs. Software Engineering Research and Practice. pp. 345- 351 ,(2004)
Yoonsik Cheon, Ashaveena Perumandla, Myoung Yee Kim, A Complete Automation of Unit Testing for Java Programs international conference on software engineering. pp. 290- 295 ,(2005)
S. Sarala, S. Valli, A Tool to Automatically Detect Defects in C++ Programs Lecture Notes in Computer Science. pp. 302- 314 ,(2004) , 10.1007/978-3-540-30561-3_32
Boris Beizer, Software Testing Techniques ,(1983)
B.-Y. Tsai, S. Stobart, N. Parrington, Employing data flow testing on object-oriented classes IEE Proceedings - Software. ,vol. 148, pp. 56- 64 ,(2001) , 10.1049/IP-SEN:20010448
Gregg Rothermel, Mary Jean Harrold, Jeinay Dedhia, Regression test selection for C++ software Software Testing, Verification & Reliability. ,vol. 10, pp. 77- 109 ,(2000) , 10.1002/1099-1689(200006)10:2<77::AID-STVR197>3.0.CO;2-E
Arnaud Venet, Guillaume Brat, Precise and efficient static array bound checking for large embedded C programs Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation - PLDI '04. ,vol. 39, pp. 231- 242 ,(2004) , 10.1145/996841.996869
S. Sarala, S. Valli ., Algorithms for Defect Detection in Object Oriented Programs Information Technology Journal. ,vol. 5, pp. 876- 883 ,(2006) , 10.3923/ITJ.2006.876.883
David Evans, John Guttag, James Horning, Yang Meng Tan, LCLint Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94. ,vol. 19, pp. 87- 96 ,(1994) , 10.1145/193173.195297