TOWARDS FORMALIZATION OF INSPECTION USING PETRINETS
Abstract
Achieving better quality software has always been a challenge for software developers. Inspection is one of the most efficient techniques, which ensure the quality of software during its development. To the best of our knowledge, current inspection techniques are not realized by any formal approach. In this paper, we propose an inspection technique, which is not only backed by the formal mathematical semantics of Petri nets, but also supports inspecting concurrent processes. We also use a case study of an agent based distributed processing system to demonstrate the inspection of concurrent processes.References
M. E. Eagan, Advances in Software Inspections,
IEEE Transactions on Software Engineering 12,
No. 7 (1986) 744.
T. D. Crossman, Some Experiences in the Use of
Inspection Teams in Application Development, In
Application Development Symposium, Monterey,
CA (1979).
R. A. Radice, Software Inspections, Methods &
Tools. 10, (2002) 7–20, http://www.methods
andtools.com/PDF/dmt0202.pdf.
Jones, Estimating Software Costs,Tata McGrawHill Education (India), 2ndEdition (2007), http://
books.google.co.uk/books?id= pdcsm KljT9QC.
C. Jones and O. Bonsignour, The Economics of
Software Quality. Pearson Education (2011).
D. L. Parnas and M. Lawford, IEEE Transactions
on Software Engineering 29, No. 8 (2003) 674.
C. A. Petri and W. Reisig, Petri Net, Scholarpedia,
, (2008) 4: pp.7–20, http://www.methodsand
tools.com/PDF/dmt0202.pdf.
J. Desel and G. Juhás, What is a Petri Net?â€
Informal Answers for the Informed Reader, In
Unifying Petri Nets, Springer-Verlag Berlin
Heidelberg (2001) pp. 1–25.
C. Cassandras and S. Lafortune, Introduction to
Discrete Event Systems, SpringerLink
Engineering, Springer (2007).
U. Farooq, C. Lam and H. Li, Towards Automated
Test Sequence Generation, In 19th Australian
Conference on Software Engineering, (2008) pp.
–450.
D. Y. Chao, Journal of Information Science and
Engineering 25, No. 6 (2009) 1963.
W. M. P. van der Aalst, The Journal of Circuits,
Systems and Computers 8, No. 1 (1998) 21.
K. Grigorova, Process Modeling using Petri Nets,
In International Conference on Computer Systems
and Technologies (2003).
K. Barkaoui and J.-F. Pradat-Peyre, Verification in
Concurrent Programming with Petri Nets
Structural Techniques, In The 3rd IEEE
International Symposium on High-Assurance
Systems Engineering. Washington, DC (USA)
IEEE Computer Society (1998) pp. 124–133.
D.A. McMeekin, A Software Inspection
Methodology for Cognitive Improvement in
Software Engineering. Ph.D Thesis, Digital
Ecosystems and Business Intelligence Institute,
Curtin University of Technology, Australia
(2010).
R.O. Oladele, Reading Techniques for Software
Inspection: Review and Analysis. Technical
Report. Department of Computer Science,
University of Ilorin, Ilorin, Nigeria (2010).
Software Requirements Specification (SRS)
Document: Workflow Monitoring, Social Security
SRS document of south African Social Security
Agency. Developed for Social Development
Eastern Cape Govt. Online at: http://www.sassa.
gov.za/Portals/1/Documents/7f4f791d-a512-4abc99ff-887586ff431a.pdf, (2005).
A. Comprehensive Database of Petri Nets Tools,
http://www.informatik.uni-hamburg.de/TGI/ Petri
nets/tools/db.html (February 2014).
