![](bg7.png)
these test-cases on the system under study. The first
authors of this paper carried out this usability check
and the author did not find it difficult to comprehend
these automatically generated test-cases.
5 DISCUSSION AND
CONCLUSION
In this paper, we have presented an approach to
automatically generate functional test cases from
courteous logic representation of the requirements.
The approach borrows from semantic head-driven
approach for NL Generation proposed by Shieber et
al. The advantage of our approach is that courteous
logic representations have English-like constructs
and easy to process. Secondly, we are generating
these representations from NL requirements,
therefore the courteous rules representing
requirements become self-explanatory and with
limited set of support words, we have been able to
generate the functional test cases automatically. We
are interested in validation of our test-cases by test-
engineers themselves. We further plan to improve
our algorithm with the feedback obtained and design
a tool supporting our approach.
REFERENCES
Ammann, P. and Offutt, J., 2008, Introduction to Software
Testing, Cambridge University Press, USA.
Incomplete List of Testing Tools. Available from:
http://research.cs.queensu.ca/~shepard/testing.dir/unde
r.construction/tool_list.html. [20 January 2014].
Tsai, J.J.P. and Weigert, T., 1991, HCLIE: a logic based
requirement language for new Software Engineering
Paradigms, Software Engineering, vol. 6, no. 4, pp.
137-151.
Boghdady, P.N., Badr, N.L., Hashem, M. and Tolba, M.F.,
2011, A Proposed Test Case Generation Technique
Based on Activity Diagrams, International Journal of
Engineering and Technology, vol. 11, no. 3, pp. 35-52.
Kansomkeat, S., Thiket, P. and Offutt, J., 2010,
Generating Test Cases from UML Activity Diagrams
using the Condition Classifcation Method, In 2
nd
International Conference on Software technology and
Engineering (ICSTE’10), San Juan, pp. V1-62 – V1-
66.
Li, L., Li, X., He T. and Xiong, J., 2013, Extenics-based
Test Case Generation for UML Activity Diagram, In
International Conference on Information Technology
and Quantitative Management (ITQM'13), pp. 1186-
1193.
Heumann, J., 2001, Generating Test Cases from Use
Cases, In the Rational Edge, e-zine for Rational
Community.
Ahlowalia, N., 2002, Testing from Use Cases Using Path
Analysis Technqiue, Analysis, In International
Conference on Software Testing Analysis and Review.
Kamalkar, S., Edward, S.H. and Dao, T.M., 2013,
Automatically Generating Tests from Natural
Language Descriptions of Software Behavior, In 8
th
International Conference on Evaluation of Novel
Approaches to Software Engineering (ENASE’13).
Sharma R. and Biswas, K.K., 2012, A Semi-automated
Approach towards Handling Inconsistencies in
Software Requirements. In: Maciaszek, L.A. and
Filipe, J. (eds.), Evaluation of Novel Approaches to
Software Engineering, Springer Berlin Heidelberg, pp.
142-156.
Sharma, R. and Biswas, K.K. 2012, Using Norm Analysis
Patterns for Requirements Validation, In IEEE 2
nd
International Workshop on Requirements Patterns
(RePa), pp.23-28.
Shieber, S.M., Noord, G.N, Moore R. and Pereira, C.N.,
1989, A Semantic-head-driven generation algorithm
for unification-based formalisms, In Proceedings of
the 27
th
Annual Meeting of the Association for
Computational Linguistics, pp. 7-17.
Reiter, R., 1980, A logic for default reasoning, Artificial
Intlligence, vol. 13, pp. 81-132.
Nute, D., 2001, Defeasible Logic, In Proceedings of
International Conference on Applications of Prolog
(INAP 2001), IF Computer Japan, 2001, pp 87-114.
Grosof, B.N., 1997. Courteous Logic Programs:
prioritized conflict handling for rules. IBM Research
Report RC20836, IBM Research Division, T.J. Watson
Research Centre.
Grosof, B.N., 2004. Representing E-Commerce Rules via
situated courteous logic programs in RuleML.
Electronic Commerce Research and Applications, Vol
3, Issue 1, 2004, pp 2-20.
Kaur, A. and Vig, V., 2012, Systematic Review of
Automatic Test Case Generation by UML Diagrams,
International Journal of Engineering Research and
Technology, vol. 1, no. 7.
Gutierrez, J.J., Escalona, M.J., Mejias, M. and Torres, J.,
2006, Generation of test cases from functional
requirements. A survey, In 4
th
workshop on System
Testing and Validation, Potsdam, Germany.
Hartmann, J., Vieira, M., Foster, H., Ruder, A., 2005, A
UML-based Approach to System Testing, Journal of
Innovations System Software Engineering, vol. 1, pp.
12-24.
Offutt, J. and Abdurazik, A., 1999, Generating Tests from
UML Specifications, In UML’99 – The Unified
Modeling Language, Springer Berlin Heidelberg, pp.
416 – 429.
Pretschner, A., 2001, Classical search strategies for test
case generation with Constraint Logic Programming,
In Proceedings of International Workshop of Formal
Approaches to Software Testing of Software, pp. 47-
60.
AutomatedGenerationofTestCasesfromLogicalSpecificationofSoftwareRequirements
247